226 reputation
16
bio website
location
age
visits member for 3 years, 8 months
seen 22 hours ago

Jul
29
comment How do existential types differ from interfaces?
nope. cf william cook paper.
Apr
17
comment How do you encode Algebraic Data Types in a C#- or Java-like language?
but this does not compose : you have no way to specialize type A without having to assert it through a cast (I think)
Sep
15
awarded  Popular Question
Apr
8
awarded  Yearling
Mar
6
awarded  Nice Question
Dec
31
comment Ruby but not Rails on my Resume
Add a skill of hurting headhunter who can't read resume
Dec
26
comment Y combinator and tail call optimizations
in the case of a straight untied recursion it does not : however you can rewrite it to allow for such thing subject to the fact the stack frame is reused through the y call. yeah might need to see the IL, no experience in that.
Dec
26
awarded  Editor
Dec
26
comment Y combinator and tail call optimizations
indeed, thanks.
Dec
26
revised Y combinator and tail call optimizations
added 4 characters in body
Dec
26
awarded  Student
Dec
26
asked Y combinator and tail call optimizations
Nov
14
comment Why doesn't Mono implement WPF?
Do you have any reasonable justification for not doing it yourself ?
Apr
17
comment Is the creation of brand new software generally a major part of most programming jobs?
@marek it can indeed be both.
Feb
29
awarded  Supporter
Feb
29
comment why do some job posts say “high pressure environment”?
+1 this is totally correct based on my experience
Jul
16
awarded  Teacher
Jul
15
answered What is the term for IntelliSense in a non-Microsoft world?