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:
| #!/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 |
| const print = str => document.write(str + '<br>'); | |
| const ITER_COUNT = 10000; | |
| let t0, t1; | |
| let stack, queue; | |
| print("====== STACK ======"); | |
| class ArrayStack { |
| 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>; |
I hereby claim:
To claim this, I am signing this object:
| /* | |
| * 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) | |
| * | |
| */ |
| class A { } | |
| class B extends A { } | |
| class C<T> { } | |
| function test<T extends A>(t: () => T): (ctx: C<T>) => void { | |
| return (ctx: C<T>) => { | |
| }; | |
| } |
| 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 |
getters, no mutations: Lens, or something similar, may work here
get :: forall state a. (state -> a) -> ActionT state () acommit :: forall state. (state -> state) -> ActionT state () Unitactions :: forall state eff. ActionT state (Aff eff) Unit?data AppState = AppState { counter :: Int }
type Action eff = ActionT AppState (Aff eff) Unit