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
circeから学ぶ GenericProgramming入門 - Scala関西Summit 2018 - Speaker Deck
プロフェッショナルとしての成長「問題の深掘り」が導く真のスキルアップ / issue-analysis-and-skill-up
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
Rust Generic (not generics)
Have you ever wanted to convert Hlists into Structs or to reuse logic across different types that are structurally identical or very similar (e.g. same data across different domains)? Generic can help you do that with minimal boilerplate. Generic is a way of representing a type in … a generic way. By coding around Generic, you can write functions that abstract over types and arity, but still have
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
Generic Programming with Adjunctions
Generic Programming with Adjunctions 0.0 Generic Programming with Adjunctions Ralf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England ralf.hinze@comlab.ox.ac.uk http://www.comlab.ox.ac.uk/ralf.hinze/ March 2010 University of Oxford — Ralf Hinze 1-172 Generic Programming with Adjunctions 1.0 Part 1 Prologue University of Oxford — Ralf Hinze 2-172
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 in OCaml
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
Personal website of José Pedro Magalhães—Research