Skip to content

re: Introduction to composable optics with monocle-ts VIEW POST


Really cool stuff! One way that I've blended io-ts and monole-ts together is the use of the .is function in io-ts to replicate pattern matching in Haskell or OCaml. That helps especially in Prisms. So, for example...

new Prism<string | integer, string>(a => ? some(a) : none, s => s)

Here, is is a primitive type of pattern matching that does the job both at runtime and at compile time (this is compile safe in typescript).

code of conduct - report abuse