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

隨筆-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>
            亚洲一区二区三区四区视频| 裸体丰满少妇做受久久99精品| 欧美激情在线狂野欧美精品| 久热这里只精品99re8久| 亚洲电影有码| 亚洲美女视频在线观看| 国产精品久久久久一区| 欧美在线视频日韩| 久久久www成人免费精品| 亚洲黄一区二区| 亚洲免费电影在线观看| 国产精品视频久久| 欧美成人免费在线视频| 欧美日韩999| 久久超碰97人人做人人爱| 久久久久久久综合色一本| 亚洲精品乱码久久久久久按摩观 | 亚洲成色www8888| 亚洲国产欧美日韩精品| 国产精品va| 欧美va天堂va视频va在线| 欧美日韩一区二区三区高清| 久久国产婷婷国产香蕉| 欧美激情亚洲视频| 久久er精品视频| 欧美精品久久一区| 欧美综合国产| 欧美日韩一区二区三区视频| 久久精品视频亚洲| 欧美涩涩网站| 欧美激情精品久久久久久黑人| 国产精品久久久久国产a级| 麻豆av一区二区三区| 欧美色偷偷大香| 亚洲成人在线视频播放| 国产亚洲精品久久久| 亚洲人成在线播放| 在线国产精品播放| 午夜精品久久久久久久久久久久久 | 国产精品亚洲成人| 亚洲日本va午夜在线电影| 韩国一区二区三区在线观看| 一区二区不卡在线视频 午夜欧美不卡在 | 亚洲福利在线观看| 国产一区观看| 亚洲一区亚洲二区| 一本一道久久综合狠狠老精东影业 | 久久午夜国产精品| 国产精品色午夜在线观看| 亚洲欧洲精品一区| 亚洲国产一区二区视频| 久久国内精品自在自线400部| 亚洲欧美另类国产| 欧美日韩精品一区二区天天拍小说 | 亚洲欧美日韩国产一区| 欧美日韩国产成人在线91| 亚洲成人在线网站| 亚洲高清不卡在线观看| 久久成人免费视频| 久久人人爽爽爽人久久久| 国产日韩欧美麻豆| 欧美一区二区日韩| 久久精品夜色噜噜亚洲aⅴ| 国产日韩欧美一区二区三区在线观看 | 欧美在线视频一区二区| 欧美在线网址| 国内精品福利| 久久婷婷国产综合尤物精品 | 午夜精品在线| 国产欧美日韩不卡免费| 性欧美xxxx大乳国产app| 久久国产精品色婷婷| 国内精品模特av私拍在线观看| 欧美诱惑福利视频| 免费亚洲电影| 亚洲精品在线看| 欧美日产国产成人免费图片| 9l视频自拍蝌蚪9l视频成人| 亚洲免费中文| 国产主播精品| 裸体丰满少妇做受久久99精品| 欧美大片在线看免费观看| 99精品99久久久久久宅男| 欧美色图首页| 欧美在线观看网站| 欧美成人午夜77777| 99亚洲一区二区| 国产精品日韩欧美一区二区| 久久成人综合网| 欧美黑人国产人伦爽爽爽| 一本一道久久综合狠狠老精东影业 | 免费在线亚洲欧美| 在线中文字幕一区| 美女视频黄a大片欧美| 日韩视频在线免费| 国产农村妇女精品一二区| 久久亚洲国产成人| 洋洋av久久久久久久一区| 久久精品亚洲精品国产欧美kt∨| 亚洲国产国产亚洲一二三| 国产精品不卡在线| 久久婷婷激情| 亚洲午夜久久久久久久久电影网| 另类av导航| 亚洲欧美制服中文字幕| 亚洲激情av| 国产午夜精品麻豆| 欧美三日本三级少妇三2023 | 亚洲女同精品视频| 91久久香蕉国产日韩欧美9色| 欧美在线视频二区| 亚洲免费观看视频| 激情六月综合| 国产麻豆午夜三级精品| 欧美精品免费视频| 久久蜜臀精品av| 小黄鸭精品aⅴ导航网站入口| 亚洲黄色片网站| 免费视频一区二区三区在线观看| 午夜精品久久久久久久白皮肤| 亚洲欧洲精品天堂一级| 国内精品美女在线观看| 国产噜噜噜噜噜久久久久久久久 | 久久久久久久一区| 亚洲欧美国产日韩中文字幕| 亚洲免费观看高清完整版在线观看熊| 久久夜色精品国产欧美乱| 午夜欧美视频| 亚洲免费人成在线视频观看| 亚洲久久视频| 日韩视频一区二区三区| 亚洲高清在线精品| 在线成人av.com| 欧美在线播放高清精品| 亚洲午夜国产成人av电影男同| 欧美成人黑人xx视频免费观看| 欧美一区午夜精品| 亚洲女同同性videoxma| 亚洲一区二区视频在线| 中日韩美女免费视频网站在线观看 | 99国产一区| 一区二区三区www| 99热在这里有精品免费| 亚洲精品在线视频| 日韩视频三区| 在线视频你懂得一区| 一区二区三区国产在线| 亚洲视频免费观看| 一区二区三区免费网站| 亚洲免费视频在线观看| 先锋资源久久| 久久阴道视频| 欧美激情一区二区久久久| 欧美精品一区视频| 欧美性久久久| 国产日韩在线看片| 亚洲国产日韩一区| 99视频在线观看一区三区| 亚洲一二三区精品| 久久国产手机看片| 欧美大片免费观看| 一区二区成人精品 | 91久久午夜| 这里只有精品视频| 欧美专区福利在线| 欧美+日本+国产+在线a∨观看| 欧美美女视频| 国产色产综合产在线视频| 亚洲一级影院| 久久精品一区四区| 欧美日韩精品久久久| 国产伪娘ts一区| 亚洲精品久久久久久一区二区 | 国产日韩欧美在线一区| 亚洲成人在线网| 亚洲欧美清纯在线制服| 久久综合伊人| 亚洲小少妇裸体bbw| 久久全球大尺度高清视频| 欧美四级伦理在线| 国外成人在线| 在线一区二区三区做爰视频网站| 久久大香伊蕉在人线观看热2| 免费久久99精品国产自在现线| 99精品视频免费观看| 久久久精品久久久久| 国产精品第一页第二页第三页| 有坂深雪在线一区| 亚洲欧美一区二区激情| 亚洲国产va精品久久久不卡综合| 亚洲影音先锋| 欧美美女bb生活片| 亚洲高清在线观看| 久久久999成人| 亚洲天堂视频在线观看| 欧美日本一区二区视频在线观看| 国产一区日韩一区| 欧美亚洲综合在线| 9i看片成人免费高清| 欧美大香线蕉线伊人久久国产精品|