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早く一般でもシンボリックリンク使えるようにしてください(切実)