Anatolii Kmetiuk at #ScalaUA - An argument against functional programming

preview_player
Показать описание
Anatolii Kmetiuk - An argument against functional programming - ScalaUA-2020 Conference

Abstract:
In this talk, I’d like to discuss immutability, purity, category theory and why you do not need these to write sane code.
Slides:

ScalaUA-2020 Conference
Kyiv, Ukraine (Online) April 3-4, 2020

Follow ScalaUA Conference on Twitter:
  1. ScalaUA Conference
Рекомендации по теме
Anatolii Kmetiuk at 0:10:39

Anatolii Kmetiuk at #ScalaUA - Theory of Constraints in Programming: Beyond Problem-Solving

Anatolii Kmetiuk at 0:20:22

Anatolii Kmetiuk at #ScalaUA - Theory of Constraints in Programming: Beyond Problem-Solving

Anatolii Kmetiuk at 1:06:29

Anatolii Kmetiuk at #ScalaUA - An argument against functional programming

Anatolii Kmetiuk - 0:44:25

Anatolii Kmetiuk - Practical Introduction to Basic Cats Typeclasses. ScalaUA2018

Scale By the 0:01:33

Scale By the Bay 2021 intro video by Anatolii Kmetiuk

Introduction to functional 1:13:12

Introduction to functional JSON APIs with Finch, Anatolii Kmetiuk

Rewriting Engine for 1:02:52

Rewriting Engine for Process Algebra. Anatolii Kmetiuk. ScalaUA2017

Scale By The 0:29:41

Scale By The Bay 2021 : Anatolii Kmetiuk, Troubleshooting Techniques for Complex Codebases

Porting an ecosystem 0:46:33

Porting an ecosystem from Scala 2 to Scala 3 by Anatolii Kmetiuk at Scala in the City

Pavel Bastecky at 0:22:53

Pavel Bastecky at #ScalaUA - Tower-street attack simulator

Vitalii Honta at 1:04:04

Vitalii Honta at #ScalaUA - Scala 3 in action

Ayush Mittal at 0:42:00

Ayush Mittal at #ScalaUA - Effectful* programming in Scala

Ruslan Shevchenko at 0:30:26

Ruslan Shevchenko at #ScalaUA - Can we free FP from the monadic style?

Miklós Martin at 0:27:01

Miklós Martin at #ScalaUA - Scheduling and retrying effects with cats

Michał Kowalczykiewicz at 0:37:10

Michał Kowalczykiewicz at #ScalaUA - Love Affair Between Functional & Declarative Programming

Michał Płachta - 0:47:44

Michał Płachta - Freestyle, Free & Tagless: Separation of Concerns on Steroids. ScalaUA2018

Yaroslav Hryniuk - 0:21:40

Yaroslav Hryniuk - Bring Functional Programming to production. ScalaUA2018

Daan van Berkel 0:57:39

Daan van Berkel at #ScalaUA - Fractan; deconstructing an esoteric programming language

Jakub Kozłowski - 0:45:06

Jakub Kozłowski - Irresistible party tricks with cats-tagless

Jakub Kozłowski at 0:39:39

Jakub Kozłowski at #ScalaUA - Conquering Concurrency with Functional Programming

Karl Brodowsky - 0:42:06

Karl Brodowsky - The unexpected difficulties when moving to Scala. ScalaUA2018

Pavel Shirshov & 0:38:30

Pavel Shirshov & Michael Feldman at #ScalaUA - distage: Modern Dependency Injection for Scala

Eric Loots at 0:40:24

Eric Loots at #ScalaUA - First experiences with Akka Typed and Dotty

Shared State in 0:40:07

Shared State in Pure FP - JVM Roundabout - October 2019

Комментарии
Автор

Dynamic programming is "naturally" backwards, and therefore can be naturally expressed with codata/comonad like "decompositions". Unfortunately it is hard to implement co- like algos with a classical composition style without dragging together the two levels of semantics, one which captures the specifics of your problem, the other to capture the "decompositions" with compositions. The result is then the messy code shown here. The conclusion of FP's failings might be different if FP environments naturally led to efficient comonadic and profunctor based implementations.

statebased