Instantly share code, notes, and snippets.

@yelouafi Yassine Elouafi yelouafi

@yelouafi yelouafi / algebraic-effects-series-4.md
Last active Oct 8, 2018
Implementing Algebraic Effects and Handlers
View algebraic-effects-series-4.md

Algebraic Effects in JavaScript part 4 - Implementing Algebraic Effects and Handlers

This is the final part of a series about Algebraic Effects and Handlers.

So we've come to the core topic. The reality is that we've already covered most of it in the previous parts. Especially, in the third part, where we saw delimited continuations at work.

@yelouafi yelouafi / algebraic-effects-series-3.md
Last active Oct 2, 2018
Delimited Continuations
View algebraic-effects-series-3.md
@yelouafi yelouafi / algebraic-effects-series-2.md
Last active Oct 2, 2018
Capturing continuations with Generators
View algebraic-effects-series-2.md

Algebraic Effects in JavaScript part 2 - Capturing continuations with Generators

This is the second part of a series about Algebraic Effects and Handlers.

Note: initially I planned a 3-part series, but since the current post on undelimited continuations ended up taking

@yelouafi yelouafi / multishot-callcc.js
Created Sep 21, 2018
multi shot continuations
View multishot-callcc.js
function isGenerator(x) {
return x != null && typeof x.next === "function"
}
function isFrame(x) {
return x != null && x._type_ === 'call_frame'
}
function call(genFunc, ...args) {
@yelouafi yelouafi / algebraic-effects-series-1.md
Last active Oct 15, 2018
Operational Introduction to Algebraic Effects and Continuations
View algebraic-effects-series-1.md

Algebraic Effects in JavaScript part 1 - continuations and control transfer

This is the first post of a series about Algebraic Effects and Handlers.

There are 2 ways to approach this topic:

  • Denotational: explain Algebraic Effects in terms of their meaning in mathematics/Category theory
  • Operational: explain the mechanic of Algebraic Effects by showing how they operate under a chosen runtime environment

Both approaches are valuables and give different insights on the topic. However, not everyone (including me), has the prerequisites to grasp the concepts of Category theory and Abstract Algebra. On the other hand, the operational approach is accessible to a much wider audience of programmers even if it doesn't provide the full picture.

@yelouafi yelouafi / delimited-continuations.js
Last active Oct 11, 2018
delimited continuations using javascript generators
View delimited-continuations.js
// We model the call stack using a linked list of Generators
// Each Generator has a _return field pointing back to its parent
function stepGen(gen, arg) {
const {done, value} = gen.next(arg)
if(done) {
if(gen._return) {
stepGen(gen._return, value)
}
@yelouafi yelouafi / abort.js
Last active Sep 6, 2018
callcc with javascript generators
View abort.js
function*example() {
const x = 10
const y = yield callcc(function*(k) {
// ...
yield k(20)
throw "Unreachable code"
})
console.log(x + y)
}
@yelouafi yelouafi / introduction-to-parser-combinators.md
Last active Oct 12, 2018
View introduction-to-parser-combinators.md

In this tutorial we're going to build a set of parser combinators.

What is a parser combinator?

We'll answer the above question in 2 steps

  1. what is a parser?
  2. and.. what is a parser combinator?

So first question: What is parser?

@yelouafi yelouafi / App.js
Last active Jul 19, 2017
put your react component in a closure
View App.js
import React from 'react';
import reclass from './reclass';
import Greeter from './Greeter';
function App(ctx) {
ctx.state = { civility: 'Mr.' };
function changeCivility(e) {
ctx.setState({ civility: e.target.value });
}
@yelouafi yelouafi / SimpleSagaMiddleware.html
Last active Mar 12, 2017
A simplified implementation of redux-saga middleware
View SimpleSagaMiddleware.html
<!doctype html>
<html lang="en">
<body>
<script>
const sagaMiddleware = store => gen => {
var resolve, reject
var done = new Promise((res, rej) => {
resolve = res