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
496
July 28, 2023
First class modules and GADT existentials
Learning
3
1358
March 4, 2018
GADTs and modules
Learning
gadt
6
1167
July 30, 2019
GADTs - avoiding type constructor escaping scope problems
Learning
type-system
,
gadt
2
819
December 21, 2020
Explicitly name types in GADT patterns
Community
gadt
12
835
January 13, 2023