yelouafi

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?

idibidiart

const fetch = (url) => { 
	return new Promise((resolve, reject) => {
         setTimeout(() => {
             console.log(url)
             switch(url.match(/\d[aA-zZ]$/)[0]) {
               case "1a":
		  resolve({name: "Seb"})	     
                  // or try this instead: 
	          // reject({error: "something went wrong while fetching " + url})
               break;

sebmarkbage

let cache = new Map();
let pending = new Map();

function fetchTextSync(url) {
  if (cache.has(url)) {
    return cache.get(url);
  }
  if (pending.has(url)) {
    throw pending.get(url);
  }

gcanti

Technical overview

A basic Option type

// Option.ts

// definition
export class None {
  readonly tag: 'None' = 'None'

b-studios

When defining complex functions in pointfree style, I often find myself switching to pointful style. Sometimes, I even convert to ANF and annotate the types to understand the steps.

After completing the function definition, I often convert back to pointfree style for conciseness. End of the story: To understand it again a couple of weeks later, I start expanding to annotated pointful again.

The small 10-lines library at the end of this post allows to define pointfree functions with intermediate type annotations.

Credits: Agda and EqReasoning for syntactical inspiration.

eiriktsarpalis

open System
open System.Runtime.CompilerServices

type SymbolicException =
    {
        Source : Exception
        Stacktrace : string list
    }

module SymbolicException =

jdegoes

Applied Functional Programming with Scala - Notes

Copyright © 2016-2018 Fantasyland Institute of Learning. All rights reserved.

1. Mastering Functions

A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.

val square : Int => Int = x => x * x

enghqii

using System;
using System.Collections;
using System.Collections.Generic;

namespace Generator3
{
    class Program
    {
        // classic Generator
        static IEnumerable<string> Script()

safareli

• Monads are Trees with Grafting
• Understanding F-Algebras
• The Interpreter Pattern Revisited
• Difference between free monads and fixpoints of functors?
• What is the “Free Monad + Interpreter” pattern?
• What are free monads?
• ScalaZ - Getting to grips with the Free Monad
• A Modern Architecture for FP
• Freer Monad, More Extensible Effects
• Dead-Simple Dependency Injection

Avaq

const I  = x => x
const K  = x => y => x
const A  = f => x => f (x)
const T  = x => f => f (x)
const W  = f => x => f (x) (x)
const C  = f => y => x => f (x) (y)
const B  = f => g => x => f (g (x))
const S  = f => g => x => f (x) (g (x))
const S_ = f => g => x => f (g (x)) (x)
const S2 = f => g => h => x => f (g (x)) (h (x))