Lightning Talk: Engage Clutch, Shift Gear; ROFL!
Please log in to watch this conference skillscast.
In one of your first driving lessons you have learned to disengage the clutch before shifting gears, and engaging it thereafter. Not following this sequence in practice quickly leads to unhappy instructors and broken cars.
During this talk, you will discover a type safe way of bringing together domain actions and rules by leaning on most recent GHC v8.2's module 'Type.Reflection' and 'Refl'. The ultimate goal is to saturate your multicore CPUs with work safely, and thus making customers happy.
YOU MAY ALSO LIKE:
Thanks to our sponsors
Lightning Talk: Engage Clutch, Shift Gear; ROFL!
Gabor Greif
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.
-
SkillsCast
Please log in to watch this conference skillscast.
In one of your first driving lessons you have learned to disengage the clutch before shifting gears, and engaging it thereafter. Not following this sequence in practice quickly leads to unhappy instructors and broken cars.
During this talk, you will discover a type safe way of bringing together domain actions and rules by leaning on most recent GHC v8.2's module 'Type.Reflection' and 'Refl'. The ultimate goal is to saturate your multicore CPUs with work safely, and thus making customers happy.
YOU MAY ALSO LIKE:
Thanks to our sponsors
-
About the Speaker
Lightning Talk: Engage Clutch, Shift Gear; ROFL!
Gabor Greif
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.