2
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:
- Lightning Talk: Who Cares About GHC 8.6? (SkillsCast recorded in October 2018)
- React & Redux: Web Application Workshop with Damjan Vujnovic (Online Workshop on 12th - 16th September 2022)
- Advanced JavaScript Workshop with Damjan Vujnovic (Online Workshop on 26th - 28th September 2022)
- FullStack eXchange: In-Person Conference (in London on 27th - 28th July 2022)
- FullStack eXchange: Online Conference (Online Conference on 27th - 28th July 2022)
- Vue.js and TypeScript: Working Together like Peanut Butter and Jelly (SkillsCast recorded in February 2022)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
JavaScript for Idris Developers
Tom Harding
Tom is a PureScript developer pretending to be a Haskell developer at Habito. Don't tell anyone.