184 reputation
4
bio website blog.acfoltzer.net
location Bloomington, IN
age 27
visits member for 3 years, 9 months
seen Apr 17 at 1:05

Full-time Computer Science Master's student at Indiana University, part-time Java EE developer at Indiana University.


Oct
8
comment What can Haskell's type system do that Java's can't and vice versa?
Isn't this higher-kinded polymorphism, rather than rank 1 vs n?
Aug
20
comment Critique of the IO monad being viewed as a state monad operating on the world
Off the top of my head, the comments here are a good start
Mar
14
comment What did Ruby do right (or was it Rails)?
+1 for Lisp/Mars. Where does that place Haskell?
Feb
1
answered Is there a specific purpose for heterogeneous lists?
Nov
22
comment A programming language that does not allow IO. Haskell is not a pure language
Re: "This program has no side effects, is referentially transparent and counts as 100% pure", this only holds if we ascribe a whole lot of extra meaning to the RealWorld# baton passed between IO actions. In reality, it's just a token, so it is not a ticket to referential transparency of IO actions. The argument gets even weaker in the presence of threads, since now each thread has a RealWorld#, and who's to decide which one is "accurate"?
Jun
9
comment Is the Lisp “family” of languages any more closely related than the “C-like-syntax” family?
@compman: a term rewriter in ACL2 that we wanted to be able to use in Scheme rather than requiring all of ACL2
Apr
10
awarded  Editor
Apr
10
revised Is the Lisp “family” of languages any more closely related than the “C-like-syntax” family?
added 25 characters in body
Apr
10
comment Is the Lisp “family” of languages any more closely related than the “C-like-syntax” family?
@Nemanja thanks! had no idea
Apr
9
awarded  Teacher
Apr
9
answered Is the Lisp “family” of languages any more closely related than the “C-like-syntax” family?
Jan
20
awarded  Supporter
Jan
20
awarded  Autobiographer