Find Top 10 Haskell Influencers

Typing is not the bottleneck

Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. http://calendly.com/ekmett https://t.co/oP135HK8LM

formal verification engineer at Ethereum DEV

興味：計算機科学（特にBird-Meertens Formalismやプログラム意味論等）、数学（特に圏論、抽象代数、relation algebra等）、アニメ（特にカンピオーネ!等ディオメディアさん作品等）

セキュリティ、FP、いろいろ

小山洋一: 彦根市出身, KUIS&KMC(1991~), kutsuda(1994~), yuasa-lab(1996~), TNT(1999~), 一児の父(2005~), Haskeller, NICT HANA http://www.nict.go.jp/press/2014/06/03-1.html, LLVM/Clang いじり等

write(*,*) transfer((/3.37879702E-09,3.7246940,2.80313895E+23,1.31787805E+25,1.02304849E-38/),(/'a'/)); end

Design and Development at Misoca from PHANTOM TYPE.

あんまりプログラム書いたことない無能