Skip to content
Hallway
0:00 / 0:00

#haskell#ghc#typeclasses

Edward Kmett - Undecidable Superclasses

Boston Haskell

1.1K subscribers • 18 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Edward Kmett

Advanced. Deep dive for people who know the field.

3.5K views10 years ago1 recommendation

Programming languagesHaskellLanguage design and type systems

Edward Kmett demonstrates how to use undecidable superclasses in GHC 8.0 to implement advanced type-level programming techniques.

Edward shows the Boston Haskell meetup group some of his GHC 8.0 toys. 2016.02.17

Why it's here

1 person recommends this

u/cocreaturein r/haskell • Recommends

Edward Kmett - Undecidable Superclasses
49View on Reddit

u/rampionin r/haskell • Mentions

On “Kinder.Functor - using TypeInType with a poly-kinded Functor typeclass”

Ooh, that's cool. Looks like it goes with this Boston Haskell talk on "Undecidable Superclasses". Previously discussed here. And my poor memory is revealed, as I even commented on it last time.
4View on Reddit

u/ElvishJerriccoin r/haskell • Mentions

On “Haskell Semantics of Category?”

I don't understand any of this, but I think this gist by /u/edwardkmett may be like what you're asking for? He talked about it in this video: link to this video
3View on Reddit