LATEST ARTICLES

Last updated on
August 15, 2019
...
『形式意味論入門』を Haskell に書き下す (前編)
一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際,『形式意味論入門』という表題の本に目が止まり,数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1.また,その
...
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は計算エフェクトを扱う言語機能である。エフェクトとハンドラから成り、エフェクトの発生をハンドラが捕捉し、なんらかの値を返してエフェクト発生部分からの計算を
...
Better JSON types in TypeScript
This is a post on how to abuse TypeScript’s type system to write safer code.
...
The Hitchhiker's Guide to Servo Contributor - Part I
The first episode of introducing how to contribute to Servo
...
FuseBoxというイケてるmodule bundlerがあるらしい
FuseBoxというmodule bundlerがイケてるらしいので使ってみた
...
エフェクト、do、ANF、継続、継続
こんにちは、びしょ〜じょです。修士中間発表終わったのでもう研究しなくてOK!!!!!!!!1. はじめに突然ですがみなさんエフェクトを発生させていますか。 ところでエフェクトはどこで発生するのでしょう
...
弊社でCycle.jsに寄付した話
Open Collectiveを使って業務で使っているOSSライブラリに寄付をした話をする。
...
僕はmacからiPhoneに通知を送りたいだけなのに
序 macはappleで連携がiphoneで最高、そう思ってました。 ボタン一つでmacからiphoneに通知が送れてほしい。 時間のかかる長いコンパイルはtwitterをiphoneでみたい。
...
Nix で Haskell IDE Engine をシュッと入れる
みなさん,Haskell やってますか? 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か?」という感じがするので,Nix でシュッと入れていきまししょう.
...
Storing an ordered list in database
To store an ordered list in database, the simplest way is to assign a number to each row. However, t
...
AWS Summit Tokyo 2019 に行ってきた
2019/6/14 に AWS Summit Tokyo 2019 day 3 に行ってきました。 雑に感想とかを書きます。 備えあれば憂いなし!AWS上のシステム本番稼働前に必ずチェックしたい4つ
...
effect system 勉強会で Cycle.js の話をしてきた
もう1ヶ月ちょっと前の話になるが,effect system 勉強会 で Cycle.js の話をしてきた.
...
ScalaMatsuri2019いってきた
はじめにこんにちは、びしょ〜じょです。 ScalaMatsuri2019にいってきました。 Scalaはちょっとしか書いてないうえにだいぶ前ですが、論文やコードはぼちぼち読んでるので興味は依然としてだ
...
OCaml 4.08のbinding operator
はじめに OCaml 4.08よりbinding operatorというものが追加されました。 8.24 Binding operators 簡単にいうとこんなかんじ (* val ( let
...
技術書典6に合同誌を出した; effect system勉強会をやった
こんにちは、びしょ〜じょです。 なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…。技術書典64月の話なんですが5月にやっていいですか。やります。 典5に続いてDragon
...
cycle-ink-driver をリリースした
cycle-ink-driver というライブラリをリリースした.このライブラリを用いると,Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる.
...
令和時代のLinux生活環境
こんにちは。whywrite.it Linux班のwhywaitaです。 大学入学時にMacBookAir (2012)を購入し、それ以降は金銭的な理由でラップトップマシンを買い換えることがかなってま
...
1 year of Haskell at work
I had a few questions about Haskell at work, and now I've been (sort of[1]) writing Haskell at work
...
qmk_firmwareで日本語配列 / マウスエミュレーションを頑張る
1. はじめに qmk_firmware(以降qmkと省略)といえば最近の自作キーボードにおけるファームウェアの主流ですね。 ちょっとしたことなら簡単にできますが、少し踏み込んだことをやろうとすると