News for hackers. Stuff that matters.
Re:Why we’re no longer using Core.typed by user1241320 on Thursday September 24, 2015 @11:43AM (#10272236)
Did you take a look at tcomb[0]?

[0] https://github.com/gcanti/tcomb

Re:Why we’re no longer using Core.typed by picardo on Thursday September 24, 2015 @11:52AM (#10272285)
Seconded. tcomb is the best dynamic typechecker around.