Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in algebraic-data-types

How to directly calculate desired phase shift of signals?

matlab fft octave combinatorics algebraic-data-types

Automagically create predicates that detect components of a sum type?

haskell algebraic-data-types

Efficient implementation of Catamorphisms in Scala

scala algebraic-data-types category-theory recursion-schemes catamorphism

Checking all values in a list have a specific constructor

haskell algebraic-data-types

How to call constructor for leaves of a tree algebraic data type in Scala?

scala generics constructor abstract-data-type algebraic-data-types

Idris case/induction tactics

algebraic-data-types idris formal-verification

haskell own datatypes - using signs or numbers in the datatype definition

haskell types algebraic-data-types

Representing enum+object variant type in GraphQL

enums graphql algebraic-data-types discriminated-union

Is there a better way to express this type?

haskell algebraic-data-types

Why does refactoring data to newtype speed up my haskell program?

performance haskell algebraic-data-types data-representation newtype

Is there such as thing as "type extensions" in Haskell?

haskell algebraic-data-types

Scala pattern match on ADTs may not warn on unreachable code

scala pattern-matching algebraic-data-types

Haskell Multidimensional Arrays with Compiler-enforced lengths

haskell algebraic-data-types

How to control flow without .flatMap, which breaks a reactive stream preventing operators like distinctUntilChanged from working on the entire stream

rx-java kotlin reactive-programming rx-java2 algebraic-data-types

How to define Eq instance of List without GADTs or Datatype Contexts

list haskell compiler-flags algebraic-data-types gadt

Is there something like DuplicateRecordFields for constructors in Haskell? [duplicate]

haskell algebraic-data-types user-defined-data-types value-constructor

Is there an accurate way in Haskell to encode tuple of Foo, where some certain combinations are forbidden?

haskell algebraic-data-types

How can I zip a list over another list that is nested in Haskell?

list haskell nested-lists map-function algebraic-data-types

What's the right way to use type aliases in Haskell

haskell types type-safety algebraic-data-types type-alias
Older Entries »