Algebraic Data Type - language feature

Example from 1 languages: TypeScript

declare type numOrString = string | number

Example from 1 languages: Coconut

data Empty()
data Leaf(n)
data Node(l, r)

def size(Empty()) = 0

addpattern def size(Leaf(n)) = 1

addpattern def size(Node(l, r)) = size(l) + size(r)

Example from 1 languages: kaikai

type Tag
  = Both
  | Fizz
  | Buzz
  | Other(Int)

Languages with Algebraic Data Type include TypeScript, Coconut, Mach, kaikai, Morloc, Lateralus

View all concepts with or missing a hasAlgebraicTypes measurement

Read more about Algebraic Data Type on the web: 1.

PLDB - Build the next great programming language · Add · Add Prompt · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v180.0.1