addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Dan S.


Tel Aviv-Yafo
Hometown: Chiang Mai, Thailand

Member since:

April 14, 2012

What are your favourite programming languages?

My favorite programming language depends on the application. For the kind of work I do now, ML is the best choice. I used to be interested in lazy languages like Haskell, but now think their runtime behavior is too hard to predict. I also used to be passionate about languages with dependent types, such as Agda and Epigram, but I have become a grumpy old man who no longer believes that Curry Howard is so compelling. I also gave up on ever understanding equality in those languages. I follow the development of programming languages and tools for meta programming (macros) with great interest. On a more practical note I would love to learn GWT with HTML5, but I have not yet found a compelling enough application to warrant the investment.


My main interest is in proof assistants. Since 2011 I work as independent researcher proving HOL Light correct in itself. Before that I worked as programmer in Henk Barendregts group in Nijmegen mainly on Coq.

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