Haskell command-line utility using GHC generics
Today, Justin Woo wrote a post about writing a simple Haskell command-line utility with minimal dependencies. The utility is a small wrapper around the nix-prefetch-git command. In the post he called out people who recommend overly complex solutions on Twitter: Nowadays if you read about Haskell on Twitter, you will quickly find that everyone is constantly screaming about some “advanced” technique
GHC Generic Programming と代数的データ型 - khibino blog
Haskell Advent Calendar 2016 の 12日目のエントリーです。 代数的データ型と Functor Generic Programming は代数的データ型の構造を Functor の直積と直和のネスト構造に対応付けることで、 任意の代数的データ型に対する操作の記述を可能にする仕組みです。 まずは理解のために、より単純化した構造で考えてみましょう。 次のようなデータ型 ProdF f g a を考えると、 ProdF f g は Functor f および Functor g のもとで Functor になります。 これは、 もとの Functor のそれぞれの像の直積も Functor になる ということです。 ほぼ自明な内容ですが、 functor則を満たしていることを下に簡単に示してあります。 data ProdF f g a = ProdF (f a) (g
Cooking Classes with Datatype Generic Programming
Cooking Classes with Datatype Generic Programming Haskell Generics are a somewhat misunderstood topic but are an extremely powerful technique for writing reusable and comparable interfaces across an enormous universe of types with very little effort. They are probably my favorite example of the advantages of an expressive type system endows us with. Source for examples code is available here. Gene
Generics example: creating Monoid instances
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. October 2, 2012By Michael SnoymanView source on Github I recently was working on a project which included a very large datatype for holding configuration data. The configuration data was parsed from a file. One trick was that each config file could reference another "parent" config
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Generic programming of all kinds
Generic Deriving of Generic Traversals
http://very.science/pdf/StrictCheck_arxiv.pdf
Andres Löh - Evolving datatypes
GitHub - conal/talk-2016-generic-fft: A talk on type-generic FFT in Haskell
Reddit - Dive into anything
generics-eot — generics-eot 0.1 documentation