Backpack: Retrofitting Haskell with Interfaces
2014 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014) Module systems like that of Haskell permit only a weak form of modularity in which module implementations directly depend on other implementations and must be processed in dependency order. Module systems like that of ML, on the other hand, permit a stronger form of modularity in which explicit interfaces express
Haskellプロジェクトのひな形生成ツールを作った
みなさん、Haskellで新しく何かを書き始める時ってどうしてますか。最近の定番ディレクトリ構成は/srcにコード、/testにテストコードってパターンが多いですね。それ自作するの、辛くないですか。 数ヶ月前に何かを作ろうと思いcabal initを実行した時、「もう自分で/srcと/testディレクトリ作って/test/Spec.hs書くのはウンザリ」と感じ、作ろうとしていた何かをそっちのけでHaskellプロジェクトのひな形生成ツールを作り始めました。それがhiです。 例えばRubyだとbundlerというライブラリを使って、下記のように新しいプロジェクトを生成できます。 $ bundle gem foo create foo/Gemfile create foo/Rakefile create foo/LICENSE.txt create foo/README.md create f
Recommended libraries - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Please check out the library list on haskell-lang, available at: https://haskell-lang.org/libraries This page is no longer maintained, and may be out of date. DEPRECATED CONTENT BELOW HEREFP Complete's development tools provide you with access to many libraries. A full and up-to-date list
SendGrid.design
<title>An icon of a outbound link arrow</title> <path class="icon-stroke" d="M75.3037 3.98207L3 75.5935M75.3037 3.98207L76.0435 43.3021M75.3037 3.98207L35.951 3.59351" stroke="#F22F46" stroke-width="5.5" stroke-linecap="round" stroke-linejoin="round"/> </svg> "> Features <title>An icon of a outbound link arrow</title> <path class="icon-stroke" d="M75.3037 3.98207L3 75.5935M75.3037 3.98207L76.0435
GHC API でモジュールが export している名前とその型を得る - EAGLE 雑記
./BrowseType Prelude のように使うと (snip) break = forall a. (a -> GHC.Bool.Bool) -> [a] -> ([a], [a]) catch = forall a. GHC.Types.IO a -> (GHC.IO.Exception.IOError -> GHC.Types.IO a) -> GHC.Types.IO a ceiling = forall a. (GHC.Real.RealFrac a) => forall b. (GHC.Real.Integral b) => a -> b compare = forall a. (GHC.Classes.Ord a) => a -> a -> GHC.Ordering.Ordering concat = forall a. [[a]] -> [a] concatMap =
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
classy-prelude
GitHub - fujimura/hi: Generate scaffold for a Haskell project
エクスポートモジュールの楽な追加 - Qiita