HaskellとAgdaを学び始めた大学院生

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

株式会社旗指物に勤務している10年以上の経験を積んでいるソフトウェアエンジニアです。 世界各地を旅しながら様々なコンベンションに参加し、幅広い技術を学び、磨き上げてきました。 プログラミングに対する情熱に燃え、高度な開発スキルを磨くことに力を入れ、業界のリーダーとしての地位を築くことを目指しています

社会人。Typescriptを書いてます

皆様のポートフォリオサイトを収集し運営しています。 https://portfoliohub.umihi.co

Working as Software Developer in Tokyo. Python/Go/C++/Haskell/Angular/AWS/Compiler/Vim

RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。

I like Haskell

型に生き、型を守りて、型を往く

Boostnoteのメンテナーをやったりしている高校生です。

薬学 => 製薬企業 => デザイナ => フロントエンド みたいな感じでワケワカメな人生歩んでます。