mlhaufe

// See the following for a Scala example: <https://i.cs.hku.hk/~bruno/papers/Modularity2016.pdf>

/* Initial code */
abstract class Exp { abstract evaluate(): number }
class Lit extends Exp {
    constructor(readonly x: number){ super(); }
    evaluate(): number { return this.x }
}
class Add extends Exp {
    constructor(readonly left: Exp, readonly right: Exp) { super() }

mlhaufe

class ContError extends Error { returnValue = undefined; }

function callcc(fnCont) {
  const contErr = new ContError("Unable to continue current continuation.");
  const fnEscape = (returnValue) => {
    contErr.returnValue = returnValue;
    throw contErr;
  }
  try {
    return fnCont(fnEscape);

mlhaufe

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

mlhaufe

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never

type IntersectionToUnion<I> = (I extends any ? (x: I) => any : never) extends ((x: infer U) => any) ? U : never;

/**
 * Zip two tuples together into a tuple of tuples
 * @example
 * ZipTuple<['name', 'age', 'isActive'], [string, number, boolean]>
 *     => [["name", string], ["age", number], ["isActive", boolean]]
 */

mlhaufe

// Random Integer from  m to n excluding e
const randInt = (m: number, n: number, e?: number): number =>  {
    const result = Math.floor(Math.random() * m) + n;
    return e == undefined ? result :
           result == e ? randInt(m, n, e) : 
           result
}

class Person { constructor(public weight: number) {} }

mlhaufe

/** Number Expressions */

// data
type Exp =
    { tag: 'Lit', value: number } |
    { tag: 'Add', left: Exp, right: Exp }

// operations
function evaluate(exp: Exp): number {
    switch (exp.tag) {

mlhaufe

Context: <https://groups.google.com/a/magnolia-cms.com/g/user-list/c/MRpHYKkOMhA>

Type Exception Report

Message com.machinezoo.noexception.WrappedException: java.net.ConnectException: Connection refused (Connection refused)

Description The server encountered an unexpected condition that prevented it from fulfilling the request.

Exception

mlhaufe

// cyclicPerms(5)
//    "1,2,3,4,5
//    2,3,4,5,1
//    3,4,5,1,2
//    4,5,1,2,3
//    5,1,2,3,4" 
const cyclicPerms = (n) => 
    Array.from({length: n},(_,i) => i + 1)
    .map((_, i, xs) => [...xs, ...xs].slice(i, i+n))
    .join('\n')

mlhaufe

interface Boolean {
  ifTrue<T>(fn: () => T): T | undefined
  ifFalse<T>(fn: () => T): T | undefined
}

Object.assign(Boolean.prototype, {
  ifTrue(fn: Function) {
    return this ? fn.apply(this) : undefined
  },
  ifFalse(fn: Function) {

mlhaufe

function Bindable(proto: any, name: PropertyKey) {
    const desc = Object.getOwnPropertyDescriptor(proto, name)

    delete proto.name

    if ((proto['_dispatchEvent']) == undefined) {
        Object.defineProperty(proto, '_dispatchEvent', {
            value(event: Event) {
                
            }