scala_typeclassopedia icon indicating copy to clipboard operation
scala_typeclassopedia copied to clipboard

Published 20 hours ago • verified publisher icon lemastero

add Combinatorial Species section

Open lemastero opened this issue 5 years ago • 0 comments

Currently scala_typeclassopedia focus on following math branches:

  • Category Theory
  • Abstract Algebra

In https://github.com/lemastero/scala_typeclassopedia/pull/109 I work on adding Combinatory Logic.

It might be good thing to add Combinatorial Species as source of abstractions that can be expressed in Scala and provide some useful vocabulary/abstractions.

PhD thesis of Brent A. Yorgey is very decent work on this: Combinatorial Species and Labelled Structures shorter (older) paper: Species and Functors and Types, Oh My!

Implementation in Haskell: http://hackage.haskell.org/package/species

lemastero avatar Jan 20 '19 22:01 lemastero