User loginNavigation |
GRS vs LTRSWhy FPL are (mostly) based on GRS instead of LTRS? Recursive let seems not be so useful, but cyclic links in data makes automatic reasoning very hard and gives another evil source of nontermination. Perhaps if LTRS was selected we are full of useful total functional languages nowadays. By vag at 2009-06-14 13:39 | LtU Forum | previous forum topic | next forum topic | other blogs | 6983 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 3 days ago
7 weeks 4 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 2 days ago
25 weeks 5 days ago
25 weeks 5 days ago