Are there dynamic languages with fully fleshed ADT out there? Mostly curious if Option<Option<T>> is representable. It's not in typescript?
Conversation
Replying to
`Option<T>` is a tagged union. Would be the equivalent `type Option<T> = { tag = 'some', value: T } | { tag: 'none' }` in Typescript.
as far as I can see it's basically a flat union in TS?
2
Show replies