April Scala Meetup

Čaute Scalisti budúci, súčastní aj tí ktorých ešte nepoznáme,

aprílový meet-up sme sa rozhodli (na zaklade vašich odpovedí samozrejme) poňať tématicky a ako prvu temu sme si vybrali

Typelevel Programming

Ide o veľmi zaujímavý spôsob programovania ktorý umožňuje silnú typovu kontrolu aj častí kódu pri ktorých normálny statický typový systém bezmocný, ale v Scale možný (i keď niektoré techniky zavaňaju zneužívaním typového systému :) )

Cielom našich stretnutí je zamozrejme ukázať hlavne praktické použitie preberaných tém, a nebude to inak ani v tomto prípade. Takže je sa na čo tešit.

Plánovaná agenda je:

Úvod do typelevel programmingu (Fero, ~45 min.)

Kto je nedočkavý, može si zatiaľ pozrieť zopár nasledovných odkazov:

http://vimeo.com/13518456

http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/

http://www.chuusai.com/2012/04/27/shapeless-polymorphic-function-values-1/

http://meta.plasm.us/posts/2013/06/09/learning-shapeless/

http://stackoverflow.com/questions/4415511/scala-type-programming-resources

http://proseand.co.nz/2014/02/17/type-programming-shifting-from-values-to-types/

http://proseand.co.nz/2014/03/10/type-programming-recursive-types/

http://proseand.co.nz/2014/03/17/type-programming-constraining-values/

http://proseand.co.nz/2014/03/24/type-programming-constraining-values-with-equivalent-types/

Niektoré sú videa, a niektoré maju pokračovania.

Ak by ste mali ľubovolnú inú prezentáciu (aj veľmi mini, mili, micro či iné násobky) radi ju VŠETCI uvidíme. Téma NESMIE (keď zavreme všetky okále tak môže :) ) byť typelevel programming.