#

generalized-algebraic-data-type

Here are 5 public repositories matching this topic...

overlogged / steak

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

programming-language functional-programming pattern-matching cpp17 lazy-evaluation generalized-algebraic-data-type

Updated Mar 13, 2019
C++

broom-lang / broom

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

programming-language algebraic-effects modules compiler broom implicit type-inference type-class generalized-algebraic-data-type row-polymorphism

Updated Dec 3, 2022
OCaml

Zeta611 / stappl

🎲 Statically typed probabilistic programming language, feat. GADT

ocaml gadt probabilistic-programming type-system probabilistic-graphical-models generalized-algebraic-data-type

Updated Jun 13, 2024
OCaml

Zeta611 / type-safe-programming

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

rust algebraic-data-types beamer polymorphism type-system system-f parametric-polymorphism simply-typed-lambda-calculus generalized-algebraic-data-type ad-hoc-polymorphism subtype-polymorphism universal-type

Updated Jan 14, 2024
TeX

CarstenKoenig / GadtParser

parsing GADT-style expression trees

haskell parsing doctest megaparsec generalized-algebraic-data-type

Updated Aug 22, 2019
Haskell

Improve this page

Add a description, image, and links to the generalized-algebraic-data-type topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the generalized-algebraic-data-type topic, visit your repo's landing page and select "manage topics."