226 reputation
16
bio website
location
age
visits member for 3 years, 6 months
seen Jul 29 at 0:22

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?