Freeモナドで領域特化言語を作るとプリティミューテーション - Qiita
多くのプログラミング言語が用途を限定しない汎用の言語として設計されているのに対して、領域特化言語(ドメイン固有言語, domain-specific language, DSL)は何らかの目的に特化して設計された言語のことをいいます。領域特化言語を導入する利点のひとつは、プログラムの各部分の役割が明確になり、ソフトウェア全体の設計がよりわかりやすくなるというものがあります。たとえば、ゲームソフトウェアではゲームの描画とゲームの状態更新は完全に分離されているべきです。ゲームで一時的に処理が重くなり、描画を何フレームかスキップして速度を維持したいとしましょう。もし状態更新と描画がきちんと分離されていなければ、描画だけをうまくスキップするということはできなくなってしまいます。もし描画専用の領域特化言語を導入すると、ソフトウェアのコードをその内容に沿って完全に分離するのを強制し、それに違反するよう
What are free monads?
I've seen the term Free Monad pop up every now and then for some time, but everyone just seems to use/discuss them without giving an explanation of what they are. So: what are free monads? (I'd say I'm familiar with monads and the Haskell basics, but have only a very rough knowledge of category theory.)
Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Centrum Wiskunde & Informatica ploeg@cwi.nl Oleg Kiselyov University of Tsukuba oleg@okmij.org Abstract A series of list appends or monadic binds f
Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Centrum Wiskunde & Informatica ploeg@cwi.nl Oleg Kiselyov University of Tsukuba oleg@okmij.org Abstract A series of list appends or monadic binds for many monads per- forms algorithmically worse when left-associated. Continuation- passing style (CPS) is well-known to cure this severe dependence
Purify code using free monads
Experienced Haskell programmers commonly advise newcomers to keep as much of their program as pure as possible. Purity confers many practical advantages: You can formally prove things about your code Barring that, you can reason easily about your code If all else fails, you can QuickCheck your code To demonstrate this, I'll use the following simple echo program: import System.Exit main = do x <- g
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - xuwei-k/httpz: purely functional http client with scalaz.Free
