こんにちは､びしょ〜じょです｡ さて､Koka言語というものがある｡そして主要な処理系にkokaがある｡ kokaは主にHaskellで書かれており､REPLはJSが使われている｡ この記事はKok

I have been developing a more efficient algebraic effects library for Ruby. https://github.com/nymp

はじめに Algebraic Effectsは計算エフェクトを扱う言語機能である｡エフェクトとハンドラから成り､エフェクトの発生をハンドラが捕捉し､なんらかの値を返してエフェクト発生部分からの計算を

こんにちは､びしょ〜じょです｡修士中間発表終わったのでもう研究しなくてOK!!!!!!!!1. はじめに突然ですがみなさんエフェクトを発生させていますか｡ ところでエフェクトはどこで発生するのでしょう

はじめにこんにちは､びしょ〜じょです｡ ScalaMatsuri2019にいってきました｡ Scalaはちょっとしか書いてないうえにだいぶ前ですが､論文やコードはぼちぼち読んでるので興味は依然としてだ

はじめに OCaml 4.08よりbinding operatorというものが追加されました｡ 8.24 Binding operators 簡単にいうとこんなかんじ (* val ( let

こんにちは､びしょ〜じょです｡ なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…｡技術書典64月の話なんですが5月にやっていいですか｡やります｡ 典5に続いてDragon

1. はじめに qmk_firmware(以降qmkと省略)といえば最近の自作キーボードにおけるファームウェアの主流ですね｡ ちょっとしたことなら簡単にできますが､少し踏み込んだことをやろうとすると

こんにちは､びしょ〜じょです｡ 気づいたら1月も終わりますね｡ お前も俺も､もう終わりだ｡1. はじめに研究ではコルーチンを使っている｡ ここでひとつコルーチンについてまとめておきたい｡ 特にstac

こんにちは､びしょ〜じょです｡ これは言語実装Advent Calendar 2018の9日目の記事です｡ 最初は “変数が全部箱の言語の設計と実装” と題して全部optionにくるまれてる参照とかそ

こんにちは､びしょ〜じょです｡ これはWORDIAN Advent Calendar 2018の2日目の記事です｡ 12月2日といえば､翌3日は冴草きいちゃんの誕生日ですね!!!!!!!!!!! めで

こんにちは､びしょ〜じょです｡ 1. はじめに さて､最近は多値に関する議論がホットだったようです｡ ホットスポットはこちらの様子｡ 多値について本気で考えてみた - ぐるぐる～ なるほど｡ こちらも

ReactのHooksが実質algebraic effectsなんじゃないかということでalgebraic effectsに関する怪文書が流布して鼻白んでしまう､そんな未来を阻止するため､曲がりなりに