Skip to content
Hallway
0:00 / 0:00

#haskell#typefamilies#ghc

Constrained Type Families

ICFP Video

3.8K subscribers • 33 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Richard Eisenberg

Advanced. Deep dive for people who know the field.

1K views8 years ago1 recommendation

Programming languagesHaskellLanguage design and type systems

Richard Eisenberg presents a proposal for constrained type families in Haskell to address limitations and weirdness in the current type system.

Presenter: Richard Eisenberg

Why it's here

1 person recommends this

What people say. Recommended as a cleaner and more newcomer-friendly alternative to current Haskell type family behaviors.

u/Tarmenin r/haskell • Recommends

On “ICFP 2017 Conference Talks”

I'd be interested in peoples thoughts on Constrained Type Families. I have been bitten or at least confused by all the weirdness's mentioned in the talk and the proposed alternative seems much cleaner and newcomer friendly. Still, historically breaking proposals at least took quite a while.
11View on Reddit