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-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Bernd Jürgen S.

Location:

Berlin
Hometown: Berlin

Member since:

February 26, 2014

Networks

What got you interested in this group? (Are you here for the programming languages, the theorems, or the types?)

No answer yet

What's your favorite programming language?

My currently future goal is Idris.

What 's one thing your favorite programming language does wrong, and how would you fix it?

No Eclipse nor IntelliJ Idea support like Haskell, OCaml, Scala

What programming-language-related or type-theoretic idea are you most curious about, or most intrigued by?

Influence of HOTT (Homotopy Type Theory)

Who would win in a fight: Ada Lovelace with the power of flight, or Alonzo Church with the power of invisibility?

No answer yet

Introduction

I am at the beginning of "Teach Yourself (Dependently Typed) Programming in Ten Years" - The original citation without the content in brackets is from Peter Norvig


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