hatashiro

#!/usr/bin/env bash

# Please run after `bazel build package --config oss_linux -c opt`.

LIB_MOZC=/usr/lib/mozc
LIB_IBUS_MOZC=/usr/lib/ibus-mozc
SHARE_IBUS_COMPONENT=/usr/share/ibus/component
SHARE_IBUS_MOZC=/usr/share/ibus-mozc
BIN=/usr/bin

hatashiro

hatashiro

const print = str => document.write(str + '<br>');

const ITER_COUNT = 10000;

let t0, t1;
let stack, queue;

print("====== STACK ======");

class ArrayStack {

hatashiro

type Nat = 0 | { succ: Nat };

type Succ<T extends Nat> = { succ: T };

type N0  = 0;
type N1  = Succ<N0>;
type N2  = Succ<N1>;
type N3  = Succ<N2>;
type N4  = Succ<N3>;
type N5  = Succ<N4>;

hatashiro

Keybase proof

I hereby claim:

• I am utatti on github.
• I am noraesae (https://keybase.io/noraesae) on keybase.
• I have a public key whose fingerprint is 27FE 8C5B 561E BE81 819F 61E8 80B6 67B4 6658 E8E9

To claim this, I am signing this object:

hatashiro

/*
 * TypeScript Lens implementation with object property proxy
 *
 * ref:
 *
 * - Haskell Lens (https://hackage.haskell.org/package/lens)
 * - Type-safe Lens by @mitaki28 (https://gist.github.com/mitaki28/ad39a69ab4fa73c99a822c0c3abc99dd)
 *
 */

hatashiro

class A { }

class B extends A { }

class C<T> { }

function test<T extends A>(t: () => T): (ctx: C<T>) => void {
    return (ctx: C<T>) => {
    };
}

hatashiro

module Main

%hide (>)

data (>) : (a : Nat) -> (b : Nat) -> Type where
  ZeroCase : 1 + a > 0
  OtherCase : a > b -> 1 + a > 1 + b

s_k_lt_k_proof : {k : Nat} -> 1 + k > k
s_k_lt_k_proof {k=Z} = ZeroCase

hatashiro

• Make state immutable (in PS everything is immutable so 0 overhead for this)
• No getters, no mutations: Lens, or something similar, may work here
  • get :: forall state a. (state -> a) -> ActionT state () a
  • commit :: forall state. (state -> state) -> ActionT state () Unit
• actions :: forall state eff. ActionT state (Aff eff) Unit?

data AppState = AppState { counter :: Int }

type Action eff = ActionT AppState (Aff eff) Unit

hatashiro

Ongoing

• Types and Programming Languages by Benjamin C. Pierce

To-read

• Advanced Topics in Types and Programming Languages by Benjamin C. Pierce

Have read