Freer Effectsが、だいたいわかった: 6. ランクN多相(RankNTypes拡張)の解説
Freer Effectsが、だいたいわかった: 6. ランクN多相(RankNTypes拡張)の解説 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでReade...
9
4
Comment0
82 search resultsShowing 1~20 results
Stocked
You need to log-in
Freer Effectsが、だいたいわかった: 7. FreeモナドとCoyoneda
Freer Effectsが、だいたいわかった: 7. FreeモナドとCoyoneda 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでReaderモナド、Wr...
12
2
Comment2
Freer Effectsが、だいたいわかった: 11-9 LambdaCase拡張
Freer Effectsが、だいたいわかった: 11-9 LambdaCase拡張 はじめに LambdaCase拡張は、ちょっとした構文上の拡張なのだけど、これを使うことでコードがきれいにな...
3
1
Comment0
Freer Effectsが、だいたいわかった: 12 OpenUnionを型によって安全にする
Freer Effectsが、だいたいわかった: 12 OpenUnionを型によって安全にする はじめに 「10. 存在型による拡張可能なデータ構造(Open Union)」では、存在型を使う...
3
1
Comment0
Freer Effectsが、だいたいわかった: 13 モナドを混ぜ合わせる(開いた型で)
Freer Effectsが、だいたいわかった: 13 モナドを混ぜ合わせる(開いた型で) はじめに 「Freer Effectsが、だいたいわかった」シリーズのクライマックスだ。ようやく、ここ...
3
1
Comment0
Freer Effectsが、だいたいわかった: 2. 存在型(ExistentialQuantification拡張)の解説
Freer Effectsが、だいたいわかった: 2. 存在型(ExistentialQuantification拡張)の解説 目次 (0). 導入 Freeモナドの概要 Freeモナドとは F...
15
4
Comment0
Freer Effectsが、だいたいわかった: 1. Freeモナドの概要
Freer Effectsが、だいたいわかった: 1. Freeモナドの概要 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでReaderモナド、Writerモナ...
20
14
Comment3
タプルで作ったリストの要素を型で取り出す - 閉じた型シノニム族の使用例
タプルで作ったリストの要素を型で取り出す - 閉じた型シノニム族の使用例 対象読者 Haskellの初歩的な内容は理解した 以下の言語拡張のどちらかを使ったことがある、または、 どちらかが使われ...
2
1
Comment0
Freer Effectsが、だいたいわかった: 3. 型シノニム族(TypeFamilies拡張)の解説
Freer Effectsが、だいたいわかった: 3. 型シノニム族(TypeFamilies拡張)の解説 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでRea...
8
0
Comment1
型レベルで値の個数の範囲を指定できるリストを使ってFinger Treeを実装する - GHCの型チェックプラグインを活用する
型レベルで値の個数の範囲を指定できるリストを使ってFinger Treeを実装する - GHCの型チェックプラグインを活用する はじめにの前に これは2020年のアドベントカレンダーの18日目の...
6
3
Comment0
GHCの最新のソースコードをビルドし、すこしいじる
GHCの最新のソースコードをビルドし、すこしいじる はじめに GHCのソースコードを読んでみたい。あるいは、GHCに自分の考えた機能を追加してみたい。誰もが一度は思うことだ。そのとき、意外とハー...
14
7
Comment2
Freer Effectsが、だいたいわかった: 14 Freer Effectsで、IOモナドなどの既存のモナドを使用する
Freer Effectsが、だいたいわかった: 14 Freer Effectsで、IOモナドなどの既存のモナドを使用する はじめに Freer Effectsでは、型リストの要素であるモナド...
4
1
Comment0
STMとReal-Time Queueを利用したマルチスレッドズンドコキヨシ
STMとReal-Time Queueを利用したマルチスレッドズンドコキヨシ 巨大な機械 「さまざまな技術を使って作られています」「16個のセンサーと32個のモーターによって駆動する精密機械です...
15
7
Comment0
Knuth-Morris-PrattアルゴリズムのHaskellでの実装の解説
Knuth-Morris-PrattアルゴリズムのHaskellでの実装の解説 はじめにのまえに この記事はHaskell Advent Calendar 2019の19日目の記事の補足です。よ...
16
8
Comment0
GHCのタイプチェックプラグインについて、すこし
GHCのタイプチェックプラグインについて、すこし はじめに ざっと書いたので、まだ雑です。後ほど訂正などする可能性があります。「まちがい」などは、お手やわらかにご指摘ください。 動機 GHCの型...
4
2
Comment0
Freer Effectsが、だいたいわかった: 0. 導入
Freer Effectsが、だいたいわかった: 0. 導入 はじめに Extensible Effects (hackage: extensible-effects)の改良版であるFreer ...
39
24
Comment1
Freer Effectsが、だいたいわかった: 8. Freerモナド(Operationalモナド)で、いろいろなモナドを構成する
Freer Effectsが、だいたいわかった: 8. Freerモナド(Operationalモナド)で、いろいろなモナドを構成する 目次 (0). 導入 Freeモナドの概要 Freeモナド...
15
5
Comment4
Freer Effectsが、だいたいわかった: 11-8 言語拡張FlexibleContexts - 3要素タプルを型で整列する
Freer Effectsが、だいたいわかった: 11-8 FlexibleContexts拡張 はじめにの前に FlexibleContexts拡張について記事を書くのは、むずかしい。Flex...
3
0
Comment1
Freer Effectsが、だいたいわかった: 11-7 OVERLAPSプラグマ
Freer Effectsが、だいたいわかった: 11-7 OVERLAPSプラグマ 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでReaderモナド、Writ...
4
1
Comment0
Freer Effectsが、だいたいわかった: 11-5 MultiParamTypeClasses拡張
Freer Effectsが、だいたいわかった: 11-5 MultiParamTypeClasses拡張 目次 (0). 導入 Freeモナドの概要 Freeモナドとは FreeモナドでRea...
3
0
Comment0
82 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles