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:
- Lightning Talk: Session types for F#ers (SkillsCast recorded in April 2018)
- Modern development with Java (in London on 15th - 17th July 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Hands-on: Fractal art with Fable and WebGL (in London on 20th June 2019)
- F#unctional Londoners July (in London on 18th July 2019)
- Introduction to Markov Chains in F# (SkillsCast recorded in April 2019)
- Lightning Talk: How To Give Amazing Technical Presentations (SkillsCast recorded in April 2019)
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.