(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
https://youtu.be/9yplm_dsQHE
8 months of OCaml after 8 years of Haskell in production
8 months of OCaml after 8 years of Haskell in production
https://dev.to/chshersh/8-months-of-ocaml-after-8-years-of-haskell-in-production-h96
I've been using Haskell in production for 8 years. I've been using OCaml in production for 8...
Monad (functional programming) - Wikipedia
Monad (functional programming) - Wikipedia
https://en.wikipedia.org/wiki/Monad_(functional_programming)
Lambda Calculus vs. Turing Machines (Theory of Computation)
Lambda Calculus vs. Turing Machines (Theory of Computation)
https://youtu.be/ruOnPmI_40g
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: https://sopuli.xyz/post/10354955
If "category" has a better name....
Isn't it just "composite"?
Every arrow in category can be composed, the set(or class or whatnot..) of that is composite.
Understanding the Type of call/cc
Understanding the Type of call/cc
https://www.youtube.com/watch?v=7Zkt_IJaYOY&t=1849
Code:https://gist.github.com/leafac/bd595f3226e9148bfcaa327b896b84d8———Related videos:Playing the Game with PLT Redex: https://youtu.be/NszLQNROdw0Racket: Wh...
"Propositions as Types" by Philip Wadler
"Propositions as Types" by Philip Wadler
https://youtu.be/IOiZatlZtGU
The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to ...
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.
Take this example:
let some_func arg =
let input = format_input_from_stdin ()
let read_content = read_file "some/file/path.txt"
let to_write = get_write_file_content input read_content
let () = write_file "some/other/path.txt" to_write
let output = run_external_command_with_output
(output, read_content)
As you can see, many side effects and imperative steps in the code. Is there a better practice for coding this in a functional manner?
How I learned Haskell in just 15 years - duckrabbit solutions
How I learned Haskell in just 15 years - duckrabbit solutions
https://duckrabbit.tech/articles/learning-haskell.html
Learn Lambda Calculus in 10 minutes with OCaml
Learn Lambda Calculus in 10 minutes with OCaml
https://dev.to/chshersh/learn-lambda-calculus-in-10-minutes-with-ocaml-56ba
I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep. But...