📜 ⬆️ ⬇️

We invite you to the December Moscow mitap RuHaskell

On Sunday, December 6, 2015, at 12:00, the RuHaskell community invites functional programmers and everyone to the next meeting! The event will be held in Moscow, on the street. Lev Tolstoy, d. 16 , in the Yandex office, Extropolis Hall.



Sergey Zefirov will talk about using the log merging tree (log structured merge tree) as a database repository. Sharing knowledge about how to make a fast database repository, with guarantees of reliability, with different levels of isolation and not go crazy. In the process of the story, go through B + -tree and so on.

Anton Kholomiev will continue the musical theme begun on the previous mitap by explaining the monads from the point of view of drummers.
')
Maxim Taldykin will tell about dependent types in GHC 8.0, why they are needed, why they had to wait so long, and what is the difference from Coq and Idris.

Denis Redozubov will teach how to improve web services with the help of Servant.

Alexander Vershilov will talk about the possibilities and problems of the FFI (foreign function interface) and show examples of its use.

After the presentations, there will be an opportunity to talk with the speakers and
listeners in an informal setting.

Event registration : ruHaskell.org . By the way, it is on the website of our community, where you can subscribe to RSS with useful articles and announcements of Haskell events.

Source: https://habr.com/ru/post/271213/


All Articles