Eirik Tsarpalis • 7/3/2019

Applying the Tagless-Final pattern in F# Generic Programs

This technical article proposes applying the Tagless-Final pattern in F# to create type-safe generic programs. It critiques usability problems in existing approaches like the TypeShape library and demonstrates encoding higher-kinded types in F# to build polytypic programs, using functors as an example.

0 comments

#functional programming #F #Generic Programming