SkillsCast
JavaScript for Idris Developers
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
In this talk, Tom will discuss the esoteric language of JavaScript and use Ramda.js to introduce its novel type system. While scary at first, he'll decipher cryptic functions like curry and compose with the surprising power of dependent type signatures.
In the end, Tom will guarantee that you'll be impressed at how far you can get with the Idris that you have today!
YOU MAY ALSO LIKE:
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
JavaScript for Idris Developers
Tom Harding
Tom is a PureScript developer pretending to be a Haskell developer at Habito. Don't tell anyone.