Monad (functional programming) - Wikipedia (en.wikipedia.org)
Lambda Calculus vs. Turing Machines (Theory of Computation) (youtu.be)
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb…
If "category" has a better name....
cross-posted from: sopuli.xyz/post/10354955...
Understanding the Type of call/cc (www.youtube.com)
cross-posted from: sopuli.xyz/post/9969591...
"Propositions as Types" by Philip Wadler (youtu.be)
How to convert imperative side-effectful program to functional (in Ocaml)?
I’ve been enjoying learning ocaml, but I found it very easy to write code riddled with side effects and imperative-ness....
F# (I think) is of one of few FLs with a super corporation behind it. What can it do because of it?
I wanna see what F# is about, especially now that I am better at FP&Lip. But the Microsoft thing really puts me off. I’m on Linux, I can’t use CLR, I don’t wanna make a WPF application or whatever — so why would I use F#?
How I learned Haskell in just 15 years - duckrabbit solutions (duckrabbit.tech)
Learn Lambda Calculus in 10 minutes with OCaml (dev.to)
Using Ocaml to learn FP. What FP concepts should I touch on?
I just started to learn Ocaml to learn functional programming. I will use it to build a CLI that’s mostly orchestrating other programs....
Concepts of Functional Programming (priver.dev)
Functional Classes (2023) (blog.cleancoder.com)
Come and see this website made for programmers (chat-to.dev)
chat rooms and programming content
15-150: Principles of Functional Programming (brandonspark.github.io)
Gopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost (gopiandcode.uk)
Fearless Tinkering with Nix (www.heneli.dev)
Fixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto? (share.transistor.fm)
A podcast with transcript which may help explain fp to laymen.
The one thing you cannot do in object-oriented programming but you can in functional (www.youtube.com)
Monadic Parsers at the Input Boundary (youtu.be)
Backtracking through Time and Space in Erlang | Quinn Wilton & Robert Virding | Code BEAM Europe 22 (youtu.be)
How did you get started with Functional Programming?
Hello fellow FP-Lemmyites. I'd love to hear stories about what got you interested in FP originally, and how you learned.
Oxidizing OCaml: Rust-Style Ownership | Max Slater - blog.janestreet.com (programming.dev)
In part one, we discussed how OCaml’s locality mode enables safe stack allocation. In this post, we will explore additional modes for representing ownership....
What do people here like better: typed or untyped functional languages?
My first language was Racket and so naturally I gravitated to the lispy untyped functional programming style even when I was using languages like Python or Java, but when I tried Haskell for the first time my mind was absolutely blown and I was a convert ever since. What are your thoughts?