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
11 weeks 22 hours ago
15 weeks 2 days ago
17 weeks 1 hour ago
17 weeks 1 hour ago
19 weeks 4 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 3 days ago