亚洲日本激情,亚洲影音一区,一本色道久久综合亚洲精品不卡

Kernel FP��d��反射API

陈梓�?vczh) — Sat, 20 Dec 2008 14:10:00 GMT

摘要: ��Z��让宿�ȝ��序可以更加清楚一份Kernel FP代码的内容，我今天�ؓKernel FP��d��了反��的API�?nbsp; 阅读全文

陈梓�?vczh) 2008-12-20 22:10 发表评论

使用Kernel FP的do-end语法�p�添加自��q��异常处理�pȝ��

陈梓�?vczh) — Fri, 19 Dec 2008 05:23:00 GMT

摘要: 有的时候，IO的异常处理由于需要一个IOEnv�c�d��的参数而显得非帔R��烦。这个时候我们可以定制自��q��一套异常处理系�l�，从而让�E�序变得清晰��h��。自��q��异常处理�pȝ��不同于IO�Q�是没有副作用的函数集合。下面让我们看一看如何��用自定义的异常处理系�l�来分析一个四则运��表辑ּ��?nbsp; 阅读全文

陈梓�?vczh) 2008-12-19 13:23 发表评论

使用Kernel FP API实现一个运行Kernel FP代码的控制台�E�序

陈梓�?vczh) — Thu, 18 Dec 2008 03:15:00 GMT

摘要: 说到底Kernel FP是一个脚本引擎，所以是需要API的。接下来的代码用来加载一些Kernel FP代码文�g�Q��ƈ执行main函数�?nbsp; 阅读全文

陈梓�?vczh) 2008-12-18 11:15 发表评论

陈梓�?vczh) — Mon, 15 Dec 2008 15:56:00 GMT

摘要: 我们知道�Q��@环本�w�是没有�q�回值的。所以在�U�函数式语言下，跟IO有关的��@环才有��够的副作用来产生价倹{��于是利用IO Monad�Q�我们就可以实现循环了。��@环是一个函敎ͼ� 阅读全文

陈梓�?vczh) 2008-12-15 23:56 发表评论

Kernel FP的do-end IO语法�p�实玎ͼ�

陈梓�?vczh) — Mon, 15 Dec 2008 14:22:00 GMT

摘要: 前面说过�Q�需要一个语法糖来组�l�IO�Q��ƈ且在其中的一步��生错误的时候立刻返回错误。现在我们看一�D�代码：阅读全文

陈梓�?vczh) 2008-12-15 22:22 发表评论

Kernel FP的IO实验

陈梓�?vczh) — Mon, 15 Dec 2008 06:44:00 GMT

�׃��Kernel FP是纯的，所以一个函数的输出只跟输入有关�p�，所以从屏幕上输入文字的函数read是不能定义成func read::string的。因为根据这个性质�Q�read的结果必��L��一��L��。所以一定要在每一�ơread的时候给不同的参数。但是其实没关系�Q�这个可以用�~�译器来解决�Q�就��read的顺序是�q�行时决定的。同��L��问题也出现在Haskell的IO Monad上，�׃��资料无穷多，我就不详�l�解释了。下面给出没有语法糖的，能够正常�q�确定顺序地使用IO函数的一�D�代码：

1 data IOError
2   = ioemessage string
3 type IOEnv
4 type IO T = IOEnv -> maybe (pair T IOEnv) IOError
5
6 func read :: IO string alias "demo::read"
7 func readint :: IO int alias "demo::readint"
8 func write :: string -> IO void alias "demo::write"
9 func writeln :: string -> IO void alias "demo::writeln"
10 func iovoid :: IO void alias "demo::iovoid"
11
12 def (>>>) a b = a >>= \p->b
13 func return T :: T -> IO T
14 def return x e = success (pair x e)
15 func (>>=) T1 T2 :: IO T1 -> (T1 -> IO T2) -> IO T2
16 def (>>=) a b e = select a e of
17   case fail message : fail message
18   case success p : select p of
19     case pair x e2 : b x e2
20   end
21 end
22
23 def ioseq ios = foldr iovoid (>>>) ios
24
25 def mainIO_0 =
26   read >>= \name->
27   read >>= \place->
28   writeln ("Hello "+name+" from "+place+".") >>>
29   readint >>= \a->
30   readint >>= \b->
31   writeln (itoa (a+b)) >>>
32   writeln "Press [ENTER] to enter" >>>
33   read
34
35 def mainIO_1 = ioseq (transform writeln ["genius","vczh"])

