State モナドの代わりに Reader モナドを使う
注意 この記事は公開当時主張に誤りを含んでいたため，大幅に書き直しています．また，公開当時の主張の誤りについても，付録として載せておきました． Haskell で State モナドはモナドの代表格だ．Haskell 入門者は，多くの場合，状態を伴った計算を State モナドで書くことを習うだろう．しかし，実用上の多くの場面では，State モナドではなく他の選択肢を選んだ方がいい場合がある．一つの選択肢が，Reader モナドと可変参照を使う方法だ．今回は，この手法を使う利点と利用場面について考えていこうと思う． なお，環境として以下を想定している．
翻訳: The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler
この記事はThe Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compilerの翻訳です。 The Glasgow Haskell Compiler Simon MarlowとSimon Peyton-Jones Glasgow Haskell Compiler（GHC）は次のいくつかの目標と共に、1990年代の初めに英国政府によって学術研究プロジェクトの一環として設立されました。 堅牢で移植性があり、高性能なコードを生成できるHaskellのコンパイラを自由に利用できるようにする 他の研究者が拡張・開発することができるモジュラー基盤を提供する より良いコンパイラを設計・構築することができるように、現実世界のプログラムがどのように動作するかを学習する GHCは現在、20歳以上になり、 プロ
Why Dependent Haskell is the Future of Software Development
Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making the type system more powerful, inspired by Richard Eisenberg’s thesis that introduces Dependent Haskell. Dependent types are a feature I’d love to see in Haskell the most. Let’s talk why. There’s a tensio
Haskell でオレオレ Num クラスを作るための考察 | 雑記帳
以前の記事に書いたように、 Haskell 標準の Num クラスには色々と不満がある： Haskell の Num クラスに対する不満 結論としては「過去に遡って Num クラスの定義を変えるしかない」だったわけだが、時間干渉も因果律への反逆もできない我々としてはその選択肢は現実的ではないので、独自の Num クラス（オレオレ Num クラス）を作ることにする。この記事は、筆者がオレオレ Num クラスを作った際に考えたことをまとめたものである。 Prelude のクラス階層の復習 オレオレ Num クラスを作る前に、Prelude のクラス階層を復習しよう。 Num a: 環演算 abs, signum 前に書いた。abs と signum を除けば環だと思える。 (Num a, Ord a) => Real a: toRational :: a -> Rational Real （実
How to derive Generic for (some) GADTs using QuantifiedConstraints - Ryan Scott
The Generic and Generic1 classes are extremely useful tools in a GHC programmer’s toolbox, but their utility is currently limited in the sense that one can only derive Generic instances for simple data types. By “simple”, I mean that GHC will simply error if you try to derive Generic a more sophisticated data type—a GADT—like this one: data MyGADT a where MyGADT :: Int -> MyGADT Int In this post,
Haskell の Num クラスに対する不満 | 雑記帳
Haskell には Num という型クラスがあって、足し算とか掛け算の基本的な演算はここで定義されている。標準ライブラリで定義されているインスタンスとしては、 Int, Integer, Rational, Complex a などがある。 一言で言えば Num クラスは環っぽいものに対応するのだが、いろいろとアレな点がある。これを設計した人は、インスタンスとして整数、有理数、浮動小数点数、複素数くらいしか想定していないのではないか。 Haskell 2010 での Num クラスの定義を引用しておく。 class (Eq a, Show a) => Num a where (+), (-), (*) :: a -> a -> a negate :: a -> a abs, signum :: a -> a fromInteger :: Integer
How to Handle Asynchronous Exceptions in Haskell
We launched our monthly webinar series on Wednesday, April 11th with our first webinar on How to Handle Asynchronous exceptions in Haskell. This webinar was the first in what will be a monthly series covering topics in Haskell Programming, DevOps, Cloud Computing, Cryptocurrencies, FinTech, Medical Device Software, DataOps, and all the other great things we do. Webinar series launch is a huge succ
Type Equalities, Disequalities and obsoleting of Overlapping Instances
Type equality predicates: from OverlappingInstances to overcoming them Type equality predicates decide if two types are equal and return the result of the comparison as a type-level boolean. A type equality predicate ought to be total for ground types, that is, types with no free type variables. A more general type matching predicate compares the shape of two types, their top-level type constructo
24 Days of GHC Extensions: DeriveGeneric
Yesterday, Andraz showed us a variety of extensions that came with GHC to help us avoid writing boilerplate code. We saw that GHC can automatically derive instances for Functor, Traversable, Foldable, along with the usual class of Eq, Ord, Show, etc. However, as exciting as this is, you might have been left a little worried that this is where it stops. All of the classes that mentioned so far exis
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
`stack ghci` fails · Issue #4464 · jgm/pandoc · GitHub
How can you use a custom prelude with ghci? : haskell
4. Release notes for version 8.6.1 — Glasgow Haskell Compiler 8.6.1 User's Guide
Blog: GHC 8.6.1 released – GHC
Stop supporting older GHCs
Basic Syntax Extensions - School of Haskell | School of Haskell
rio
[Haskell-cafe] Instance selection based on a class constraint [was: Issues(Bugs?) with GHC Type Families]
GHC/AdvancedOverlap - HaskellWiki
Reddit - Dive into anything
Orphan instance - HaskellWiki