ここは俺の備忘録だ

少なくとも日本語での言及が少ない話をするつもりです

2017-07-08から1日間の記事一覧

runSTにおける関数合成の失敗—Higher Rank Typesにおける型推論の落とし穴

余談 2つの事柄を題に要約する言い回しとして「あるいは」以外を見つけないとブログの題があるいはだらけになってしまう… 本題 GHC「なんで私が怒ってるか分かる?runSTにST s (...)が来てるの、本当はm0 (...)が来て欲しいの」ぼく「は????????」 p…

Haskell/GHCスクリプティング時の実行ファイルパス取得、あるいはGHCが公開するC言語APIは何処にあるか?

問題 runhaskell/runghcを用いることにより、Haskell/GHCではshebangを書き込んだスクリプティングが可能である。 特にStackの登場以降、依存性の解決も容易となり非常に気軽に扱えるようになった。 github.com 個人的にシェルスクリプトは避けていきたいた…