lotz

2245 Contribution

/ Following users

You'll never learn if you don't see the dark side too.

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

Haskellプログラマです。

I like Haskell

Moggiと"love"で接近中! 🤟🙄🤟

一般的なHaskeller

アッキーでーす✨普段は絵とか漫画🎨書いたりしてますけど、プログラミングもやってまーす✌バックエンドからフロントエンドにデザイン、女装まで何でもやります🔥

暗号やプログラム言語の記事をよく書きます。 I'm interested in Programming and Cryptography.

HaskellとかRubyとかJavaScriptとか CTO at Proper, Inc.

I love programming with Haskell.