青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

隨筆-341  評論-2670  文章-0  trackbacks-0
    今天將Haskell的一部分列表處理函數抄進了Kernel FP里,堅持所有函數(模板函數)不寫類型,而讓編譯器進行類型推導:

    有函數(其中標明“未解決”的2個函數,所推導的類型是錯誤的):
  1 module list
  2 import sysutils
  3 
  4 {返回列表長度}
  5 def length xs =
  6     select xs of
  7         case list x tail : iadd 1 (length tail)
  8         case empty : 0
  9     end
 10 
 11 {返回列表的第一個元素}
 12 def head xs =
 13     select xs of
 14         case list x tail : x
 15     end
 16 
 17 {返回列表的第二個元素開始的列表}
 18 def tail xs =
 19     select xs of
 20         case list x tail : tail
 21     end
 22 
 23 {連接兩個列表}
 24 def concat as bs =
 25     select as of
 26         case list a tail : list a (concat tail bs)
 27         case empty : bs
 28     end
 29 
 30 {判讀列表是否為空}
 31 def isempty xs =
 32     select xs of
 33         case list x tail : false
 34         case empty : true
 35     end
 36 
 37 {將列表通過映射函數轉換為另一個列表}
 38 def transform mapper xs =
 39     select xs of
 40         case list x tail : list (mapper x) (transform mapper tail)
 41         case empty : empty
 42     end
 43 
 44 {將列表反轉}
 45 def reverse xs =
 46     let
 47         def _reverse xs r =
 48             select xs of
 49                 case list x tail : _reverse tail (list x r)
 50                 case empty : r
 51             end
 52     in _reverse xs empty
 53 
 54 {為列表插入分隔符}
 55 def intersperse spliter xs =
 56     select xs of
 57         case list x tail : list spliter (list x (intersperse spliter tail))
 58         case empty : empty
 59     end
 60 
 61 {將“列表的列表”的所有元素連接起來成為一個長的新列表}
 62 def flatten xs =
 63     select xs of
 64         case list x tail : concat x (flatten tail)
 65         case empty : empty
 66     end
 67 
 68 {將兩個列表組合成一個pair的列表}
 69 def pairlist as bs =
 70     select as of
 71         case list a atail :
 72             select bs of
 73                 case list b btail : list (pair a b) (pairlist atail btail)
 74                 case empty : empty
 75             end
 76         case empty : empty
 77     end
 78 
 79 {未解決:將列表應用到一個左結合操作符上}
 80 def fold init op xs =
 81     select xs of
 82         case list x tail : fold (op init x) tail
 83         case empty : init
 84     end
 85 
 86 {判斷列表的所有元素是否符合某個約束}
 87 def all constraint xs = fold true and (transform constraint xs)
 88 
 89 {判斷列表的是否存在元素是否符合某個約束}
 90 def any constraint xs = fold false or (transform constraint xs)
 91 
 92 {未解決:遞歸無窮列表}
 93 def iterate op init = list init (iterate (op init))
 94 
 95 {重復無窮列表}
 96 def repeat x = list x (repeat x)
 97 
 98 {循環無窮列表}
 99 def cycle xs = concat xs (cycle xs)
