🦞🌯 Lobster Roll

Thread

Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra (cl.cam.ac.uk)

Stories related to "Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra" across the full archive.

Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra (cl.cam.ac.uk)
Functional pearls (haskell.org)
Abstracting Definitional Interpreters (Functional Pearl) (david.darais.com)
The Next 700 Compiler Correctness Theorems (Functional Pearl) (dbp.io)
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) (dl.acm.org)
HasChor: Functional Choreographic Programming for All (Functional Pearl) (dl.acm.org)
More Fixpoints! (Functional Pearl) (dl.acm.org)
> Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately, if the input is “too recursive”, these very elegant idioms can fall into the dreaded black hole, and the programmer has to resort to more pedestrian approaches. > >...
Ghosts of departed proofs. (functional pearl) (2018) (iohk.io)
Invertible Syntax Without the Tuples (Functional Pearl) (arxiv.org)
A Clash Course in Solving Sudoku (Functional Pearl) [pdf] (unsafeperform.io)
Functional Programming for the Object Oriented Programmer (commercial ebook) (leanpub.com)
Work in progress; the last two chapters are not yet in the book. Got a ringing endorsement from [Uncle Bob Martin](http://blog.8thlight.com/uncle-bob/2012/08/24/functional-programming-for-the-object-oriented-programmer.html).
Bugs, TDD and Functional Programming (dcsobral.blogspot.com)
Neo - Y-Not? - Adventures in Functional Programming (Part I) (neo.com)
Functional programming in object oriented languages (2010) (harukizaemon.com)
Map/Reduce Style Functional Programming with Go (programwith.us)
Bacon.js Makes Functional Reactive Programming Sizzle | Flowdock (blog.flowdock.com)
Functional C Programming: Higher order functions, closures, lifted types… (blog.charlescary.com)
Timid Development - a dysfunctional process (mattvanhorn.com)
Rodgers and Hart’s dysfunctional partnership (theatlantic.com)
Before Rodgers ran with Hammerstein, he worked with Lorenz Hart – a generous, ebullient gnome of a man, and a desperate drunk… more »
Callbacks are imperative, promises are functional: Node’s biggest missed opportunity (blog.jcoglan.com)
A Simple, Functional, Merkle Tree Implementation in Scala (blog.adelbertc.com)
Intro to Functional Reactive Programming with Bacon.js and ClojureScript (youtube.com)
The code is pretty much unreadable in the video, but you can follow along on GitHub: https://github.com/Cicayda/yolk-examples/blob/master/src/yolk_examples/client/autocomplete.cljs https://github.com/Cicayda/yolk-examples/blob/master/src/yolk_examples/client/dragdrop.cljs
Why Functional Programming Matters [1990] (cs.kent.ac.uk)
Helm, a functionally reactive game engine for Haskell (helm-engine.org)
Idris is a general purpose pure functional programming language with dependent types. (idris-lang.org)
Functional Programming for the Object-Oriented Programmer (leanpub.com)
Purely Functional Retrogames, Part 1 (prog21.dadgum.com)
gherkin: a functional programming language and interpreter written in GNU Bash 4 (github.com)
Functional programming is a ghetto (michaelochurch.wordpress.com)
What's new in purely functional data structures since Okasaki? (cstheory.stackexchange.com)