Избранные доклады с 6th FUNCTIONAL PROGRAMMING CONFERENCE, проходившей 25 января 2020г. в Минске https://fby.dev/ четыре часа с перерывом на чай.
Состав докладов выбирают те, кто подойдет на мероприятие. Обратите внимание, что подавляющее большинство докладов на английском языке.
1. Introduction to type-proofs in Kotlin (Imran Settuba)
Type-proofs are powered by Arrow Meta - a meta-programming library and functional companion to the Kotlin Compiler and IDE. Type-proofs open the door to the Kotlin typesystem and establish a trust relationship with the Kotlin compiler where users can define functions between 2 types.
2. How to grasp functors and monads and don't even notice it (Henadz Varantsou)
Main abstractions from category theory, such as functors and monads, are mentioned and used quite often for writing programs in fuctional style. Nevertheless most of the guides and articles explain concepts of functor and monads purely from practical point of view, showing only which methods must be implemented and which laws these implementations must obey but missing the part where all of this come from. This might cause troubles with reading and understanding code which relies on these concepts heavily. In this talk I'm going to explain what is the essense of functor and monad from the category theory point of view and what is the profit of using them in functional programming (Scala code examples included).
3. LaTeX DSL for Kotlin (Vitaly Khudobakhshov)
In this talk I'd like to explore this very balanced Kotlin feature set with ultimate goal in my mind: to embed LaTeX-like DSL into Kotlin. I will dwell on Kotlin's pros and cons with respecting to this particular task.
3. Dysfunctional programming with F# (Roman Liman)
People often confuse F# for Haskell on .NET platform. When they find out it's not quite that, they try to upgrade F#. This talk is about what happens on those occasions and how it plays out in production.
4. Dependent types: is this the future we want for our programming languages? (Vitaly Bragilevsky)
Dependent typing has been buzzing around in the functional programming community for a couple of decades. While it provides much more control over our programs and extends the expressivity of type systems to much higher levels, it makes programming much more brain consuming. In most cases, it is quite difficult to persuade the compiler that we are doing the right thing and get our program compiled. In this talk, Vitaly will give many examples of dependent typing in several languages and explain why he's not as excited as a bunch of dependent typing advocates.
Как нас найти:
Отдельный вход со стороны нижней детской площадки
Организатор: GDG Khabarovsk
GDG (Google Developer Groups) — некоммерческое IT сообщество, которому интересны технологии используемые и/или поддерживаемые компанией Google.
Наша основная цель — делиться знаниями. Мы регулярно организуем различные мероприятия, где даём возможность любому участнику сообщества показать себя в качестве спикера. Мы хотим построить дружное сообщество, где каждый сможет поделиться своими идеями и найти поддержку в своих начинаниях. Присоединиться могут все желающие без ограничения по возрасту и уровню знаний!
The Google Developer Group of Khabarovsk, Russia is a local community-ran meetup for developers interested in resources and technology from Google. GDG stands for Google Developer Groups and is a platform offered by Google Developers to support community-run developer groups.
Our main purpose is sharing knowledge. We organize different events, give an opportunity to every gdg-er to try himself as a speaker. Also we want to build a strong community where everyone can share his ideas and find support for its implementation. Everyone and anyone interested in tech — from beginner developers to experienced professionals — are welcome to join. if you’re new to the world of Google technologies, we’re always happy to see new faces.