LATEST ARTICLES

一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その

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

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

This is a post on how to abuse TypeScript’s type system to write safer code.

The first episode of introducing how to contribute to Servo

FuseBoxというmodule bundlerがイケてるらしいので使ってみた

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

Open Collectiveを使って業務で使っているOSSライブラリに寄付をした話をする。

序 macはappleで連携がiphoneで最高、そう思ってました。 ボタン一つでmacからiphoneに通知が送れてほしい。 時間のかかる長いコンパイルはtwitterをiphoneでみたい。

みなさん，Haskell やってますか？ 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か？」という感じがするので，Nix でシュッと入れていきまししょう．

To store an ordered list in database, the simplest way is to assign a number to each row. However, t

2019/6/14 に AWS Summit Tokyo 2019 day 3 に行ってきました。 雑に感想とかを書きます。 備えあれば憂いなし！AWS上のシステム本番稼働前に必ずチェックしたい4つ

もう1ヶ月ちょっと前の話になるが，effect system 勉強会 で Cycle.js の話をしてきた．

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

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

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

cycle-ink-driver というライブラリをリリースした．このライブラリを用いると，Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる．

こんにちは。whywrite.it Linux班のwhywaitaです。 大学入学時にMacBookAir (2012)を購入し、それ以降は金銭的な理由でラップトップマシンを買い換えることがかなってま

I had a few questions about Haskell at work, and now I've been (sort of[1]) writing Haskell at work

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