User loginNavigation |
U, a small modelU is a small (< 1000 words) computational model: U is different because it:
I have to apologize for posting this weird beast with no real context. I'm working on higher layers that should make its purpose clearer, but they are not done, and we all hate hand-waving. Still, the U spec is self-contained, and it should be precise and readable. If anyone can look at it and maybe even find some gotchas, I'd be super grateful. I'm especially curious about the follow operator. Are there any logical flaws in its definition, or ways it could be improved, generalized or tightened? Also, if anyone knows of any other UDP-level functional languages, or anything else U reminds them of, I would of course be happy to hear it. By cyarvin at 2006-01-31 03:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 8163 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 6 days ago
1 week 6 days ago
1 week 6 days ago
8 weeks 1 hour ago
48 weeks 1 day ago
48 weeks 1 day ago
48 weeks 1 day ago
1 year 18 weeks ago
1 year 22 weeks ago
1 year 24 weeks ago