User loginNavigation 
Dynamic typing in OCamlOn many occasions on this site we've discussed embedding a dynamic type checking scheme in a statically typed language using a Univ type. On many of these occasions, it's been suggested that this is an inprinciple solution that would never be usable in practice, Turing tarpit, etc., etc. Well, someone decided to put their money where our mouths are, and now we have Dynaml. I've only briefly looked at the tutorial, but this definitely goes a long way toward demonstrating a plausible Univ embedding of a dynamic type system. Of course, I'd be curious to hear what everyone else thinks... (from the caml weekly news...) 
Browse archivesActive forum topicsNew forum topics

Recent comments
4 hours 59 sec ago
5 hours 20 min ago
5 hours 42 min ago
9 hours 13 min ago
15 hours 5 min ago
15 hours 11 min ago
17 hours 6 min ago
1 day 2 hours ago
1 day 22 hours ago
2 days 8 hours ago