Taisuke Oe taisukeoe

## gadt.md

      
              1 file
            
          
              6 forks
            
          
              6 comments
            
          
              53 stars
            
          
                smarter
                / gadt.md
            
            
              Last active
              March 6, 2024 23:33
            
              
                GADTs in Scala
              
          
    Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:
data Expr = IntExpr Int | BoolExpr Bool

  
## gist:cadd73b7756fe4097ca0
object Demo {
  // A couple of type classes with type members ...
  trait Foo[T] {
    type A
  }

  object Foo {
    implicit val fooIS = new Foo[Int] { type A = String }
  }
	object Demo {
	// A couple of type classes with type members ...
	trait Foo[T] {
	type A
	}

	object Foo {
	implicit val fooIS = new Foo[Int] { type A = String }
	}