Dobre wprowadzenie do wolnych twierdzeń

Question

Natknąłem się na niezły pomysł free theorems w języku funkcjonalnym. Jednak jedynym zasobem, jaki udało mi się znaleźć, był artykuł Wadlera "Theorems for Free". Jest całkiem niezły, ale zdecydowanie nie jest to tutorial i ciężko mi się przedostać (zrozumiałem o połowę tego i wymagało to dla mnie dość dużo czasu). Czy możesz polecić mi inny artykuł lub samouczek, który jest zorientowany na programistę, który zna funkcjonalne programowanie zamiast badacza funkcjonalnego języka twardego?

Dzięki.

Answer 1

http://www.iai.uni-bonn.de/~jv/free-slides.pdf

http://daniel.yokomizo.org/2011/12/understanding-higher-order-code-for.html

http://arxiv.org/pdf/1107.1203.pdf

(także w typeclassopedia Sekcji 3,3)

http://hackage.haskell.org/package/free-theorems-seq

http://hackage.haskell.org/package/free-theorems-counterexamples