LATEST ARTICLES

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

While contributing to Servo, knowing how to test your implementation is important. So, the 2nd episode is all about WPT and how we can test it in Servo.

弊社で社内勉強会をした話を書く

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

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

ここ最近になって BtoB SaaS の立ち上がりが目覚ましくなってきており、様々なドメインでプロダクトが誕生しています。しかしながらその一方で BtoB SaaS のプロダクト開発ができる、あるいは

はじめに 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