GROWL 发表于 2025-3-25 07:12:27

http://reply.papertrans.cn/29/2828/282799/282799_21.png

cylinder 发表于 2025-3-25 10:07:58

http://reply.papertrans.cn/29/2828/282799/282799_22.png

CRACY 发表于 2025-3-25 14:00:43

In Pursuit of Elegance,Functional languages were designed to represent the formal operations required to compute in a way that could be made elegant by a designer. There is a beauty in a representation that can capture an idea in both its form and its expressiveness.

不吉祥的女人 发表于 2025-3-25 16:36:56

Mind MapsTM and Mechanisms,Mind Maps are diagrams that show how ideas and concepts are linked together. The idea was first proposed by Tony Buzen (1993) in order to provide a different way of making notes other than through just writing.

Preserve 发表于 2025-3-25 20:58:25

Programming with Uncertainty: Theories, Models and Programs,We have seen in Chapter 7 how problem solving mechanisms can be constructed from a general problem solver (GPS). The key to this is that the problem solving activity is captured by functions that allow transformations to occur to a model of a problem domain.

烦躁的女人 发表于 2025-3-26 01:31:51

Tom Addis,Jan AddisSchematic functional programming uses diagrams, this book is the first to demonstrate a professional programming language based on a combination of both schema and functions.Describes a schematic func

不透气 发表于 2025-3-26 05:45:35

http://image.papertrans.cn/e/image/282799.jpg

vibrant 发表于 2025-3-26 10:52:49

http://reply.papertrans.cn/29/2828/282799/282799_28.png

光明正大 发表于 2025-3-26 14:12:40

http://reply.papertrans.cn/29/2828/282799/282799_29.png

演绎 发表于 2025-3-26 20:38:06

http://reply.papertrans.cn/29/2828/282799/282799_30.png
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Drawing Programs: The Theory and Practice of Schematic Functional Programming; Tom Addis,Jan Addis Textbook 2010 Springer-Verlag London 20