@omanuke

電子の妖精

数学愛好家

「俺のF#がこんなに可愛いわけがない。」

エンジニアとしては一度引退。 2019/6月より本格的に現役復帰。とはいえフルタイム技術者ではない。 TypeScript楽しい。 元Lifebear 取締役CTO / 元f-code 取締役。 元Microsoft MVP for C# (2012/7~2017/6).

Rubyのパパ

くぁ

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

A programmer.

ハードより low-level プログラマー。でもLL好き。

nanapiつくってます

ますますどっぷりとAzure界隈で、過ごしています。 所属: http://baleen.studio 発言は個人の見解です

Haskellプログラマです。

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。