#afp

Wouter Swierstra’s Data Types à la Carte paper

·staff.science.uu.nl·Aug 29, 2019

Wouter Swierstra’s Data Types à la Carte paper

Selective applicative functors package

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically - GitHub - snowleopard/selective: Selective Applicative Functors: Declare Your Effects Staticall...

#effects #haskell #afp

·github.com·Aug 29, 2019

Selective applicative functors package

A Generic Deriving Mechanism for Haskell

Guessing Swift takes a similar approach in [SE-0185](https://github.com/apple/swift-evolution/blob/098152eafbfbd7faa74d81e1443231bd7caabc45/proposals/0185-synthesize-equatable-hashable.md).

#haskell #swift #synthesis #deriving #afp

·dreixel.net·Aug 29, 2019

A Generic Deriving Mechanism for Haskell

Advanced Functional Programming ’18’s course materials

#afp #haskell #functional

·github.com·Jul 17, 2019

Advanced Functional Programming ’18’s course materials