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 () 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