User loginNavigation |
Hume Programming LanguageStumbled across the Hume Programming Language while looking for some ML info. Hadn't seen it discussed on LtU before:
A bit too preliminary and research oriented for my tastes, but the main point of interest is the attempt to provide static guarantees of resource usage (time and memory). A binary version for Linux and Mac is available, but the source code is not available for other builds (written in GHC which I notice is now available for a number of target platforms since last i checked). |
Browse archives
Active forum topics
|
Recent comments
2 weeks 3 days ago
7 weeks 16 hours ago
7 weeks 17 hours ago
7 weeks 3 days ago
7 weeks 3 days ago
10 weeks 2 days ago
11 weeks 3 hours ago
11 weeks 1 day ago
11 weeks 1 day ago
11 weeks 6 days ago