susisu

/* eslint-disable no-var, vars-on-top, no-param-reassign */

function redirect(uri) {
  // remove repeated slashes
  uri = uri.replace(/\/+/g, "/");
  // remove trailing slash
  if (uri !== "/" && uri.endsWith("/")) {
    uri = uri.slice(0, -1);
  }
  return uri;

susisu

// Type-level Brainfuck interpreter in TypeScript
// Copyright (c) 2020 Susisu ([email protected])

type State<P, M, I, O, R, K> = {
  program: P,
  memory: M,
  input: I,
  output: O,
  return: R,
  skip: K,

susisu

import * as lq from "@loquat/simple";

const key = Symbol("handle");

type PerformFunc = <U>(parser: lq.Parser<U>) => U;

export function handle<T>(func: (perform: PerformFunc) => T): lq.Parser<T> {
  return new lq.StrictParser(state => {
    let currentState = state;
    let currentErr = lq.ParseError.unknown(state.pos);

susisu

const ref = <T>(f: (x: T) => T) => {
  const r = { val: f };
  return () => r;
};
const id = <T>(x: T) => x;

// r: <T>() => { val: (x: T) => T }
const r = ref(id);
// unsafe instantiations of r
const r1 = r<number>();

susisu

const apply = <T, U>(f: (x: T) => U) => (x: T) => f(x);
const foo = <T extends { foo: number }>(x: T) => x.foo;
const foo2 = apply(foo);  // : (x: {}) => number;
foo({ foo: 1, bar: 2 });  // OK
foo({});                  // error
foo2({ foo: 1, bar: 2 }); // OK
foo2({});                 // OK???

susisu

-- tf-random 0.5
import System.Random.TF.Gen

-- Utility functions to choose one of splitted generators.
left  g = let (g', _) = split g in g'
right g = let (_, g') = split g in g'

-- Initialize a generator (the seed is not relevant).
gen = seedTFGen (0, 0, 0, 0)
-- Let `b` be the tree position bits of a generator and `bi` the index in it. Now `b` and `bi` of

susisu

λ bin/bench ./gists.json 10000 pegjs
Node.js version: 10.9.0
JSON file: ./gists.json
Loops: 10000
pegjs: 56181.985ms

λ bin/bench ./gists.json 10000 parsimmon
Node.js version: 10.9.0
JSON file: ./gists.json
Loops: 10000

susisu

https://bucklescript.github.io/bucklescript-playground//?code=bW9kdWxlJTIwSXRlcmF0b3IlM0ElMjBzaWclMEElMjAlMjB0eXBlJTIwJ2ElMjB0JTBBJTIwJTIwdmFsJTIwbmV4dCUzQSUyMCdhJTIwdCUyMC0lM0UlMjAnYSUyMG9wdGlvbiUwQWVuZCUyMCUzRCUyMHN0cnVjdCUwQSUyMCUyMHR5cGUlMjAnYSUyMHQlMEElMEElMjAlMjB0eXBlJTIwJ2ElMjByZXMlMjAlM0QlMjAlN0IlMEElMjAlMjAlMjAlMjBfZG9uZSUzQSUyMGJvb2wlMjAlNUIlNDBicy5hcyUyMCUyMmRvbmUlMjIlNUQlM0IlMEElMjAlMjAlMjAlMjB2YWx1ZSUzQSUyMCdhJTNCJTBBJTIwJTIwJTdEJTIwJTVCJTQwJTQwYnMuZGVyaXZpbmclMjBhYnN0cmFjdCU1RCUwQSUwQSUyMCUyMGV4dGVybmFsJTIwX25leHQlM0ElMjAnYSUyMHQlMjAtJTNFJTIwJ2ElMjByZXMlMjAlM0QlMjAlMjJuZXh0JTIyJTIwJTVCJTQwJTQwYnMuc2VuZCU1RCUwQSUwQSUyMCUyMGxldCUyMG5leHQlMjBpdGVyJTIwJTNEJTBBJTIwJTIwJTIwJTIwbGV0JTIweCUyMCUzRCUyMF9uZXh0JTIwaXRlciUyMGluJTBBJTIwJTIwJTIwJTIwaWYlMjBfZG9uZSUyMHglMjB0aGVuJTIwTm9uZSUyMGVsc2UlMjBTb21lJTIwKHZhbHVlJTIweCklMEFlbmQlMEElMEElMEFtb2R1bGUlMjB0eXBlJTIwSXRlcmFibGUlMjAlM0QlMjBzaWclMEElMjAlMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdCUwQSUyMCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB2YWx1ZSUwQSUwQSUyMCUyMHZhbCUyMGl0ZXJhdG

susisu

module Iterator: sig
  type 'a t

  type 'a result =
    | Done
    | Continue of 'a

  val next: 'a t -> 'a result
end

susisu

interface IParser<T> { }

declare class Opt<K extends string, T> {
    constructor(key: K, parser: IParser<T>);
}

declare const string: IParser<string>;
declare const number: IParser<number>;

declare class OptParser<P extends {}> {