Type Tailoring Teach an Old Type Checker New Tricks by Ashton Wiersdorf at the (fourteenth RacketCon) is now available at https://youtu.be/rmPCstrSQOA
Thread
Stories related to "Type Tailoring Teach an Old Type Checker New Tricks" across the full archive.
Type Tailoring Teach an Old Type Checker New Tricks by Ashton Wiersdorf at the (fourteenth RacketCon) is now available at https://youtu.be/rmPCstrSQOA
Blog comments are actually worth reading.
I tried to give an overview of the type system from multiple perspectives: What it can do, how the user uses it and how the compiler uses it.
I've been writing this off and on over the last 2 weeks and already have 2 other posts that I'm still drafting that got split out of this one.
This isn't available yet, but was discussed at @Scale, https://code.facebook.com/atscale:
> At Facebook, we're writing more and more JavaScript every day. The code we write not only exploits the full flexibility and expressiveness offered by the language, but it also demands strong assurances of ...
Introducing SJS, a type inferer and checker for JavaScript (written in Haskell)
(noamlewis.wordpress.com)