Check opendylan [1], which blends dynamic typing with optional type annotations [2]. There's a paper [3] and a "dead" branch in github [4] with an actual implem

Check opendylan [1], which blends dynamic typing with optional type annotations [2]. There's a paper [3] and a "dead" branch in github [4] with an actual implementation of gradual typing. [1]: http://opendylan.org/ http://opendylan.org/ [2]: http://dylanfoundry.org/2014/08/28/type-system-overview/ http://dylanfoundry.org/2014/08/28/type-system-overview/ [3]: http://www.itu.dk/~hame/ilc2010.pdf http://www.itu.dk/~hame/ilc2010.pdf [4]: https://github.com/hannesm/opendylan/tree/typed-opendylan https://github.com/hannesm/opendylan/tree/typed-opendylan