# Od Funktora do Monady

• Feb 20, 2013 · 7:00 PM

Zapraszamy na kolejne, pierwsze po bardzo udanym ScalaCampie, spotkanie KSUGa!

Kontuując wątek rozpoczęty na ostatnim SCKRK Adam Szlachta przedstawi prezentację pod tytułem:

Podstawowe wzorce funkcyjne: od funktora do monady - przykłady użyć i możliwe zastosowania.

The presentation may be delivered in english if we would have english speaking attendees.

Po spotkaniu zachęcamy do przemieszczenia się z nami do pobliskiej knajpy aby dalej dywagować na temat monoidów w kategorii endofunktorów!

Join or login to comment.

• ##### Wieslaw P.

so guys let me nag a little :)
I'm aware the algebra is not my strongest side. It's my gap. I tried to catch it up but I failed. I feel that what was missing is the real understanding of these algebraic beings like functor, monads and so on. I hope I'm wrong but on other hand could anyone of you say how to construct functor between ring and abel group? or between a set of vegetables with shredding operation and juice in a glass if exists? I know I'm OO centric. So I would rather present the programming problem, for example the mentioned 'case chain', and then try to find the remedy and compare it with something from OO universe... and show the math basis not at the end.
Does kid need to understand that Naturals can be defined as the singleton and succ(n)N->N ? It is good naturally but I guess not.
One of the link to Haskell uses this approach to explain, yes I agree - not WHAT monad really is, but WHEN to use it and HOW to construct it. And I think we could start like this too...

February 22, 2013

• ##### Piotr K.

This one was a bit more theoretical but also nice: http://www.codecommit...­

1 · February 22, 2013

• ##### Konrad M.

Shameless plug: We've invited Daniel (codecommit blog == Daniel) to GeeCON this year http://geecon.org­ check it out if you didn't already :-)

February 22, 2013

• ##### Konrad M.

Obiecałem pokazać real life example "po cholerę komu scalaz". Poniżej przykład kodziku z Validation Monad, gdzie dzięki jej zastosowaniu nie musimy manualnie patrzeć czy isRight etc. https://gist.github.com/ktoso/5012875 (Eitherem tego się nie zrobi tak ładnie)

1 · February 22, 2013

• ##### Jerzy M.

Tu jest też fajny DSL oparty na monadzie Endo i for comprehension: http://debasishg.blog...­

1 · February 22, 2013

• ##### Konrad M.

Video ze spotkania: https://vimeo.com/60241916 Urwane po 90 minutach bo się karta zapchała oraz bateria padła ;-) Ale większość spotkania jest nagrane...

1 · February 22, 2013

• ##### Rafal P.

Thanks for the list

February 21, 2013

• ##### Rafal P.

I always like to see math and theory behind language constructs. I liked it and hope to see more examples :)

February 21, 2013

• ##### Tomasz K.

I really enjoyed the presentation. I was a little confused after monoids (maybe less scalaz and more examples would do the trick) and please - draw those trees instead of printing scala console :). I wanted to know the definition of monads after this presentation and I am satisfied.

February 21, 2013

• ##### Adam S.

I'm going to prepare ver. 1.1. of the presentation some time in future and I'll take into account your remarks. Thanks!

1 · February 21, 2013

• ##### Piotr K.

BTW. I think Adam was mentioning today that he could do presentation about differences between scala and haskell. Exactly at the same time ‏@scalabase retwitted this: http://buff.ly/XiWQGJ ;)

2 · February 20, 2013

• ##### Konrad M.

Adam's presentations are very (very) well prepared :-)

February 20, 2013

• ##### Adam S.

2 · February 20, 2013

• ##### Piotr K.

Maybe you also have somewhere pack of this free publications mentioned in bibliography? It would be much easier to download them at once rather than one by one ;)

February 20, 2013

• ##### Jarek P.

very intereting

February 20, 2013

• ##### Piotr K.

For people who would like to read more about functional programming in scala there is nice book available for pre-order: http://www.manning.com/bjarnason/

3 · February 15, 2013

• ##### Konrad M.

I highly recommend that book :-)

February 15, 2013

• ##### Tomasz L.

Good to hear that, yesterday I bought it and I wasn't sure if it really was a good choice;)

February 19, 2013

### Kraków, Poland

Founded Dec 24, 2012

#### People in this Meetup are also in:

• ##### Pykonik, Kraków Python User Group

898 Pythonistas

• ##### Polish Java User Group

2,174 Members

• ##### DataKRK (formerly Cracow Hadoop User Group)

1,589 Members

• ##### Hackerspace Kraków

1,244 Hackers

• ##### GDG Kraków

1,617 Members

262 Members