noolbar
@noolbar has joined the channel
純粋なHaskell実装である多倍長整数(Integer)の高速化
これはinteger-simpleのことですか？そうです。ちょっとkazuさんに相談してみます。survey不足で済みません。。。
let default = {foo = 10, bar = 20} in [default { bar = 30 }, default {foo = 40}] みたいなのするために let def = { foo = 10, bar = 20} in let default = \(x : {foo: Natural, bar: Natural}) -> def // x in [default { bar = 30 }, default { foo = 40 }] してみたけど、これ { bar = 30 } : { foo: Natural, bar: Natural } じゃないから通らないな……（ { foo = 40 } についても同様）default 関数に定義し直す意味あるんですか？
makeFoo = ... -> \(x : 🤔) -> {..., baz = def // x}
// を使えば良くない？という意味ですx {y = z} イディオムに固執しているわけではなく、 s <: t => (x : t) // (y :: s) な制約が欲しいdef を外部に出して makeFoo を定義しないのが Dhall のやり方では？symlinkbindir=.local/bin とか渡すと、windowsではシンボリックリンク機能は無効です とだけ言れるのはなんとかしたい。実体は~というディレクトリにあります くらいは書いてほしい。。。 というかWindows早く一般でもシンボリックリンク使えるようにしてください(切実)