Please log in to watch this conference skillscast.
The function `id` is one of the most simple ones you can imagine, but its has some very useful applications when fitting into an existing ecosystem. This talk will introduce some surprising cases, and hopefully bringing us to a formulation of power series.
YOU MAY ALSO LIKE:
- Lightning Talk: Engage Clutch, Shift Gear; ROFL! (SkillsCast recorded in October 2017)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Fireside chat: Martin Odersky & Simon Peyton Jones (SkillsCast recorded in December 2018)
- Liquid Haskell: Theorem Proving for All (SkillsCast recorded in December 2018)
Lightning Talk: You'll Love Id!
Gabor was born in 1968 and is a mathematician who earns his living with writing control software for telecommunications gear. He is actively pushing Haskell into previously unpopulated niches at his work domain, seeking viably safe solutions. Several GHC improvements were kickstarted by him, such as cross-compilation and the module for propositional type equality.