#FinallyTagless - Twitter Hashtag

about 6 years ago

Here I'm using #FinallyTagless (what ever it's called) to model the free category 0 `cat` 1 `cat` 2 `cat` .. v simple: class Category c => N c where n :: c n (S n) and a set-valued functor (FunctorOf (ClassCat Next) (->) Interpret) is defined by instance Next InterpetCat

Iceland_jack's tweet photo. Here I'm using #FinallyTagless (what ever it's called) to model the free category

0 `cat` 1 `cat` 2 `cat` ..

v simple: class Category c => N c where n :: c n (S n)

and a set-valued functor (FunctorOf (ClassCat Next) (->) Interpret) is defined by

instance Next InterpetCat https://t.co/aCdj2aRrPf

1

3

0

Jacob Barber @jacoby6000

over 7 years ago

To #scala people confused about #FinallyTagless, don't let people overcomplicate it. It's just Java style interfaces, with results wrapped in a generic F[_] and subtype constraints replaced with context bounds. It's a very powerful switch, but it's simple.

0

2

0

Jacques Carette @jjcarett2

over 7 years ago

Curious about the development of #FinallyTagless (or is it #TaglessFinal )? Then your software archeology dreams will be fulfilled: what used to be our private repo is now public! https://t.co/hR3X981DzU. Full history is there, with extra code, papers, experiments too.

2

36

13

0

Dad×3_jack @Iceland_jack

almost 8 years ago

I am fascinated by this use of #FinallyTagless

1

12

0

Dad×3_jack @Iceland_jack

almost 8 years ago

Mixing #DerivingVia + #FinallyTagless + #RankNTypes (what Janis Voigtländer calls higher-order overloading)

1

4

0

Jacques Carette @jjcarett2

almost 8 years ago

@Iceland_jack The evaluator in #finallytagless style is even more direct...

0

2

0

Dad×3_jack @Iceland_jack

about 8 years ago

@tritlo @rightfold @kritzcreek @natefaubion I have high hopes about combining #DerivingVia with the #FinallyTagless approach (& #QuantifiedConstraints) to start deriving some seriously complicated functions and optimizations!!

0

3

0