OSDN Git Service

(root) / joypy / Thun.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48e443c) | patch
Messing around with type inference.
authorsforman <sforman@hushmail.com>
Sat, 12 Aug 2023 23:45:59 +0000 (16:45 -0700)
committersforman <sforman@hushmail.com>
Sat, 12 Aug 2023 23:45:59 +0000 (16:45 -0700)
commit9f78b6d8fdb5de4f736704cc5d4e1a25804610a1
tree86059c30cf9e7817d41c3fb7529b707e469c4098tree | snapshot
parent48e443c5c729e9ac865e5a86f0a4fe8da6114b73commit | diff
Messing around with type inference.

What if we insist that both branches of a branch have compatible types?

For one thing `[+] [* +] branch` leads to a circular term which, when
printed, goes into a loop: "int,int,int,...".  Hmm...
implementations/GNUProlog/infer.prolog [new file with mode: 0644] blob
implementations/GNUProlog/parser.prolog diff | blob | history
implementations/GNUProlog/thun.prolog diff | blob | history
Interpreter and library.
About OSDN
Find Software
Develop Software
Help