mainIO_0使用�c�d��pȝ��强制了IO函数的执行顺序，mainIO_1证明了IO也是可以使用正常的操作函数去�q�行复杂操作的。不�q�mainIO_0那种写法�q�是��Z��舒服的，�q�就是语法糖发挥作用的啦。我只需要给��Z��U�相对好看的语法�Q�然后在语法分析的时候翻译成�q�样��p��了�?

�q�种写法的好处是�Q�万一其中有一个IO��Z��问题�Q�错误信息会直接传达出去�Q�中断函数执行。而且整个函数都是在类型系�l�的保护之下的�?

陈梓�?vczh) 2008-12-15 14:44 发表评论

Kernel FP支持更精�l�的重蝲

陈梓�?vczh) — Mon, 15 Dec 2008 03:42:00 GMT

考虑以下代码�Q?br>

1 def overloading x = "General overloading"
2 func overloading::string->string
3 def overloading str = "String overloading"
4 func overloading T::list T->string
5 def overloading xs = "List overloading"

�q�是三个函数�Q�类型分别�ؓ�Q?br>

1     func overloading T1 :: (<T1> -> (system.list system.char)) codefrom 125
2     func overloading :: ((system.list system.char) -> (system.list system.char)) codefrom 127
3     func overloading T1 :: ((system.list <T1>) -> (system.list system.char)) codefrom 129

所以当我们写overloading的时候，�I�竟选择什么呢�Q�三个类型都是可以接受的�Q�而且都是可以完美通过�c�d��推导的。于是我新加了一个规则。首先求出需要的具体�c�d��Q�可能是含有参数的类型）�Q�然后计��从函数�c�d��到具体类型所需要替换的�c�d��参数的个��C��及每个类型参数的解，最后计��出一个系�?数量×65536+解的深度和�?br>
深度的规定比较简单，基本�c�d��深度�?�Q�闭包类型�ؓ参数和结果两�U�类型的深度的最大值加1�Q�带有参数的�c�d��{�于最大参数深度加1。所以在�q�个例子上，我们可以得到�Q�T1到list char的解为T1=list char�Q�list char到list char的解�?�Q�list T1到list char的解为T1=char�Q�系数分别是65538�?�?5537�Q�所以理所当然地挑选了�W�二个。下面看例子�Q?br>

1 def main114 = overloading 1024
2 def main115 = overloading "Genius Vczh!"
3 def main116 = overloading [1,2,3]

下面是运行结果：

1 main114�q�回��|��"General overloading"
2 main115�q�回��|��"String overloading"
3 main116�q�回��|��"List overloading"

陈梓�?vczh) 2008-12-15 11:42 发表评论

陈梓�?vczh) — Sun, 14 Dec 2008 16:37:00 GMT

    现在的Kernel FP已经支持列表语法和操作符语法了�?br>
    列表语法为[1,2,3,4,5]。原来是需要写成list 1 (list 2 (list 3 (list 4 (list 5 empty))))的。不�q�后面这�U�写法仍然是支持的�?br>    操作�W�可以自定义�Q�凡是仅�?#8220;+-*/%<>=!&^|~@#$?”构成�Q�而又不是“|”�?#8220;=”的记号都可以视�ؓ二元操作�W�。如果是+�?�?�?�?�?lt;�?lt;=�?gt;�?gt;=�?=�?=、^�?amp;&和||的话�Q�优先��跟C++一栗��如果是其他操作�W�，那么优先�U�一致而且最低�?br>
    因�ؓ操作�W�也是个函数�Q�因此将操作�W�作为函��C��用的时候只需要加一�Ҏ��号就可以了，不过中间不可以有�I�格。所以我们就可以定义“+”�q�写��Z��面的代码�Q?br>

