yamanasirio_mia
深くやったものは特にはないんですが、SwiftとC++とExcelのVBAとHTML(後者二つはプログラミング言語と言っても良いのでしょうか)を触りだけやりました。Cはこれからやる予定です。
ghcid --restart=package.yaml
でいける気がしますが、あんまり使ったことないので実用に耐えれなかったらすみません。。repl
にならないですね:sweat_smile:ghcid -c "stack repl" --restart=package.yaml
こっちでした。types/hoge_type.dhall
)で定義して参照すると相対パスになるから cat tmp/hoge.dhall | dhall
と実行するとうまくいかないんですけど良い方法ありますか?dhall < tmp/hoge.dhall
ってすればいいのかdhall <<< ./tmp/hoge.dhall
でいいみたい./
をつけないとダメ )f :: Monad m => a -> b -> m c
なアクションとx :: m a, y :: m b
な値があるときjoin (f <$> x <*> y)
f
の引数が3つ以上の時もいけるっぽいです。join (liftA2 f a b)
だと 1文字短いとか…liftA2 f x y >>= uncurry f
とも書けます。liftA2 (,) x y >>= uncurry f
ですかね?over
関数の、Functorな値を返す関数を渡すバージョンってないんですかね。overM :: Functor f => ASetter s t a b -> (a -> f b) -> s -> f t
みたいな型になるのかな、と思うのですが。:: a
searches for the type “a”
とありますが、これで思ったように結果が絞れたりするでしょうか?->
とかを含めなければ普通に型の名前が優先されているように見えますが、これではダメなんでしょうか?