41–50 of 65 posts
Does anyone know of anything like SICP, but that integrates more type theory into it? Like an SICP for OCaml or Haskell? Something challenging yet doable for a determined independent student.
I have a very specific question about starting out on SICP. A few months back, I worked through roughly half the exercises in the book. I got stuck on 2.2.4 (a picture language)[1] and was unable to run any of the examples or test any of the exercises. Is there some prerequisite library for these exercises? Or am I missing the point and these are not actually intended to be run? 1. http://mitpress.mit.edu/sicp/full-t…
Check it out here:
I have a very specific question about starting out on SICP. A few months back, I worked through roughly half the exercises in the book. I got stuck on 2.2.4 (a picture language)[1] and was unable to run any of the examples or test any of the exercises. Is there some prerequisite library for these exercises? Or am I missing the point and these are not actually intended to be run? 1. http://mitpress.mit.edu/sicp/full-t…
...but don't see the code needed there to draw graphics. Eli's online solution did, I believe, manage to get graphics working with a non-MIT-Scheme Scheme. But it's not necessary to have running code here to get the benefits of the exercises (unlike later in Chapter 3 and 4!).
Does anyone know of anything like SICP, but that integrates more type theory into it? Like an SICP for OCaml or Haskell? Something challenging yet doable for a determined independent student.
I've been looking around for a good way to learn type theory via self-study, and my current plan is to go through these courses on my own:
1) http://www.cs.cmu.edu/~rwh/courses/typesys/ 2) http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/
1 uses Robert Harper's Practical Foundations for Programming Languages (and was taught by him) and 2 uses PFPL plus Benjamin Pierce's Types and Programming Languages. Both courses have lecture notes and readings for each session as well as homework assignments with solutions which ought to make them straightforward to go through on your own.
There's also these Type/Category/Proof Theory Foundations videos (with Robert Harper as well): https://www.youtube.com/playlist?list=PL8Ky8lYL8-Oh7awp0sqa8...
I found these by doing some Googling and evaluating various forums/Stack Exchange posts; if anyone has any better suggestions I would love to hear them. (I haven't done SICP in depth and now, of course, I'm considering putting this plan on hold and doing SICP instead...)
FUCK THAT SHIT I CAN'T STAND ANYMORE FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT FUCK IT FUCK THAT SHIT FUCK IT FUCK IT F…
If folks are interested in having a person to talk to while doing SICP, we're doing it in the iPad app we released last Thursday. We were going to do a Show HN, but hey, HN's already talking SICP! Understudy: https://itunes.apple.com/us/app/understudy/id782635884 The setup is basically like private music lessons. We pair you with a somewhat more advanced student also doing SICP. The deal is to (1) Work on SICP by you…
Cool idea, will be curious to see how it goes (don't own iStuff so can't directly participate). Live remote video-learning, I've found, tends to require a good friend of comparable skill level to work. If you discover that strangers can make this work sustainably, that's definitely interesting and important.
This is an asymmetric setup. You talk through whatever material the less-advanced student got through that week. More like YC office hours.
I have a very specific question about starting out on SICP. A few months back, I worked through roughly half the exercises in the book. I got stuck on 2.2.4 (a picture language)[1] and was unable to run any of the examples or test any of the exercises. Is there some prerequisite library for these exercises? Or am I missing the point and these are not actually intended to be run? 1. http://mitpress.mit.edu/sicp/full-t…
I believe there is a language for Racket which has what you need in it, I used that when I got to the picture language bit. Check it out here: http://www.neilvandyke.org/racket-sicp/
The DrRacket SICP package has only one primitive image, "einstein".
Does anyone know of anything like SICP, but that integrates more type theory into it? Like an SICP for OCaml or Haskell? Something challenging yet doable for a determined independent student.
This isn't quite about OCaml or Haskell, but might be relevant. I've been looking around for a good way to learn type theory via self-study, and my current plan is to go through these courses on my own: 1) http://www.cs.cmu.edu/~rwh/courses/typesys/ 2) http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/ 1 uses Robert Harper's Practical Foundations for Programming Languages (and was taught by him) and 2 uses PFPL p…
I haven't found anything like SICP (thus my question), but I feel compelled to mention two great practical repos I discovered yesterday thanks to HN, both of which are teaching me a lot about practical type systems:
1. https://github.com/tomprimozic/type-systems (great practical intro to Hindley-Milner and variations)
2. https://github.com/typeclassy/plzoo (collection of mini languages implemented in OCaml, many of which feature different type systems)
Edit: Can't reply to jcurbo yet, but I'd be really interested in that Haskell link if you can remember it.