1 def (+) = iadd
2 def (+) = fadd
3 def (+) = concat
4 def main102 = (+) 1 2
5 def main103 = (+) 1.0 2.0
6 def main104 = (+) "Genius" " Vczh!"
7 def main105 = 1 + 2
8 def main106 = 1.0 + 2.0
9 def main107 = "Genius" + " Vczh!"

下面是执行结果：

操作�W�的优先�U�比函数低，因此sin a + sin b实际上是(sin a)+(sin b)�?于是下面的代码返�?.0�Q?br>

1 def main108 = ln (exp 3.0) + ln (exp 5.0)

有了操作�W�之后，��可以慢慢�ؓIO、Exception�{�复杂对象徏模�ƈ且开发语法糖了�?

陈梓�?vczh) 2008-12-15 00:37 发表评论

陈梓�?vczh) — Sat, 13 Dec 2008 15:13:00 GMT

摘要: ��Z��试Kernel FP的健壮性以及进行一些bug的排除，一个四则运��式子的分析�E�序理所当然地就被实��C��。代码如下：阅读全文

陈梓�?vczh) 2008-12-13 23:13 发表评论

Kernel FP成功�q�行一部分列表处理�E�序

陈梓�?vczh) — Fri, 12 Dec 2008 18:03:00 GMT

摘要: �l�过1个小时的奋斗�Q�修�?个bug�Q�终于��得Kernel FP能运行的代码渐渐多了��h��。现在可以看看纯函数式语�a��z�的代码及运行结果啦�Q?

下面是很多用于测试的main函数�Q?nbsp; 阅读全文

陈梓�?vczh) 2008-12-13 02:03 发表评论

陈梓�?vczh) — Thu, 11 Dec 2008 07:03:00 GMT

摘要: Kernel FP已经可以�q�行��程序了。现在还处于��试阶段�Q�过于复杂的�E�序估计是跑不过的。先��单介�l�一下如何在C++调用Kernel FP的代码�?nbsp; 阅读全文

陈梓�?vczh) 2008-12-11 15:03 发表评论

陈梓�?vczh) — Mon, 03 Nov 2008 13:41:00 GMT

摘要: 新加入的Expected语法已经完全支持了。��用了Expected的符号会因�ؓ调用者的不同而��用不同的scope内的函数。代码如下：阅读全文

陈梓�?vczh) 2008-11-03 21:41 发表评论

Kernel FP的Expected语法实验

陈梓�?vczh) — Sun, 02 Nov 2008 15:36:00 GMT

摘要: 有了Expected语法之后��L��要实验一下的。现在给��Z��个非完整函数eq的声明，�q�用一个列表查扑և��C��用eq。已知代码如下：阅读全文

陈梓�?vczh) 2008-11-02 23:36 发表评论

陈梓�?vczh) — Sun, 02 Nov 2008 14:52:00 GMT

摘要: Kernel FP的模板函数比较严根{��对于�Q意的模板函数的类型参敎ͼ��q�个参数必须能够接受所有类型。当�Ӟ��c�d��推导会通过阅读代码来精��化�E�序员设定的�c�d��。譬如说一个函数F的类型是T->T�Q�但是经�q�阅��M��码发玎ͼ�参数只能是某�U�类型的列表�Q�那么类型推导就会将�q�个函数的类型修改�ؓlist T->list T�?

但是�q�样会有一个问题。类型推导只能够推导已知的函数。如果一个模板函数里面用了操作符�Q�而这个操作符暂时只�ؓ几个�c�d��定义的话�Q�那么由于不是所有的�c�d��都能够接受该操作�W�，所以这个操作符��没办法�l�未知确切类型的参数使用。下面就有一个例子：阅读全文

陈梓�?vczh) 2008-11-02 22:52 发表评论

陈梓�?vczh) — Sat, 01 Nov 2008 15:05:00 GMT

摘要: 今天写了Kernel FP模板函数实例化的代码。虽然还有一点小bug�Q�不�q�还是说一下�?nbsp; 阅读全文

陈梓�?vczh) 2008-11-01 23:05 发表评论

陈梓�?vczh) — Wed, 29 Oct 2008 18:04:00 GMT

