@Yukimiyiro

Androidアプリやフロントエンドのエンジニア。

一般的なHaskeller

楽したい。

YassLab (株) 代表取締役。(一社) CoderDojo Japan 代表理事。未踏ジュニア PM。RailsチュートリアルやRailsガイド、coderdojo.jp の運営・開発をしています。

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

Python Golang

PHP, Go界隈をうろうろしています。最近はgRPCと戦ってる。 特に明示していなければ、記事中のソースコード片は `CC-0 1.0` とします。出典表示無しで自由にコピペして頂いて構いません。 ただ、記事自体をコピペされるのは嫌なので、ソースコード部分以外の文章は通常通り全ての著作権を私が保持するものとします。 引用を超える範囲のコピペは止めて下さい。

Coqなどによるプログラムの正しさの検証・証明に興味があります。