はてなブックマーク

はじめに Algebraic Effectsは計算エフェクトを扱う言語機能である｡エフェクトとハンドラから成り､エフェクトの発生をハンドラが捕捉し､なんらかの値を返してエフェクト発生部分からの計算を再開する｡エフェクト自体は何もせず､ハンドラが具体的な計算をおこないという部分が重要である｡例えばDependency Injectionにおいては､インターフェースで定義されたメソッドがエフェクトの定義､メソッドを呼び出すのがエフェクトの発生､インターフェースの具体的な実装がハンドラ､と対応づけることができる｡ Eff言語で実際に例をみてみる｡

こんにちは､びしょ～じょです｡ これは TypeScript アドベントカレンダー 2020 の3日目の記事です｡ ちなみに12月3日は冴草きいちゃんの誕生日です｡大変めでたいですね｡ 1. はじめに 関数型プログラミングといえばなんですか? はい円楽さん早かった! はいはい､ パターンマッチング､いいですね｡ パターンマッチングといえばプリミティブな数値や文字列のリテラルのみならず､ユーザが定義した型もその構造によってマッチできます｡回りくどい言い方をしましたが代数的データ型(Algebraic Data Types, ADTs)です｡ listing 1.1. 例えば OCamltype 'a option = | None | Some of 'a let to_default default o = match o with | None -> default | Some v -

こんにちは､びしょ〜じょです｡ なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…｡ 技術書典6 4月の話なんですが5月にやっていいですか｡やります｡ 典5に続いてDragon Universityやっていきました｡ 首謀者の@rizaudo ､@ntsc_j や@xrekkusu とだいたい似た面子で行った｡ 前回同様ぼちぼち売れたので打ち上げで無事生肉を焼く儀式を開くことができました｡ しかし前回と比べて売上はやや落ち込みました｡ 貴重なAI人材(AI人材ではない)rizaudo氏が今回はネットワークシミュレータの記事で挑んだためではないかと推察されます｡ 『Let's go Algebraic Effects and Handlers: from an introduction to advanced topics』というタイトルで書きましたが､3月はPP

こんにちは､びしょ〜じょです｡ これは言語実装Advent Calendar 2018の9日目の記事です｡ 最初は "変数が全部箱の言語の設計と実装" と題して全部optionにくるまれてる参照とかそういう感じの何かを作ろうとしたけど多分面白くなくなって筆者の熱も醒めると思ったのでやめた｡ またそうこうしてるうちに良い感じのものが作れたので､論理的背景を整理するためにも内容を再考して今回のような内容となりました｡ ほならね早速いってみましょう｡ 1. はじめに Algebraic effects and handlers(以降 "algebraic effects" と省略)は､いわば限定継続を取れる例外である｡ try節をdelimiterとし､例外発生位置から残りの計算を限定継続として受け取り､継続をもちいて例外から復帰したり､単に継続を捨てて例外として扱うこともできる｡ 最近各所で注

最近色々あって仕事でGo言語を使っています。 色々割り切っている言語なので、こんなこと言ってもしゃーないんですが、言語設計はミスってるんじゃなかなぁ、と思わざるを得ない点が多々あります。 使い始めて1か月くらいなので間違ったことを書いているかもしれませんので、何かあれば指摘していただけるとありがたいです。 本文ではネガ… どうやらGoは多値が使えたり使えなかったりするらしい｡ 個人的には使えるか使えない(tupleにするとか)かのどちらかのほうが良い言語デザインだと思うけど､ユーザが問題ないなら…｡ 本稿ではLua VMが使える代表的な言語Luaを例に､Goとの多値の違いに付いて見ていき､Lua VMおよびLuaの多値の扱いが良い感じなことを確認したい｡ 拙者Goは知らない侍につき､Goに関してはご容赦｡ 2. Luaで様子見 Lua VMのバイトコードを吐き出してくれるコンパイラの代表と

こんにちは､びしょ〜じょです｡ ここしばらく20行/日くらいしかコード書いてません｡ いやもっと少ないかも…｡ いや研究してますんで! いや〜研究もそんなにしてないな…じゃあ何を… 1. はじめに Algebraic effectsとは､2001年くらいに提唱されてから､爆流行らずともにわかに盛り上がりを見せつつある言語機能である｡ 極めて雑に説明すると､継続を取ってこれる例外である｡ Plotkin氏(またお前か)が代数学的アプローチによる基盤を作り､そこにハンドラが付いてプログラム言語の機能として考えられるようになった｡ ボクの話のうち1〜10割間違っていることは確かなので､誤った情報を一切入れたくない人は[1]を読んでください｡ 1-1. algebraic effects実装の有名どころ Eff algebraic effectsを言語機能として初めて設計された言語｡ MLスタイル

Dive into Algebraic Effects びしょ〜じょ ML Days #2 September 16, 2018 �やること  Algebraic Effects を伝道 Algebraic Effects is 何  Algebraic Effects が使える言語 Algebraic Effects の活用事例 研究のご紹介 先日 JSSST でポスター発表した内容を紹介シマス �目次 自己紹介 Algebraic Effects effect の型 デモ ポイント AE Implimentations Multicore OCaml 研究紹介 oneshot AE → oneshot s/r oneshot s/r → AC 課題、今後の予定 まとめ Dive into Algebraic Effects 自己紹介 Algebraic Effects effect

こんにちは､びしょ〜じょです｡ 年明けに買った対洗濯物用乾燥機のおかげで窓を開けたりカーテンレールにハンガーを吊るす日々が終わりました｡ ところで2月分の電気代はすでに1月分を越えようとしています｡ 1. はじめに 今年は4年次なので卒業研究! ということでjoin pointを追加したコンパイラ中間言語の設計と､その上での最適化を定義してやっていきました｡ 実装はこちら 卒研発表をスライドを作るためにも､何をしたかを噛み砕いて文に起こしてみたいと思います｡ 2. 関連研究 PLDI 2017で『Compiling without Continuations』1という発表がありました｡ 継続の緑の本をもじったタイトルですが､CPSと直接戦っている感じではないです｡ join pointと呼ばれるものを明示的に扱うことでコードサイズの爆発を抑えたり高速に動作するターゲット言語に変換しようとい