OCaml
Prohibiting invalid states with GADT - the airlock exercise
Community
gadt
olleharstedt
October 8, 2022, 9:46pm
13
Would someone like to show how to replace the pipe here with
let*
? Would that make sense?
show post in topic
Related topics
Topic
Replies
Views
Activity
Can't write a transition which can lead to two different states
Learning
gadt
6
510
July 28, 2023
Using GADTs to track properties of a state type. Help and alternative approaches?
Learning
language-design
,
type-system
,
gadt
,
types
,
datastructures
3
293
January 6, 2025
First class modules and GADT existentials
Learning
3
1375
March 4, 2018
GADTs and modules
Learning
gadt
6
1188
July 30, 2019
GADTs - avoiding type constructor escaping scope problems
Learning
type-system
,
gadt
2
826
December 21, 2020