generalized-algebraic-data-type

There are 0 repository under generalized-algebraic-data-type topic.

• overlogged / steak

  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.

  cpp17programming-languagefunctional-programminggeneralized-algebraic-data-typepattern-matchinglazy-evaluation
  Language:C++ 28

• broom-lang / broom

  A programming language with first-class modules and algebraic effects.

  modulesalgebraic-effectsrow-polymorphismcompilerbroomprogramming-languagetype-inferencegeneralized-algebraic-data-typeimplicittype-class
  Language:OCaml 10

• Zeta611 / type-safe-programming

  SLConf 2024: 타입으로 안전하게 프로그래밍하기

  ad-hoc-polymorphismalgebraic-data-typesbeamergeneralized-algebraic-data-typeparametric-polymorphismpolymorphismrustsimply-typed-lambda-calculussubtype-polymorphismsystem-ftype-systemuniversal-type
  Language:TeX 4

• CarstenKoenig / GadtParser

  parsing GADT-style expression trees

  haskellgeneralized-algebraic-data-typeparsingmegaparsecdoctest
  Language:Haskell 3