kakkun61のブックマーク - はてなブックマーク

継続渡し・コールバックを読みやすくする言語機能たち（Koka・Gleam・Roc） - 星にゃーんのブログ

継続渡しスタイル、あるいはコールバック関数は非常に強力なテクニックだ。例えばJavaScriptでは、非同期処理を扱う.thenメソッドが有名どころだろう。 fetch("http://example.com/movies.json") .then((response) => response.json()) .then((movies) => console.log(movies)) 継続渡しスタイルは読みにくい。そこで、JavaScriptではasync構文が導入されている。 const response = await fetch("http://example.com/movies.json"); const movies = await response.json(); console.log(movies); awaitの振る舞いは、以下のような読み替えルールがあると考えると

kakkun61 2024/04/09

たすかる

リンク

継続モナドで立ち向かうローンパターンとEither地獄 - 星にゃーんのブログ

Haskellでファイルなどのリソースの解放を保証するテクニックとして、ローンパターン（Loan Pattern）がある。withFile :: FilePath -> IOMode -> (Handle -> IO r) -> IO rなどがその例だ。ローンパターンによる関数を複数使ったプログラムは、無名関数のネストが深くなる。 main = do withFile "src.txt" ReadMode \src -> withFile "dst.txt" Writ eMode \dst -> ... この問題には、継続モナドContTを使ったきれいな解決策が知られている。 main = evalContT do src <- ContT $ withFile "src.txt" ReadMode dst <- ContT $ withFile "dst.txt" Writ eMode .

kakkun61 2024/03/22

Haskell

リンク

RebindableSyntaxとGHC.Genericsを使って'genericなif'を作る - 星にゃーんのブログ

CoqのGallinaでは2つのコンストラクタC1, C2のある型Tの式vについて、 if v then t1 else t2 が match v with | C1 ... => t1 | C2 ... => t2 end にdesugarされる。なんだかよくわからないけどかっこいい！！！Haskellでもこれやりたい！！！やりました。 RebindableSyntaxとGHC.Generics RebindableSyntaxを有効化すると、リテラルやif式、do式などのセマンティクスを独自に定義することができる。例えば、if e1 then e2 else e3はifThenElse e1 e2 e3に変換される。ifThenElseを定義すれば、if式の動作を自分の好きなように書き換えられる！ GHC.Genericsを使うと、データ型について総称的なプログラミングが行える