1
reputation
1

LivingLife

Just a random profile on the internet!

Always keep your Promises

let safe_division = (x: Promise<number>, y: Promise<number>): Promise<number> => {
return x.then(x_value =>
    y.then(y_value =>
        y_value == 0 ? Promise.reject() : Promise.resolve(x_value / y_value)))
}
export interface Func<a, b> {
    f: (_: a) => b
    then: <c>(this: Func<a, b>, g: Func<b, c>) => Func<a, c>
    repeat: (this: Func<a, a>) => Func<number, Func<a, a>>
    repeatUntil: (this: Func<a, a>) => Func<Func<a, boolean>, Func<a, a>>
}

export let Func = <a, b>(f: (_: a) => b): Func<a, b> => {
    return {
        f: f,
        then: function <c>(this: Func<a, b>, g: Func<b, c>): Func<a, c> {
            return Func<a, c>(x => g.f(this.f(x)))
        },
        repeat: function (this: Func<a, a>): Func<number, Func<a, a>> {
            return Func<number, Func<a, a>>(n => repeat(this, n))
        },
        repeatUntil: function (this: Func<a, a>): Func<Func<a, boolean>, Func<a, a>> {
            return Func<Func<a, boolean>, Func<a, a>>(p => repeatUntil(this, p))
        }
    }
}

export let Identity = <a>(): Func<a, a> => Func(x => x)


let repeat = function <a>(f: Func<a, a>, n: number): Func<a, a> {
    if (n <= 0) {
        return Identity<a>() // Return the identity function when n <= 0, basicly means do nothing
    }
    else {
        return f.then(repeat(f, n - 1)) // Else build a chain then's, pass f around and decrement n
    }
}

let repeatUntil = function <a>(f: Func<a, a>, predicate: Func<a, boolean>): Func<a, a> {
    let g =
        (x: a) => {
            if (predicate.f(x)) {
                return Identity<a>().f(x) // If predicate is true apply the identity function to x
            }
            else {
                return f.then(repeatUntil(f, predicate)).f(x) // Else build a chain of then's pass f around and apply f to x
            }
        }
    return Func<a, a>(g)
}


type Option<T> = {
    kind: 'some', 
    v: T
} | {
    kind: 'none'
}

let Some = <T>(v: T): Option<T> => ({
    kind: 'some', 
    v: v
})

let None = <T>(): Option<T> => ({
    kind: 'none'
})

type Pair<a, b> = {
    first: a, 
    second: b
}

let MakePair = <a, b>(): Func<a, Func<b, Pair<a, b>>> => Func(a => Func(b => ({ first: a, second: b })))

type Either<a, b> = {
    kind: 'left', 
    v: a
} | {
    kind: 'right', 
    v: b
}

let InL = <a, b>(): Func<a, Either<a, b>> => Func(a => (<Either<a, b>>{ kind: 'left', v: a }))
let InR = <a, b>(): Func<b, Either<a, b>> => Func(b => (<Either<a, b>>{ kind: 'right', v: b }))




```
  • Member for 1 year
  • 7 profile views
  • Last seen May 21 '19 at 9:41

Keeping a low profile.

This user hasn't posted yet.

Badges (1)

Gold

Silver

Bronze

1

Rarest