diode.zone Category Theory moved to video.infosec.exchange
Moved to https://video.infosec.exchange/a/andybalaam
Idris, Haskell, Elm, Mercury, etc. and sometimes even functional programming paradigms in imperative languages
Members
209
Posts
5
Active Today
4
Created
5 yr. ago
-
Functional Programming @lemmy.ml andybalaam @lemmy.ml Category Theory videos by Bartosz Milewski
I'm cleaning audio and reposting (with permission) these amazing videos on Category Theory for Programmers by Bartosz Milewski.
-
Functional Programming @lemmy.ml marcuse1w @lemmy.ml Erlang OTP 24 Release Candidate 1
www.erlang.org OTP 24.0 Release Candidate 1 - Erlang/OTPThe official home of the Erlang Programming Language
Highlights:
- The BeamAsm JIT-compiler has been added to Erlang/OTP and will give a significant performance boost for many applications.
- The JIT-compiler is enabled by default on most x86 64-bit platforms
-
Functional Programming @lemmy.ml marcuse1w @lemmy.ml alistairb.dev Reflections On Using Haskell For My StartupAlmost exactly one year ago I quit my job to create a Haskell startup as a solo developer. I had about 20 ideas, but eventually settled on the idea of dependency project health tracking with Deadpendency.
Advantages and challenges with Haskell
-
Functional Programming @lemmy.ml uhoh @lemmy.ml What language should I choose?
I'm working on a universal tic-tac-toe backend that can be communicated with in any language via RPC. Should I chose Rust, or a higher level functional language like Haskell?
-
Functional Programming @lemmy.ml pangyuehung @lemmy.ml Kevin Mahoney: Tests vs Types
kevinmahoney.co.uk Tests vs TypesWhen should you use tests and when should you use types? What information and guarantees do we get for our efforts?