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