LATEST ARTICLES

はじめに これは前回の続きであり､型 Advent Calendar 2019の8日目の記事で､触れられなかった多相なエフェクトについてです｡ 一瞬出てきた多相なエフェクトの例を見てみましょう

はじめに これはRuby advent calendar 2019の7日目の記事です｡ こんにちは､びしょ～じょです｡ Ruby全然書かないけどふとした理由でRubyのライブラリを作りました｡ そ

abst Static Named Directoryの話をします。historyに../../とかが入って嫌な人は解決する可能性があります。 困り おおよそのケースでcwdに依存したビルドは開

2019年 9月 4日、EKSにIAM Roles for Service Accountsの機能が追加されました！ このアップデートにより、Kubernetesのサービスアカウントと、AWSのIA

もともとリモートで働いていたのですが、東京に呼んでいただいて二週間東京勤務をしました。 インターンをに全部落ちて辛かった時期なので呼んでいただけてとても嬉しかったです:bow: herp.co.jp

こんにちは。whywrite.it 出版班のwhywaitaです。 09/22 に開催される技術書典7にてKubernetesを用いたモダン開発環境についての本を出します。 頒布場所は「お13C てっ

こんにちは､びしょ〜じょです｡ さて､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 でシュッと入れていきまししょう．