typelevel-programming-scala
所属分类:collect
开发工具:Scala
文件大小:0KB
下载次数:0
上传日期:2016-09-04 15:14:17
上 传 者:
sh-1993
说明: Scala中的类型级编程,
(TypeLevel Programming in Scala,)
文件列表:
LICENSE.txt (1083, 2016-09-04)
build.sbt (343, 2016-09-04)
project/ (0, 2016-09-04)
project/build.properties (22, 2016-09-04)
project/plugins.sbt (22, 2016-09-04)
src/ (0, 2016-09-04)
src/main/ (0, 2016-09-04)
src/main/scala/ (0, 2016-09-04)
src/main/scala/eu/ (0, 2016-09-04)
src/main/scala/eu/gruchala/ (0, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/ (0, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/ (0, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/A_About.scala (100, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/B_DependentTypes.scala (326, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/C_AbstractTypes.scala (324, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/D_PhantomTypes.scala (575, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/E_AuxPattern.scala (1072, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/F_MagnetPattern.scala (1424, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/base/G_SimplifiedCategoryTheory.scala (2445, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/ (0, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/A_About.scala (1222, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/B_DependentTypes.scala (949, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/C_AbstractTypes.scala (504, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/D_PhantomTypes.scala (1381, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/E_AuxPattern.scala (1792, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/F_MagnetPattern.scala (1850, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/full/G_SimplifiedCategoryTheory.scala (3430, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/hacks/ (0, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/hacks/DoNotStickToParticularMonad.scala (2522, 2016-09-04)
src/main/scala/eu/gruchala/typelevel/hacks/NonInferableTypeParameters.scala (843, 2016-09-04)
TypeLevel Programming in Scala
===========
This project was prepared as a code base for my presentation about topic above.
It consists of two packages:
* _eu.gruchala.typelevel.base_ - base code for my presentation,
* _eu.gruchala.typelevel.full_ - entire code together with all examples and explanations.
Covered
---------
* What is TypeLevel Programming?
* Path/Parameter Dependent Types
* Abstract Types
* Phantom Types
* Aux Pattern
* Magnet Pattern
* Basics of Category Theory - Functor, Monad, Applicative
License
---------
MIT License
近期下载者:
相关文件:
收藏者: