Fcgitwxqg1nvqvtcjobi
SkillsCast

Lightning Talk: Engage Clutch, Shift Gear; ROFL!

12th October 2017 in London at CodeNode

There are 36 other SkillsCasts available from Haskell eXchange 2017

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

Photos