Yassine Elouafi yelouafi

## gist:e25b8ebc7b0b52dd4268f0d7b53040e6
<!DOCTYPE html>
<html>

<head>
    <title>THREE.JS WORLD</title>
    <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/three.js/r73/three.js"></script>
    <style>
        body {
            /* set margin to 0 and overflow to hidden, to
             use the complete page */

## AlgJ.hs

{-# Language TypeSynonymInstances, FlexibleInstances #-}

module Algj where

import Debug.Trace
import Data.Maybe
import qualified Data.Map as M
import qualified Data.Set as S
import Control.Monad.Trans.State

## Algw.hs

{-# Language TypeSynonymInstances, FlexibleInstances #-}

module Algw where

import Data.Maybe
import qualified Data.Map as M
import qualified Data.Set as S
import Control.Monad.Trans.State

## algebraic-effects-series-4.md

      
              1 file
            
          
              1 fork
            
          
              2 comments
            
          
              25 stars
            
          
                yelouafi
                / algebraic-effects-series-4.md
            
            
              Last active
              November 12, 2022 03:58
            
              
                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
            
          
              12 stars
            
          
                yelouafi
                / algebraic-effects-series-3.md
            
            
              Last active
              June 8, 2022 03:15
            
              
                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
            
          
              12 stars
            
          
                yelouafi
                / algebraic-effects-series-2.md
            
            
              Last active
              March 14, 2022 06:40
            
              
                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
            
          
              2 forks
            
          
              6 comments
            
          
              66 stars
            
          
                yelouafi
                / algebraic-effects-series-1.md
            
            
              Last active
              March 2, 2023 06:31
            
              
                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)
}
	<!DOCTYPE html>
	<html>

	<head>
	<title>THREE.JS WORLD</title>
	<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/three.js/r73/three.js"></script>
	<style>
	body {
	/* set margin to 0 and overflow to hidden, to
	use the complete page */

	{-# Language TypeSynonymInstances, FlexibleInstances #-}

	module Algj where

	import Debug.Trace
	import Data.Maybe
	import qualified Data.Map as M
	import qualified Data.Set as S
	import Control.Monad.Trans.State

	{-# Language TypeSynonymInstances, FlexibleInstances #-}

	module Algw where

	import Data.Maybe
	import qualified Data.Map as M
	import qualified Data.Set as S
	import Control.Monad.Trans.State

	function isGenerator(x) {
	return x != null && typeof x.next === "function"
	}

	function isFrame(x) {
	return x != null && x._type_ === 'call_frame'
	}

	function call(genFunc, ...args) {

	// 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)
	}
	function*example() {
	const x = 10
	const y = yield callcc(function*(k) {
	// ...
	yield k(20)
	throw "Unreachable code"
	})
	console.log(x + y)
	}