Please log in to watch this conference skillscast.
During this talk, you will explore a small project which Fahd has been working on, that allows compile-time constraint on F# base types.
The idea for this project originated from writing a DSL for CSS in F#; Fahd wanted to have constraint on certain properties but at compile-time. This endeavour was inspired by a project, which had, to Fahd, a limitation related to having constraint at run-time. The project is quite new and can be found in this repository.
YOU MAY ALSO LIKE:
- Greg Young's CQRS, Domain Events, Event Sourcing and how to apply DDD (in Stockholm on 22nd - 24th May 2017)
- Simon Brown's Software Architecture for Developers Workshop (in London on 22nd - 23rd May 2017)
- µCon 2017: The Microservices Conference (in London on 6th - 7th November 2017)
- Serverless Architecture with Azure Functions with Christos Matskas! (in London on 29th November 2017)
Lightning Talk Session: Value Constraint at Compile-Time
Fahd is a Master student at Imperial College London, who has done his Master thesis on session types and their application over F#. New to the F# community and the language, he loves to speak and learn about it every day. Other than that, he loves spending his spare time learning about different theories and technologies, especially type theory and functional programming.