Effect
system
副作用のような計算エフェクトを静的に扱うための形式体系です。HERPでは副作用を持つ計算を合成性を高く記述するために extensible effects などを採用しています。
...
『形式意味論入門』を Haskell に書き下す (後編)
前編はこちら https://ryota-ka.hatenablog.com/entry/2019/08/15/213000
...
Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?
1. はじめに最近のエフェクトシステム2大ホットトピックといえばAlgebraic EffectsとExtensible Effectsだろう [要出典]。度々この2つの違いは何なのかという質問を見ま
...
fcontrol/runでshallow effect handler
こんにちは、びしょ〜じょです。 気づけば2020年になってました。 2020年ってなんだ? SFですか?1. はじめに - Algebraic Effectsおさらい本日はshallow effect
...
『エフェクトに部分型のある代数的効果』
こんにちは、びしょ〜じょです。 これは型Advent Calendar 2019の9日目の記事の記事です。 空いてるので9日目にタイムスリップして前日に続いて記事を突っ込みました。実際の記事はこちら:
...
Algebraic Effectsの型システム入門(2) 多相エフェクト
はじめに これは前回の続きであり、型 Advent Calendar 2019の8日目の記事で、触れられなかった多相なエフェクトについてです。 一瞬出てきた多相なエフェクトの例を見てみましょう
...
Rubyでもalgebraic effectsがしたい!
はじめに これはRuby advent calendar 2019の7日目の記事です。 こんにちは、びしょ~じょです。 Ruby全然書かないけどふとした理由でRubyのライブラリを作りました。 そ
...
koka-lang/koka REPL超入門
こんにちは、びしょ〜じょです。 さて、Koka言語というものがある。そして主要な処理系にkokaがある。 kokaは主にHaskellで書かれており、REPLはJSが使われている。 この記事はKok
...
Ruff, a more efficient algebraic effects library for Ruby
I have been developing a more efficient algebraic effects library for Ruby. https://github.com/nymp
...
Algebraic Effectsの型システム入門
はじめに Algebraic Effectsは計算エフェクトを扱う言語機能である。エフェクトとハンドラから成り、エフェクトの発生をハンドラが捕捉し、なんらかの値を返してエフェクト発生部分からの計算を
...
エフェクト、do、ANF、継続、継続
こんにちは、びしょ〜じょです。修士中間発表終わったのでもう研究しなくてOK!!!!!!!!1. はじめに突然ですがみなさんエフェクトを発生させていますか。 ところでエフェクトはどこで発生するのでしょう
...
effect system 勉強会で Cycle.js の話をしてきた
もう1ヶ月ちょっと前の話になるが,effect system 勉強会 で Cycle.js の話をしてきた.
...
技術書典6に合同誌を出した; effect system勉強会をやった
こんにちは、びしょ〜じょです。 なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…。技術書典64月の話なんですが5月にやっていいですか。やります。 典5に続いてDragon
...
cycle-ink-driver をリリースした
cycle-ink-driver というライブラリをリリースした.このライブラリを用いると,Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる.
...
Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装
こんにちは、びしょ〜じょです。 これは言語実装Advent Calendar 2018の9日目の記事です。 最初は “変数が全部箱の言語の設計と実装” と題して全部optionにくるまれてる参照とかそ
...
Algebraic Effectsとは? 出身は? 使い方は? その特徴とは? 調べてみました!
ReactのHooksが実質algebraic effectsなんじゃないかということでalgebraic effectsに関する怪文書が流布して鼻白んでしまう、そんな未来を阻止するため、曲がりなりに