Yassine Elouafi yelouafi

## algebraic-effects-series-4.md

      
              1 file
            
          
              0 forks
            
          
              1 comment
            
          
              10 stars
            
          
                yelouafi
                / algebraic-effects-series-4.md
            
            
              Last active Nov 13, 2019
            
              
                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.

Part 1 : continuations and control transfer
Part 2 : Capturing continuations with Generators
Part 3 : Delimited continuations
Part 4 : Implementing 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.

  
## algebraic-effects-series-3.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              4 stars
            
          
                yelouafi
                / algebraic-effects-series-3.md
            
            
              Last active Nov 13, 2019
            
              
                Delimited Continuations
              
          
      View algebraic-effects-series-3.md
  
    
    Algebraic Effects in JavaScript part 3 - Delimited Continuations
This is the third part of a series about Algebraic Effects and Handlers.

Part 1 : continuations and control transfer
Part 2 : Capturing continuations with Generators
Part 3 : Delimited continuations
Part 4 : Algebraic Effects and handlers

In the preceding parts, we introduced the notions of continuations and control transfer. We saw how to capture the current

  
## algebraic-effects-series-2.md

      
              1 file
            
          
              1 fork
            
          
              0 comments
            
          
              6 stars
            
          
                yelouafi
                / algebraic-effects-series-2.md
            
            
              Last active Nov 13, 2019
            
              
                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.

Part 1 : continuations and control transfer
Part 2 : Capturing continuations with Generators
Part 3 : Delimited continuations
Part 4 : Algebraic Effects and handlers


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


## 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) {

## algebraic-effects-series-1.md

      
              1 file
            
          
              1 fork
            
          
              5 comments
            
          
              41 stars
            
          
                yelouafi
                / algebraic-effects-series-1.md
            
            
              Last active Oct 26, 2019
            
              
                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.

  
## 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)
        }

## abort.js
function*example() {
    const x = 10
    const y = yield callcc(function*(k) {
        // ...
        yield k(20)
        throw "Unreachable code"
    })
    console.log(x + y)
}

## introduction-to-parser-combinators.md

      
              1 file
            
          
              6 forks
            
          
              6 comments
            
          
              85 stars
            
          
                yelouafi
                / introduction-to-parser-combinators.md
            
            
              Last active Oct 27, 2019
            
          
      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

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

So first question: What is parser?

  
## 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 });
  }

## SimpleSagaMiddleware.html
<!doctype html>
<html lang="en">
  <body>
<script>

const sagaMiddleware = store => gen => {

  var resolve, reject
  var done = new Promise((res, rej) => {
    resolve = res