🦞🌯 Lobster Roll

Thread

Delimited Continuations, Demystified (2023) (youtube.com)
L 6 pts 1 comments by agent281 Apr 10, 2024 compscihaskellvideo thread

Stories related to "Delimited Continuations, Demystified (2023)" across the full archive.

Delimited Continuations, Demystified (2023) (youtube.com)
L 6 pts 1 comments by agent281 Apr 10, 2024 compscihaskellvideo Programming Languages / CS Theory thread
Continuations and Exceptions (jozefg.bitbucket.org)
L 3 pts 0 comments by Axman6 Apr 15, 2014 compscihaskell Programming Languages / CS Theory thread
From delimited continuations to algebraic effects in Haskell (blog.poisson.chat)
L 9 pts 0 comments by ehamberg Jan 2, 2023 haskell Programming Languages / CS Theory thread
Haskell prelude using GHC's new data kind promotion (blog.atnnn.com)
L 3 pts 1 comments by luke Sep 7, 2012 compscihaskell Programming Languages / CS Theory thread
The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler (aosabook.org)
L 7 pts 1 comments by inactive-user Sep 18, 2012 compilerscompscihaskellscaling Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
From Ruby to Haskell, Part 1: Testing (bendyworks.com)
L 15 pts 1 comments by rbxbx Dec 6, 2012 compscihaskellruby Programming (General)Programming Languages / CS Theory thread
So güd.
LL and LR Parsing Demystified (blog.reverberate.org)
L 6 pts 0 comments by pushcx Aug 10, 2013 compsci Programming Languages / CS Theory thread
Project by @bos31337 that uses "crit-bit trees" to teach Haskell (github.com)
L 2 pts 0 comments by old_sound Jan 6, 2014 compscihaskell Programming Languages / CS Theory thread
Implementing a JIT Compiler with Haskell and LLVM (stephendiehl.com)
L 8 pts 0 comments by jm Jan 9, 2014 compilerscompscihaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
A great series of posts on the power of monoids (reddit.com)
L 14 pts 2 comments by old_sound Mar 23, 2014 compscihaskellmath Programming Languages / CS TheoryScience / Math / Physics thread
The Axis of Eval: Why Lisp is a Big Hack (And Haskell is Doomed to Succeed) (axisofeval.blogspot.ca)
L 6 pts 0 comments by rz Mar 30, 2014 compscihaskelllispprogramming Programming (General)Programming Languages / CS Theory thread
Typeclassopedia - HaskellWiki (haskell.org)
L 6 pts 0 comments by Axman6 Apr 29, 2014 compscihaskell Programming Languages / CS Theory thread
Hylomorphisms and treesort (5outh.github.io)
L 7 pts 0 comments by beala May 1, 2014 compscihaskellprogramming Programming (General)Programming Languages / CS Theory thread
The Algebra of Algebraic Data Types (youtu.be)
L 9 pts 1 comments by beala May 17, 2014 compscihaskellvideo Programming Languages / CS TheoryScience / Math / Physics thread
The Curse of the Excluded Middle (queue.acm.org)
L 8 pts 3 comments by animatronic May 28, 2014 compscierlanghaskelllisppractices Programming Languages / CS TheoryProductivity / Career / Business thread
The Implementation of Functional Programming Languages, by Simon Peyton Jones (research.microsoft.com)
L 18 pts 2 comments by craigstuntz Jun 13, 2014 compscihaskellmath Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
$200 from Amazon or free from Simon Peyton Jones's site.
Tangible Functional Programming (conal.net)
L 5 pts 0 comments by animatronic Jun 28, 2014 compscihaskelllisppdfpractices Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Abusing the algebra of algebraic data types - why does this work? (stackoverflow.com)
L 13 pts 1 comments by tomjakubowski Jun 30, 2014 compscihaskell Programming Languages / CS TheoryScience / Math / Physics thread
This question led to a series of related blog posts by the author: * [The Algebra of Algebraic Data Types](http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/) * [The Algebra of Algebraic Data Types, Part 2](http://chris-taylor.github.io/blog/2013/02/11/the-algebra...
Qualified Types: Theory and Practice (cs.ox.ac.uk)
L 5 pts 0 comments by gclaramunt Jul 24, 2014 compscihaskellmlpdf Programming Languages / CS Theory thread
Just LOOK at the humongous type that Hindley-Milner infers for this tiny program! (spacemanaki.com)
L 2 pts 0 comments by ntalbott Aug 4, 2014 compscihaskellml Programming (General)Programming Languages / CS Theory thread
Algebraic Terraforming: Trees from Magma (fpcomplete.com)
L 4 pts 2 comments by apy Aug 6, 2014 compscihaskellprogramming Programming (General)Programming Languages / CS Theory thread
The Essence of Dataflow Programming (cs.ioc.ee)
L 4 pts 0 comments by alilleybrinker Aug 8, 2014 compscihaskellpdf Programming (General)Programming Languages / CS Theory thread
Typing Transducers (as Kleisli arrows) (tel.github.io)
L 4 pts 2 comments by tel Aug 10, 2014 compscihaskelllisp Programming Languages / CS Theory thread
When Rich Hickey announced Transducers a few days ago I got excited. They felt very similar to some CPS transformation tricks I'd begun to analyze deeply in Haskell. Thus, I tried to translate the concept into Haskell. This seems to have inspired a few others to examine this avenue. This post is ...
Clojure's Transducers are Perverse Lenses (reddit.com)
L 3 pts 0 comments by hao Aug 10, 2014 compscihaskell Programming Languages / CS Theory thread
Building cyclic lists, extensionally (perso.ens-lyon.fr)
L 3 pts 0 comments by hao Aug 19, 2014 compscihaskell Programming Languages / CS Theory thread
Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org)
L 11 pts 7 comments by tel Aug 27, 2014 compscihaskell Programming Languages / CS Theory thread
The Ivory Language is an eDSL for safe systems programming (ivorylang.org)
L 17 pts 4 comments by SeanTAllen Sep 1, 2014 compscihaskellsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell.
Tower is a concurrency framework for the Ivory language. (github.com)
L 8 pts 1 comments by SeanTAllen Sep 1, 2014 compscihaskell Programming (General)Programming Languages / CS Theory thread
Tower is a concurrency framework for the Ivory language. Tower composes Ivory programs into tasks which communicate via shared state and synchronous channels. At the moment, Tower includes a backend targeting the FreeRTOS operating system.
CompSci Talks: The LCA Problem Revisited by Leif Walsh (hakkalabs.co)
L 5 pts 0 comments by zeeshanlakhani Sep 10, 2014 compscivideo Programming Languages / CS Theory thread
Functional pearls (haskell.org)
L 14 pts 1 comments by japesinator Nov 1, 2014 compscihaskellprogramming Programming (General)Programming Languages / CS Theory thread