panglesd

Very cool!

Does it replace identical expressions in the same scope? Like:

    let tau = 3.14 +. 3.14

becomes

    let pi = 3.14
    let tau = pi +. pi

?

EDIT: Or even crazier with function:

    let _ = (x + 1) + (y + 1)

becomes

    let plus_one a = a + 1
    let _ = (plus_one x) + (plus_one y)

(I ask this just out of curiosity. Even the "simpler" version is very impressive!)

Interesting experiment.

Would love to see a multiplayer version of this game!

Good question :) Many reasons, I could make a blog post about it!

First, let me start with the biggest drawback of using OCaml: it might prevent potential contributors from making contributions. That is very sad!

However, OCaml is the language I know the most. I use it at work and I'm very very satisfied with it. It's main strengths for me are its type system for maintainability, the tools around it (the lsp server, the build system dune, the autoformatter ocamlformat, ...) and the fact that it can compiles to Javascript! It also has some libraries of very high quality.

With a "single" codebase, leveraging the javascript ecosystem, I could make the compiler work as a statically linked binary, as a node script published on npm, inside a Tauri app, and inside a VSCode plugin. ("single" codebase in quote since I needed some specific code for each application, but the core logic is shared.)

For sure, the same could have been made with another language, but I knew OCaml, and knew I would have a pleasant experience using it for that.

(I even plan to rewrite the engine in OCaml. The engine was written in javascript quite quickly, at a time when I had no experience with largish projects. It is now very difficult to maintain and extend.)

Markdeep seems great!

Having modifiable source inside the html is a great idea. I'll still need to have a compile workflow to add image while keeping a standalone produced html file (and some other feature such as live-preview), but I'll definitely add this as a possible workflow.

Yes, that is exactly right!

This is one important thing for me: the produced file must be self contained. Even if images are included, they are embedded in the html file.

Thanks for the link, and the idea! Definitely a github action to automatically publish your Slipshow presentation on push would be a great workflow! (I'll open an issue for that!)

Yes, clearly this is not for every usecase.

I think math lectures often need quite some text support, they are the reason I created Slipshow.