Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in algebraic-data-types

Haskell: Understanding algebraic data types better

Incorrect type inference while pattern matching in Scala

Creating a rectangle? - Haskell

How to write a "from" and "to" function for "Add Void a === a"?

Invalid data type

Recursive algebraic data types via polymorphism in Haskell

How do you destructure values in a let binding using algebraic racket

Why sum of products can be viewed as normal form in algebraic data types?

In Agda is it possible to define a datatype that has equations?

agda algebraic-data-types

Flatten a tree (nested list) up to a certain depth

Extending algebraic data type

Haskell typeclasses with algebraic data types

Mutually recursive datatypes

Haskell: Understanding custom data types

Stream data type implementation in Haskell

Design of data types in Haskell

Mapping data constructors to types

Is it possible to generate and execute Rust code at runtime?

rust algebraic-data-types