摘要: �c�d��推导�q�于复杂�Q�已�l�到了无法Step In/Over的地步了�Q�于是只好靠输出大量调试信息来解决问题。这里给��Z��我�ؓKernel FP开发的一些简单的调试用宏。在不需要调试信息的时候，可以通过��单关闭调试而将产生调试信息的运行时负担完全去除�?nbsp; 阅读全文

陈梓�?vczh) 2008-10-30 02:04 发表评论

陈梓�?vczh) — Mon, 27 Oct 2008 13:23:00 GMT

摘要: 实习的时候，自己的时间明显没有在学校的时候多啊。这�ơKernel FP拖了很久�Q�一个多月都�q�没写完。幸好语法分析器用了之前开发的Syngram�Q�要不得多花一个月。Kernel FP的类型推导的代码实在是很隄��Q�趁着又发��C��一个Bug�Q�重构一下�?

内含代码阅读全文

陈梓�?vczh) 2008-10-27 21:23 发表评论

陈梓�?vczh) — Sun, 19 Oct 2008 07:29:00 GMT

摘要: Kernel FP的虚拟机设计��h��比较别扭�Q�主要还是因为laziness的问题。不�q�现在已�l�有了一个能用的��x��了�?nbsp; 阅读全文

陈梓�?vczh) 2008-10-19 15:29 发表评论

陈梓�?vczh) — Sat, 11 Oct 2008 10:10:00 GMT

摘要: �c�d��推导到这里也��q��束了。虽然可能有点小bug�Q�不�q�这个以后遇到再处理了。接下来的一个模块是跟类型推导没有耦合的新模块�Q�两边可以��^行处理�?

Kernel FP的指令集不同于以往的指令集。因��Z��Z��门纯函数式语�a��Q�就必须要有laziness。这��是��_��凡是可以不运行的代码都一定不�q�行�Q�凡是可以晚一�Ҏ��行的代码一律等到需要的时候再执行。也��是��_��参数传进函数的时候，传的是代码而不是倹{��因此指令集只能用来表达代码的逻辑�l�构�?
阅读全文

陈梓�?vczh) 2008-10-11 18:10 发表评论

Kernel FP let-in表达式子函数包含父函数对象的�c�d��推导

陈梓�?vczh) — Wed, 08 Oct 2008 16:19:00 GMT

摘要: 有一些主函数的某些参数只在let-in表达式所定义的子函数使用�Q�然后被��d��数间接��用。今天修了一个bug支持了这�U�函数的�c�d��推导。例子如下：阅读全文

陈梓�?vczh) 2008-10-09 00:19 发表评论

陈梓�?vczh) — Tue, 07 Oct 2008 16:10:00 GMT

摘要: 今天��Haskell的一部分列表处理函数抄进了Kernel FP里，坚持所有函敎ͼ�模板函数�Q�不写类型，而让�~�译器进行类型推��|�� 阅读全文

陈梓�?vczh) 2008-10-08 00:10 发表评论

陈梓�?vczh) — Mon, 06 Oct 2008 14:47:00 GMT

摘要: �l�过上一�ơ的成功试验�Q�这�ơ终于完成了剩余的表辑ּ��c�d��的类型推对{��过�E�及�l�果如下�Q?nbsp; 阅读全文

陈梓�?vczh) 2008-10-06 22:47 发表评论

Kernel FP �c�d��推导�Q�Type Inference�Q�实验成功！

陈梓�?vczh) — Sat, 04 Oct 2008 15:19:00 GMT

摘要: 我终于在实验阶段解决了这个困��C��?个月�Q�虽然实际上我花�?个星期）的问题。目标是�q�样的：你写�E�序�Q�可以尽可能的不写一些类型信息，譬如函数参数和返回值的�c�d��信息�{�。我的编译器帮你把它的类型算出来�?

内详�Q�有例子、方法和模型�?nbsp; 阅读全文

陈梓�?vczh) 2008-10-04 23:19 发表评论

陈梓�?vczh) — Thu, 02 Oct 2008 15:46:00 GMT

摘要: �l�过�?个小时的艰苦奋斗�Q�符可��l�于计算出来了，而且也做了一部分语法分析。接下来的工作是�c�d��推导。今天的�l�果如下�?nbsp; 阅读全文

陈梓�?vczh) 2008-10-02 23:46 发表评论