jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
31 posts
252 followers
136 following
Regular Contributor
Active Commenter
comment in response to
post
For years I've been trying to convince people to use monadic parsers instead of regex for everything.
hackage.haskell.org/package/repl...
Your essay about bicameral syntax is the first time I've read a principled reason (other than speed) about why a regular parsing pass is a good idea.
comment in response to
post
So, thank you Microsoft, I guess.
comment in response to
post
Thank your for posting that.
comment in response to
post
In 1997 Wadler and Jones published the Haskell language, so now in Haskell we can program do-this-thing-then-do-that-thing by using only IO Monad expressions, no statements. Happily, forever.
comment in response to
post
Wadler solved the problem of saying do-this-thing-then-do-that-thing using only expressions by adopting the Monad described by logician Eugenio Moggi.
homepages.inf.ed.ac.uk/wadler/paper...
comment in response to
post
Act III Climax and Resolution
In 1987 the great computer scientists Simon Peyton Jones and Philip Wadler decided that the good part of computer programming was the expressions, and the bad part was the statements.
comment in response to
post
Later, at IBM, Backus tried to create a language named Function Level which could say do-this-thing-then-do-that-thing using only expressions. IBM never published the Function Level language, and the source code was lost.
worrydream.com/refs/Backus_...
comment in response to
post
In his Turing Award lecture entitled Can Programming Be Liberated from the Von Neumann Style, he condemned his language, Fortran, and all other languages, as “fat and weak.” Backus warned the that languages with statements would “make their expressive weakness and their cancerous growth inevitable.”
comment in response to
post
Act II Rising Action
In 1977 the great computer scientist John Backus decided that the good part of computer programming was the expressions, and the bad part was the statements.
comment in response to
post
Landin abandoned his effort to rid programming of statements and joined the Gay Liberation Front.
www.cs.cmu.edu/~crary/819-f...
comment in response to
post
In Landin’s paper The Next 700 Programming Languages, he invented the ISWIM language “biased towards expressions rather than statements,” but he failed to excise the statements. He failed because he couldn’t figure out how to say do-this-thing-then-do-that-thing in ISWIM by using only expressions.
comment in response to
post
banger
comment in response to
post
Just ordered Strange and Norrell for Christmas, thanks for making me aware.
comment in response to
post
I was ALF's opponent and I lost. I blame my advisors, who told me to campaign on culture war stuff.
comment in response to
post
what is this movie
comment in response to
post
I searched for your name because I want to read your posts.
comment in response to
post
Edifice is for the situation where you must use Python and you want a native desktop GUI.
comment in response to
post
obtention: “the action of obtaining something.”
Yeah good one.
comment in response to
post
In Massachusetts.
Hell yes.
comment in response to
post
What does it mean though
comment in response to
post
I saw Douglass Adams speak before he died, I guess it was about the year 1994. He was not funny at all, and instead warned us of environmental collapse. We of course were disappointed and inattentive.