Found an interesting idea in this post: using
#kotlin #coroutine #fp
suspend modifier to mark all non-pure functions and to prevent us from invoking those functions from the pure ones. The idea becomes especially interesting with Redux-like approaches. #kotlin #coroutine #fp
👨💻 Jorge Castillo
Tracking side effects at compile time with suspend
Thinking of suspend as a Kotlin stdlib mechanism for flagging and tracking effects at compile time. Going declarative Functional Programming puts a lot of emphasis on achieving concern separation between the pure logics of a program (algebras) and the runtime…
If using multiple nested
#arrowkt #fp #library
.copy calls on data classes is your case for whatever reason, take a look at this post, Arrow-kt will probably make your life a bit easier. #arrowkt #fp #library
The idea to show explicitly in a return type that function can fail is not new, yet still not mainstream either. In this post author shows us how to implement such Result monad in Kotlin. The implementation itself is not perfect (in which universe
#fp #monad #kotlin
val reason: String is enough to describe an error?), but good enough. #fp #monad #kotlin
Medium
And the Result is a monad
Adding superpowers to a custom type
.flatMap, .filter and .reduce are nothing new these days. In this post you'll learn the .traverse. All these functional thingies are always interesting and fancy, but do they make our code more readable? I'm not sure. #fp
Medium
Advanced FP for the Enterprise Bee: Traverse
Introduction
An entertaining talk with a brief history of different programming languages, a nice complement for your evening: "Why Isn't Functional Programming the Norm?"
#talk #fp #language
#talk #fp #language
YouTube
Why Isn't Functional Programming the Norm? – Richard Feldman
Richard is a member of the Elm core team, the author of Elm in Action from Manning Publications, and the instructor for the Intro to Elm and Advanced Elm courses on Frontend Masters. He's been writing Elm since 2014, and is the maintainer of several open…
In Morgan Stanley they've built a system that is able to take your simple linear code and to batch / parallel it automatically.
#talk #fp #monad
#talk #fp #monad
YouTube
"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)
Traditionally, libraries that support asynchronous execution invade the type system, with monad-like constructs changing function signatures, and execution concerns inevitably leaking into business logic.
Our platform is different. Automated asynchronous…
Our platform is different. Automated asynchronous…
I've decided to dedicate this whole week to this wonderful series in prose. Enjoy!
Reversing the technical interview
#interview #humor #fp
Reversing the technical interview
“That’s not a list,” the interviewer says. “That’s an if statement.”
“What else are lists,” you reply, your eyes flashing#interview #humor #fp
Hexing the technical interview
#interview #humor #fp
“We’re, uh, we’re not doing IO here. Just an in-memory list.”
Agree politely, but delete nothing. Never apologize for who you are.#interview #humor #fp
😁1
Typing the technical interview
#interview #humor #fp
“You’re… defining the natural numbers by hand? Why?”
“Haskell is for mathematicians,” you explain. “We always define our terms.”#interview #humor #fp
Rewriting the Technical Interview
#interview #humor #fp
“People always complain,” you murmur. “That Lisps have too many parentheses. What they really mean is that their positions are too far to the left.”#interview #humor #fp
Unifying the Technical Interview
#interview #humor #fp
“You absolute madwoman,” Aisha chortles. “You can’t remember how to balance a binary tree, but you memorized µKanren?”#interview #humor #fp
And a little bonus à la fanfic.
Typescripting the technical interview
#interview #humor #fp
Typescripting the technical interview
“Okay, that looks like a correct solution, but the code is quite hard to follow, and it’s not very concise.” he asserts, wrongly.
“Oh it’s mostly just TypeScript boilerplate. I think you’ll find once it’s compiled down to JavaScript it’s perfectly concise.” you reassure him.
Invoke the compiler#interview #humor #fp
Richard-Towers
Richard Towers | Typescripting the technical interview
An homage to Aphyr's Typing the technical interview
👍1