What Functional Programmers Get Wrong About Systems - Ian Duncan

distributed systems functional systems

TLA modeling tips

cs functional

Monoid-augmented FIFOs, deamortised - Paul Khuong: some Lisp

datastructures functional

Competitive Programming in Haskell: stacks, queues, and monoidal sliding windows

functional

Functors to Monads: A Story of Shapes in Code

functional

Four Lectures on Standard ML

cs functional papers

Functional programming self-affirmations - NorikiTech

cs functional

Functional Arrays in Elixir and Erlang

datastructures elixir functional

Announcing Bumblebee: GPT2, Stable Diffusion, and more in Elixir - Livebook.dev - The Livebook Blog

elixir functional machine learning

Algebraic Data Types in Elixir | AppSignal Blog

elixir functional

Functional Programming in Elixir with Witchcraft | AppSignal Blog

elixir functional

Software Foundations

Looks like a nice series of texts on computer science, formal verfication, etc.

cs functional papers

Partial Function Application as a Design Pattern | Will Crichton

functional

Functional Data Structures

datastructures functional

Running FFmpeg on AWS Lambda for 1.9% the cost of AWS Elastic Transcoder

distributed systems functional

Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

cs functional papers

Elm to PureScript cheatsheet

elm functional javascript

learn you an elm

elm functional

Monoids: what they are, why the are useful, and what they teach us about software

cs functional math

ML For the Working Programmer full text

functional

expede/witchcraft: Monads and other dark magic for Elixir

elixir functional

Elm In Production: 25,000 Lines Later | Christian Charukiewicz

elm functional

Introduction to TLA+

functional

Category Theory, Syntactically

cs functional

Programming in the Point-Free Style

cs functional

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

cs functional

The Theory of Concatenative Combinators

cs functional

The Essence of Functional Programming by Philip Wadler

cs functional papers

Intro to FRP in Elm

elm functional

Functional C - Kevlin Henney on Vimeo

cplusplus functional

Category Theory for Scientists

functional papers

The easy way to implement a Red-Black tree

functional

Category theory for beginners

functional

0a explains: Set Theory and Axiomatic Systems (with pics and gifs)

functional

Category Theory (Stanford Encyclopedia of Philosophy)

functional

bitemyapp - Functional Education

functional

jQuery Combinators

functional

Transducers.js: A JavaScript Library for Transformation of Data

explaining transducers using JS.

functional

Stuff Goes Bad: Erlang in Anger

Free ebook on debugging Erlang systems.

distributed systems erlang functional

Monads Without Pretension

Monad tutorial using Python and objects.

functional