LATEST ARTICLES

Last updated on
December 8, 2019
...
Algebraic Effectsの型システム入門(2) 多相エフェクト
はじめに これは前回の続きであり、型 Advent Calendar 2019の8日目の記事で、触れられなかった多相なエフェクトについてです。 一瞬出てきた多相なエフェクトの例を見てみましょう
...
Rubyでもalgebraic effectsがしたい!
はじめに これはRuby advent calendar 2019の7日目の記事です。 こんにちは、びしょ~じょです。 Ruby全然書かないけどふとした理由でRubyのライブラリを作りました。 そ
...
Static Named Directoryの話
abst Static Named Directoryの話をします。historyに../../とかが入って嫌な人は解決する可能性があります。 困り おおよそのケースでcwdに依存したビルドは開
...
IAM Roles for Service Accounts を Terraformで手軽に体験してみる
2019年 9月 4日、EKSにIAM Roles for Service Accountsの機能が追加されました! このアップデートにより、Kubernetesのサービスアカウントと、AWSのIA
...
株式会社HERPでインターンをしました
もともとリモートで働いていたのですが、東京に呼んでいただいて二週間東京勤務をしました。 インターンをに全部落ちて辛かった時期なので呼んでいただけてとても嬉しかったです:bow: herp.co.jp
...
技術書典7にてPull ReqベースのモダンKubernetes開発環境についての本を出します #技術書典
こんにちは。whywrite.it 出版班のwhywaitaです。 09/22 に開催される技術書典7にてKubernetesを用いたモダン開発環境についての本を出します。 頒布場所は「お13C てっ
...
koka-lang/koka REPL超入門
こんにちは、びしょ〜じょです。 さて、Koka言語というものがある。そして主要な処理系にkokaがある。 kokaは主にHaskellで書かれており、REPLはJSが使われている。 この記事はKok
...
The Hitchhiker's Guide to Servo Contributor - Part II
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.
...
社内勉強会はじめました
弊社で社内勉強会をした話を書く
...
『形式意味論入門』を 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
...
BtoB SaaSにおけるプロダクト開発の勘所
ここ最近になって BtoB SaaS の立ち上がりが目覚ましくなってきており、様々なドメインでプロダクトが誕生しています。しかしながらその一方で BtoB SaaS のプロダクト開発ができる、あるいは
...
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 でシュッと入れていきまししょう.