100 
101 {取列表前n個元素組成子列表}
102 def take n xs =
103     if (iequ n 0)
104         empty
105         select xs of
106             case list x tail : list x (take (isub n 1) tail)
107             case empty : empty
108         end
109 
110 {取列表n個元素以后的字列表}
111 def drop n xs =
112     if (iequ n 0)
113         xs
114         select xs of
115             case list x tail : take (isub n 1) tail
116             case empty : empty
117         end
118 
119 {取列表中符合條件的元素組成的新列表}
120 def takeif constraint xs =
121     select xs of
122         case list x tail : if (constraint x) (list x (takeif constraint tail)) (takeif constraint tail)
123         case empty : empty
124     end
125 
126 {取列表中不符合條件的元素組成的新列表}
127 def dropif constraint xs =
128     select xs of
129         case list x tail : if (constraint x) (dropif constraint tail) (list x (dropif constraint tail))
130         case empty : empty
131     end

    然后編譯器輸出結果:
 1 【模塊:list】
 2   module list::list
 3   import sysutils
 4   func all T1 :: ((<T1> -> system.bool-> ((system.list <T1>-> system.bool)) codefrom 11
 5   func any T1 :: ((<T1> -> system.bool-> ((system.list <T1>-> system.bool)) codefrom 12
 6   func concat T1 :: ((system.list <T1>-> ((system.list <T1>-> (system.list <T1>))) codefrom 3
 7   func cycle T1 :: ((system.list <T1>-> (system.list <T1>)) codefrom 15
 8   func drop T1 :: (system.int -> ((system.list <T1>-> (system.list <T1>))) codefrom 17
 9   func dropif T1 :: ((<T1> -> system.bool-> ((system.list <T1>-> (system.list <T1>))) codefrom 19
10   func flatten T1 :: ((system.list (system.list <T1>)) -> (system.list <T1>)) codefrom 8
11   func fold T1 T2 T3 :: (<T1> -> ((<T1> -> (<T2> -> <T3>)) -> ((system.list <T2>-> <T1>))) codefrom 10
12   func head T1 :: ((system.list <T1>-> <T1>) codefrom 1
13   func intersperse T1 :: (<T1> -> ((system.list <T1>-> (system.list <T1>))) codefrom 7
14   func isempty T1 :: ((system.list <T1>-> system.bool) codefrom 4
15   func iterate T1 T2 :: ((<T1> -> <T2>-> (<T1> -> (system.list <T1>))) codefrom 13
16   func length T1 :: ((system.list <T1>-> system.int) codefrom 0
17   func pairlist T1 T2 :: ((system.list <T1>-> ((system.list <T2>-> (system.list (sysutils.pair <T1> <T2>)))) codefrom 9
18   func repeat T1 :: (<T1> -> (system.list <T1>)) codefrom 14
19   func reverse T1 :: ((system.list <T1>-> (system.list <T1>)) codefrom 6
20   func tail T1 :: ((system.list <T1>-> (system.list <T1>)) codefrom 2
21   func take T1 :: (system.int -> ((system.list <T1>-> (system.list <T1>))) codefrom 16
22   func takeif T1 :: ((<T1> -> system.bool-> ((system.list <T1>-> (system.list <T1>))) codefrom 18
23   func transform T1 T2 :: ((<T1> -> <T2>-> ((system.list <T1>-> (system.list <T2>))) codefrom 5
24 【模塊:sysutils】
25   module sysutils::sysutils
26   import system
27   type pair T1 T2
28   ctor pair :: <T1> -> <T2> -> type pair T1 T2
29   func and :: (system.bool -> (system.bool -> system.bool)) codefrom 4
30   func if T1 :: (system.bool -> (<T1> -> (<T1> -> <T1>))) codefrom 9
31   func ineg :: (system.int -> system.int) codefrom 11
32   func not :: (system.bool -> system.bool) codefrom 2
33   func or :: (system.bool -> (system.bool -> system.bool)) codefrom 6
34   func pairop T1 T2 T3 :: ((<T1> -> (<T2> -> <T3>)) -> ((sysutils.pair <T1> <T2>-> <T3>)) codefrom 12
35   func xor :: (system.bool -> (system.bool -> system.bool)) codefrom 8
posted on 2008-10-07 08:10 陳梓瀚(vczh) 閱讀(1288) 評論(0)  編輯 收藏 引用 所屬分類: 腳本技術
青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品
  • <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            久久国产88| 在线亚洲美日韩| 老司机精品导航| 性欧美精品高清| 国产一级揄自揄精品视频| 蜜臀久久99精品久久久画质超高清| 校园激情久久| 亚洲国产欧美在线人成| 亚洲精品国产视频| 国产精品av免费在线观看| 亚洲永久免费观看| 欧美在线免费一级片| 亚洲国产精品久久久久婷婷老年| 亚洲高清免费| 国产精品久久久久91| 老妇喷水一区二区三区| 欧美日本国产视频| 欧美一级一区| 麻豆视频一区二区| 羞羞答答国产精品www一本 | 欧美在线免费视屏| 久久午夜精品| 亚洲男女毛片无遮挡| 久久久久久亚洲精品杨幂换脸| 亚洲美女视频网| 午夜精品999| 亚洲美女电影在线| 久久国产精品色婷婷| 日韩午夜激情av| 亚洲美女在线国产| 亚洲一区二区免费看| 亚洲黄色在线观看| 亚洲欧美中文在线视频| 在线一区观看| 美日韩精品免费| 欧美一区二区三区日韩视频| 欧美精品免费在线| 久久综合国产精品台湾中文娱乐网| 欧美理论在线播放| 美女露胸一区二区三区| 国产日本欧美一区二区三区在线| 欧美激情视频一区二区三区在线播放| 国产精品久线观看视频| 亚洲日产国产精品| 亚洲激情成人网| 久久精品中文| 午夜国产欧美理论在线播放| 欧美国产日本| 亚洲国产成人精品女人久久久| 国产日韩欧美亚洲一区| 亚洲手机在线| 一区二区av在线| 欧美精品在线观看91| 亚洲国产99| 亚洲人体1000| 欧美激情一区二区三区不卡| 美玉足脚交一区二区三区图片| 国产专区综合网| 午夜伦理片一区| 欧美亚洲一区二区三区| 国产精品美女久久福利网站| 亚洲视频免费在线| 午夜精品久久久久久| 欧美午夜一区二区福利视频| 在线视频精品一区| 香蕉精品999视频一区二区| 国产精品美女久久久久aⅴ国产馆| 亚洲美女中出| 亚洲一区二区久久| 国产精品入口夜色视频大尺度 | 欧美怡红院视频| 久久国产精品久久久久久电车| 国产视频不卡| 久久久精品午夜少妇| 久久精品中文字幕一区| 国产曰批免费观看久久久| 性久久久久久久久久久久| 久久资源在线| 亚洲精品黄网在线观看| 欧美日韩欧美一区二区| 午夜精品久久久| 老色鬼久久亚洲一区二区| 亚洲国产人成综合网站| 欧美日韩亚洲网| 亚洲欧美日韩在线不卡| 久久午夜电影网| 一本色道**综合亚洲精品蜜桃冫| 欧美日韩天堂| 欧美在线免费视屏| 亚洲国产精品成人久久综合一区| 亚洲性线免费观看视频成熟| 韩国福利一区| 欧美精品激情在线观看| 亚洲一区二区三区高清| 久久综合伊人77777| 一区二区三区欧美成人| 国产一区二区三区久久| 欧美一级视频免费在线观看| 国产一区二区三区的电影 | 久久精品欧美日韩精品| 亚洲精品美女在线观看| 久久国产精品免费一区| 99riav国产精品| 国产一区二区久久精品| 欧美精品久久久久久久免费观看| 午夜精品视频在线观看一区二区| 麻豆免费精品视频| 午夜视频在线观看一区二区| 亚洲国产高清在线| 国产婷婷一区二区| 欧美性jizz18性欧美| 久久综合九九| 小黄鸭精品aⅴ导航网站入口| 亚洲精品一区二区在线| 老司机成人网| 欧美专区在线观看| 亚洲女同性videos| 亚洲毛片一区| 在线观看日韩av先锋影音电影院| 国产精品久久久久久久久婷婷 | 国产综合香蕉五月婷在线| 欧美日韩国产bt| 久热re这里精品视频在线6| 午夜影院日韩| 亚洲一区二区高清| 一本色道久久综合亚洲精品小说 | 亚洲欧美另类在线观看| 亚洲国产精品尤物yw在线观看| 久久婷婷久久一区二区三区| 亚洲在线黄色| 亚洲一区二区视频在线| 亚洲伦理在线观看| 亚洲黄色在线| 91久久在线观看| 亚洲精美视频| 亚洲福利在线观看| 伊人婷婷久久| 亚洲国产精品成人一区二区| 黄色欧美成人| 在线看日韩av| 亚洲国产精品视频一区| 在线国产亚洲欧美| 在线日本高清免费不卡| 亚洲第一在线综合在线| 亚洲国产精品一区制服丝袜| 在线激情影院一区| 亚洲精品久久久久久久久久久久 | 久久精品论坛| 久久久噜噜噜久久久| 久久综合狠狠综合久久综合88 | 日韩手机在线导航| 日韩小视频在线观看专区| aa级大片欧美| 亚洲午夜在线观看视频在线| 亚洲男女自偷自拍图片另类| 欧美一区二区视频网站| 久久精品一区蜜桃臀影院| 欧美成人第一页| 91久久精品视频| 亚洲精品字幕| 先锋a资源在线看亚洲| 久久久久久久波多野高潮日日 | 国产色婷婷国产综合在线理论片a| 国产亚洲精品久久飘花| 影音先锋成人资源站| 亚洲精品激情| 欧美一区二区三区婷婷月色| 久久综合色播五月| 亚洲欧洲日韩在线| 亚洲女ⅴideoshd黑人| 久久久久久一区二区| 欧美日本国产| 韩日欧美一区二区三区| 亚洲精品国产精品国产自| 亚洲综合丁香| 美国十次了思思久久精品导航| 亚洲精品1区2区| 篠田优中文在线播放第一区| 欧美电影免费观看网站| 国产精品美女久久久免费| 亚洲电影免费观看高清完整版在线| 亚洲作爱视频| 欧美1级日本1级| 亚洲深夜福利| 欧美交受高潮1| 黄色成人精品网站| 亚洲综合大片69999| 亚洲国产精品一区二区三区| 欧美在线一二三区| 欧美日韩午夜视频在线观看| 一区二区三区在线免费视频| 亚洲一区中文字幕在线观看| 亚洲高清一区二| 久久免费视频网站| 国产欧美日本在线| 亚洲一本视频| 亚洲精品三级| 欧美成人精品1314www| 韩日欧美一区二区三区| 欧美一区二区三区免费观看视频|