addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Who we are

People interested in Haskell/Functional programming/Static typing/Math/Theorem proving

(英語が主に話されていますが、日本語ができる人も大勢います。なので日本語でも全く大丈夫です。)

What we do

Meet somewhere in Tokyo to discuss the above topics. The group is quite new and members are quite few, so we are still trying to figure out every one's levels and what people want to focus on in this group. We dont't have a steady location yet so we usually meet in some co-working space.

Recent topics

• The edx FP101x course by Erik Meijer

• Theorem proving/dependent types/Idris/Coq/Other stuff that we have no clue about yet

• General Haskell topics, eg Applicatives/Monads

We also have an IRC channel on the Freenode network, #haskell-tokyo where you can join and chat with us.

Also see http://haskell.tokyo/ for other Haskell groups in Tokyo.

ジョインして新着Meetupイベントのお知らせをいち早く受け取る
フェイスブックでログインして見つける
Meetupのアカウントを作成することで利用規約に合意したことになります

main = putStrLn "Welcome"­

最近あったMeetupイベント

最新情報

 

この参加メンバーが参加した他のMeetup

登録する

Meetupメンバー: ログインしてください。

「サインアップ」または「Facebookを使ってサインアップする」のいずれかをクリックすることで、あなたは弊社の利用規約 & プライバシー ポリシーに合意したとみなされます。