## User login## Navigation |
## 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 in-principle solution that would never be usable in practice, Turing tar-pit, 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 archives## Active forum topics |

## Recent comments

16 min 24 sec ago

7 hours 30 min ago

12 hours 30 min ago

12 hours 41 min ago

14 hours 46 min ago

21 hours 36 min ago

23 hours 9 min ago

1 day 2 hours ago

1 day 2 hours ago

1 day 2 hours ago