Skip to content
Hallway
0:00 / 0:00

#haskell#typeconstructors#typesystems

Partial Type Constructors - Or, Making Ad Hoc Datatypes Less Ad Hoc

ACM SIGPLAN

11K subscribers • 53 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by J. Garrett Morris

Advanced. Deep dive for people who know the field.

599 views6 years ago1 recommendation

Programming languagesFunctional programmingLanguage design and type systems

J. Garrett Morris presents a proposal for partial type constructors to make ad hoc datatypes more systematic in functional languages.

Presented by J. Garrett Morris. Presented at POPL'20.

Why it's here

1 person recommends this

What people say. Recommended as an interesting talk on improving type system expressiveness in Haskell.

u/cutculusin r/haskell • Recommends

Partial Type Constructors - Or, Making Ad Hoc Datatypes Less Ad Hoc
30View on Reddit