Conversation

Andy Matuschak

@andy_matuschak

Code is data is code. Nice overview of why this matters: http://blog.jle.im/entry/first-class-statements… I'd argue Lisp expresses this more directly than IO.

blog.jle.im

First-Class "Statements"

One thing I’ve really always appreciated about Haskell is that all “statements” in Haskell (or at least, what would be statements in other languages) are first-class members of the language. That is,...

4:00 PM · May 17, 2015·Twitter for iPhone

9

Retweets

43

Likes

soroush

@khanlou

·

May 17, 2015

Replying to

@andy_matuschak

@andy_matuschak

http://blog.rongarret.info/2015/05/why-lisp.html… this post on the same subject really opened my eyes

1

BJ Homer

@bjhomer

·

May 17, 2015

Replying to

@andy_matuschak

@andy_matuschak

This is the first explanation of IO that makes sense to me. Represents “The act of doing X” vs. “the real world”. Thank you!

1

@JoeOsborn@scholar.social

@JoeOsborn

·

May 17, 2015

Replying to

@andy_matuschak

@andy_matuschak

Prolog is similar—goals are regular data structures which are 'call'ed, with implicit calls only at the root of a pred. defn

1