@banjun

iOSアプリエンジニアです。 # Type( https://type-markdown.app )やPity( https://freetimepicker.firebaseapp.com/ )というMarkdownエディタアプリを個人的に開発しています。

Swift は他の多くの言語と異なり値型中心の言語です。そんな Swift を学ぶ上で重要なポイントをまとめたオンライン書籍 "Heart of Swift" ( https://heart-of-swift.github.io ) を書きました。

I wanna be a iOS/Mac developer.

ソフトウェアで世の中をハッピーにしたいフロントエンドから電気工事まで何でもやる系エンジニアです。

Haskellと*BSDのことが気になるワーキングプアです。

OS X

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

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