align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditemptyheartfacebookfullheartglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

Dan S.

Location:

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.

Introduction

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