January 23 2007 火曜日

  My god!!!  My working computer is striked these days.  I dont know where is wrong.  Finally, I have to chanage another.When I am building up a new ...

2007-01-23 17:53:00

阅读数:532

评论数:0

January 19 2007  金曜日

  There is a state monads define.data SM a = SM (S -> (a,S)) -- The monadic typeinstance Monad SM where -- defines state propagation  SM c1 >&g...

2007-01-23 17:52:00

阅读数:546

评论数:0

January 22 2007 月曜日

  Today I signed my name on agreement.  From next month, my salary will is promoted to RMB 3200 a month.  This isthe normal second company on my empl...

2007-01-23 17:52:00

阅读数:497

评论数:0

January 17 2007  水曜日

  The strictness flag !, can only appear in data declarations.  It cannot be used in other type signaturesor in any other type definitions.  There is...

2007-01-23 17:51:00

阅读数:458

评论数:0

January 18 2007  木曜日

  The "Monad" class in Haskell defined two basic operatos: ">>=" (bind) and "return".infixl 1 >>, >>=...

2007-01-23 17:51:00

阅读数:658

评论数:0

January 16 2007  火曜日

  In Haskell language it seems to tell me another explanation what is a class.  The class concept in Haskellis alike the template in C++ language.  H...

2007-01-23 17:50:00

阅读数:758

评论数:0

January 15 2007  月曜日

  I almost forgot how to write a "amb" operator, a non-determination operator, in scheme.  Yes,there is not only one way to implement "...

2007-01-23 17:49:00

阅读数:742

评论数:0

January 12 2007  金曜日

  I am going to learn Haskell functional programming language in that I are awarethat it is nessary to do it.  The Haskell language has evolved signi...

2007-01-23 17:48:00

阅读数:795

评论数:0

January 11 2007 木曜日

 dlopen loads a dynamic library from the file named by the null terminated string filename and returnsan opaque "handle" for the dynamic li...

2007-01-23 17:47:00

阅读数:590

评论数:0

January 10 2007 水曜日

  Yesterday evening I searched some articles on Y-combinator.  That is a so interesting and powerful combinator.I think that what is the essence of Y...

2007-01-10 18:11:00

阅读数:608

评论数:0

January 8 2007 月曜日

  Today I debuged the functions to communicate in BACnet protocol.  I found a strange phenomenon, I senta correct message including a schedule comman...

2007-01-10 18:10:00

阅读数:632

评论数:0

January 9 2007 火曜日

  Yesterday evening I eventually get the root of that strange phenomenon.  There is rule that all schedulecommands must be sorted, in other words, ev...

2007-01-10 18:10:00

阅读数:633

评论数:0

January 5 2007 金曜日

  I am going to debug the program "schdisp".  But I found that device is offline.  As matter of a fact,a service run at the device crashed....

2007-01-10 18:09:00

阅读数:586

评论数:0

January 4 2007 木曜日

  Today I finished those functions used as the interface of BACnet protocol.  I must debug it tomorrow.I am so surprised to the size of the binary pr...

2007-01-10 18:08:00

阅读数:582

评论数:0

January 3 2007 水曜日

  Today is the first working day in 2007.  I am going to look through my Advanced Mathematics text-book.It is the first step.  The second step I will...

2007-01-10 18:07:00

阅读数:996

评论数:0

December 29 2006

(define-syntax cons-stream  (lambda (x)    (syntax-case x ()      ((_ a b) (syntax (cons a (delay b)))))))(define-syntax car-stream  (lambda (x)    (...

2007-01-10 18:03:00

阅读数:543

评论数:0

December 28 2006

  Today when debugging a program I found a error due to a contant number.  In that program, we need makinga backup file name from a file name.  Those...

2007-01-10 17:57:00

阅读数:622

评论数:0

The Y Combinator

In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory. You already know that in some cases it is not ...

2007-01-09 21:14:00

阅读数:770

评论数:0

Y组合子

在这个文件里我们来生成Y组合子,它是递归过程理论的一个基本结果。可能你已经知道,在某些情况下,是不需要给一个过程命名的。比如说:   ((lambda (x) (+ x 1)) 6)在没有名字的情况下,把1加到6上面去。但是,如果那是递归函数又该如何?比如说:   (define fact    ...

2007-01-09 20:26:00

阅读数:2593

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