addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Shingo O.

Location:

San Francisco, CA

Member since:

August 30, 2012

Networks

How familiar are you with category theory?

fundamentals only. enough to understand original haskell's typeclassopedia. keyword: functor, natural transformation, (co-)limit, pullback/pushout, adjunction, (co-)monad, (co-)kleisli, distributive law(beck's theorem), string diagram, ...

How familiar are you with type theory?

less than category theory. I'm reading Pierce's introductory book.

How's your functional programming level?

introductory level, I think.

Introduction

I like types and typed language. I wrote a japanese translation of typeclasspedia in scala. http://typeclasso...­


Member of 125 other Meetups

Interests

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy