An O(x)Caml book that runs

Are these first-year undergrad courses? We can't assume students know anything about Docker or can even install packages on their systems. Some of them really have no idea at all, so pointing them to codeBoot saves a lot of time. Docker would definitely work for more experienced students though!

BTW, here's another quite nice feature of codeBoot: easy sharing! The following link will bring you to a suspended execution of 'print("hello, world!")' that you can then single-step.

https://app.codeboot.org/6.0.0/?init=.faGVsbG9fd29ybGQucHk=~...

Now I'm very curious about integrating OCaml too :)

I hate to second the grandparent, but perhaps the install process is the most difficult part for the instructor because it is at a stage where the instructor feels 90% responsible for the outcomes.

A criticism like “I didn’t understand recursive functions” is a student problem. A criticism like “the instructions to install the environment never worked” is much more clearly a problem of the instructions. Even if, as you said, there are subtleties.

I will maintain that the only way the install process is actually the most difficult part for the student is if they are already a competent programmer. Which seems unlikely for a class like this.

In my experience you can just tell AI to install it and it will figure out all of those quirks on its own.

A friend let me host a site on his server, I learned to use FTP (with a firefox add-on he recommended) to copy up HTML files. Later he saw how much duplication I was doing and showed me the humble include statement while using PHP, and pointed towards a book, and I learned to program that way by uploading PHP scripts and running them by visiting their URL. It was some time later before I succeeded in installing a local WAMP stack, even later switching to Linux at home, but if that was a prerequisite I might have bounced. Web technology even just from the backend perspective was a huge enabler.

Still, I don't know if such things are the biggest obstacles, I remember the conceptual hurdle of the for loop syntax being pretty difficult to overcome. (I crashed my friend's server once with a very long loop echoing stuff each iteration that I might have tried opening in multiple tabs at once too.)

I've also seen such initial setup hurdles justified as filters: if you can't handle this, well, programming is full of such obstacles (bigger, smaller, or about the same size left unstated), so maybe it's for the best you just give up now since you probably won't make it. I generally don't like that excuse, and appreciate that getting into programming has been made so easy, but at the same time when a lot of effort has been made into making something so easy (even if not quite as easy as it could be, or as easy as something else) and people still bounce off their first setup difficulty, I sympathize with those who think good riddance, especially if the person isn't an absolute beginner. The horse and water adage always applies.

Oh, I see, so there's no way to boot a 32-bit Unikernel on "bare metal" then?