did anyone else end up implementing the semantics of Functions3? I just finished mine and would like to compare
binding forms make everybody happy
@zenspider This is kind of related to the semi-spoilery stuff, yes, but the exact connection still isn’t obvious — I’d say that thread is still a spoiler
definitely! should I just PM you the code and we discuss?
sure!
And thanks for the hint. I finally also get one program that distinguishes all three functions lang :smile:
#lang RacketSchool/FunctionsAll
(defun (p x)
(if (zero? (+ x -50))
(++ 1 1)
(+ x 1)))
(defun (h x)
(if (zero? x)
0
(p (h (+ x -1)))))
(h 4)4
0
'stuck
@ettrai has joined the channel
fyi, I was trying to use RacketSchool/VariablesAll, but I was getting 'syntax-error until I updated the languages package again.
in case someone else runs into that
He also has a great talk called the birth and death of javascript
and that’s not even counting generators and async functions and …
If anyone here is unfamiliar with the joy of Google Translate, and why some of us laughed at that comment, see this video: https://www.youtube.com/watch?v=3-rfBsWmo0M
“On the expressive power of programming languages” https://link.springer.com/content/pdf/10.1007/3-540-52592-0_60.pdf
The Natural History Museum of Utah will be open until 9pm today and it is located very close to campus, about 15 minutes by foot. Admission is $15 for adults. They exhibit a whole lot of dinosaur fossils. There were a quite few others who were interested in going, so I’d propose to go to day after dinner, maybe around 6:30pm and spend the evening there until either we get bored or they throw us out.
NHMU website: https://nhmu.utah.edu/visit/hours Directions: http://bit.ly/2uaCveX
I’m in. Probably going to whisky street pub afterwards for dinner & homework-enhancing libations
Anyone know why this paper is so different from the springer link above? http://www.sciencedirect.com/science/article/pii/016764239190036W (I can’t link directly to it. Their CDN is stamped)
eg, mine has twice as many references in the back. Also section 2 is drastically different
possibly the “revised” bit under the title? I think the one I linked was ’90
hmm, doesn’t seem to be
would wager it’s the “revised” bit though.
yeah. I couldn’t find a date on yours… but “revised” seems a bit much given the differences I’ve found
do you recommend the sciencedirect edition over the springer edition?
On the expressive power of programming languages, pt 2: electric boogaloo
I do because you can actually use your mouse to highlight text… but not recommended on content differences yet. :slightly_smiling_face:
mine does seem extended a fair amount. look at the second paragraph in the first section
I might grab some of the other papers from that sciencedirect link.
@vincent_nys has joined the channel
I’m in. So dinner at… 6, meet up in the lobby at 6.30?
Okay, I’ll assume you meant dinner at 6.30…
I love (yet find it ridiculous) that (test-results) is special-cased to say Both tests passed.
@zenspider I believe there’s a case for a single test as well
I sorta wish I could get emacs to display emoji so I can name my test function :thumbsup:
yup
What happens when you try that?
comes up blank for me. might be my font setup? I dunno.
For me, it automatically falls back to Apple Color Emoji. DrRacket renders just blank like your Emacs, I’m afraid.
If you’re on a Mac, you’ll want t make sure you install emacs-plus via homebrew.
Emacs removed multicolor font support since it’s not supported on Linux.
I contributed a patch to the emacs-plus formula that reenables it.
People frequently use it with spacemacs, but there’s no requirement to do so.
Alternatively, there’s the emacs cask: brew cask install emacs. That’s how I installed it, anyway :slightly_smiling_face:
is there an addendum for the redex book anywhere? the syntax in the book is a bit crufty. not sure what else changed
I have a brew cask of emacs… hrm
@leafac hrm. nope. I just reinstalled via that. same problem.
emacs-plus… nope. that thing is a monster…