Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in gadt
How can I derive typeclass instances from constraint families that are in scope?
May 21, 2022
haskell
constraints
gadt
existential-type
quantified-constraints
How can I derive a Data instance for a GADT in Haskell?
Oct 10, 2020
haskell
gadt
deriving
OCaml's `type a. a t` syntax
Oct 03, 2021
syntax
ocaml
gadt
locally-abstract-type
Pattern match on a data family in Haskell
Aug 21, 2022
haskell
types
pattern-matching
gadt
type-families
Why can't ghc match these types on this Category product?
Jan 24, 2022
haskell
typeclass
category-theory
gadt
Haskell Inaccessible code bug?
Sep 14, 2022
haskell
compiler-errors
gadt
How can holes and contexts be implemented for higher-kinded types in a lens style uniplate library?
Jun 07, 2022
haskell
gadt
uniplate
Inferring general typeclass instance from a series of smaller ones?
Oct 10, 2018
haskell
typeclass
dependent-type
gadt
GADTs for a DSL: swings and roundabouts?
Apr 22, 2021
haskell
gadt
How would you abstract away the boilerplate in this pair of "similar shaped" datatypes
Dec 29, 2021
haskell
types
lambda-calculus
gadt
metacircular
How to specify the type for a heterogenous collection in a GADT formulated AST?
Nov 08, 2022
haskell
existential-type
gadt
data-kinds
Proper tagged AST
Oct 30, 2018
haskell
monads
abstract-syntax-tree
gadt
name-binding
How can I ‘convince’ GHC that I've excluded a certain case?
Mar 05, 2022
haskell
type-inference
gadt
existential-type
I can't get my GADT-based toy Dynamic type to work with parametric types
Dec 21, 2020
haskell
gadt
curry-howard
Can GADTs (or existentials) without constraints be compiled as tight as untyped ordinary ADTs?
Mar 02, 2019
performance
haskell
gadt
existential-type
Equality of De Bruijn-indexed variables in a GADT
Jul 22, 2016
haskell
dsl
gadt
Haskell: GADT with UNPACK Pragma
Jan 11, 2022
haskell
ghc
pragma
unpack
gadt
Building values dynamically with GADTs using Data Kinds
Dec 21, 2019
haskell
gadt
dependent-type
data-kinds
Hiding a State monad's s type parameter
Dec 20, 2019
haskell
existential-type
gadt
How to make fixed-length vectors instance of Applicative?
Jul 28, 2022
haskell
types
pattern-matching
typeclass
gadt
« Newer Entries
Older Entries »