ARoW.info Blog -- Servant, Type Families, and Type-level Everything
Servant is a really nice library for building REST APIs in Haskell. However, it uses advanced GHC features which may not be familiar to some Haskell programmers. In this article, I explain type-level strings, type-level lists, type-level operators, and type families. Finally, I use code from servant-server to explain how these features are used in practice. This article is aimed at people who have
HaskellのType Families 型の族
Haskell's Type Families 日本語 Github repository Created by Dennis / @cdepillabout intro I am a Haskell beginner. I've heard the term "type family", but I didn't know what it meant. I will try to give a very simple explanation and motivation for type families. You don't need to understand everything in this presentation, but hopefully next time you see type families being used, you can recall some of
Simon Peyton Jones先生招待講演について - Preferred Networks Research & Development
村主です。 ２０１１年９月２１日に、ICFP2011で来日していたSimon Peyton-Jones先生を弊社にお招きして、Glasgow Haskell Compilerの最新事情について講演をしていただきました。当日は体が浮きそうなほどの風が吹く大嵐でしたが、多くの人の協力のおかげで無事に終えることができ、感謝しています。 サイモン先生からスライドを分けてもらったので、講演会の動画とあわせて読む形で、記事にまとめてみました。Haskell/GHCのさまざまなトピックをカバーするこの講演、みなさんのHaskell勉強の一助となれば幸いです。 サイモン先生に「君たちも何か話してよ」と頼まれたので、僕が流体計算言語Paraiso(リンク先にスライドあり)の話をまずしています。 31:46 頃からサイモン先生のトークが始まります。まずはHaskell Communities and Acti
[Haskell] 普通のtype classesとmulti-parameter type classesとfunctional dependenciesとtype families - maoeのブログ
multi-parameter type classes周辺の理解があやふやなままだったので、Type classes: exploring the design spaceとType Classes with Functional Dependencies* (PDF)とType Cheking with Open Type Functions (PDF)あたりをわかる範囲で読んでみた。 1つめの論文はMPTCのmulti-parameter type classes (MPTC) の概要とその適用例について紹介し、2本目ではMPTCの問題点と、それを解決する ための手法としてfunctional dependencies (fundeps) が提案されている。最後の3本目はfundepsと似たような機能をもたらすtype familiesについて書かれている。 というわけで、せっかくな
![[Haskell] 普通のtype classesとmulti-parameter type classesとfunctional dependenciesとtype families - maoeのブログ](https://cdn-ak-scissors.b.st-hatena.com/image/square/dd7d9c1ded90a62ad792a4d1e053e42cbc4fb2ed/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12704830469096755938%2F12704830469096756100%2F1428017118)
Type Familiesを使って型レベルで階乗を実装してみる - #3(2009-09-09)
■ [Haskell] Type Familiesを使って型レベルで階乗を実装してみる Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedTypeVariables #-} data Zero data Succ a 後で楽なようにいくつかの数も定義しておきます。 type One = Succ Zero type Two = Succ One type Three = Succ Two type Four = Succ Three type
Type Families , Type Families (2) - #3(2009-09-07)
■ [Haskell] Type Families Data Familiesは、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか*1。 {-# LANGUAGE TypeFamilies #-} import qualified Data.Sequence as Seq data family Vector a -- BoolのVectorはリストで表現 data instance Vector Bool = BoolVector [Bool] -- IntのVectorはSeqで表現 data instance Vector Int = IntVector (Seq.Seq Int) -- 関数はクラスにする必要があります class VectorElem a where add :: a -> Vector a -> Vector
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
