Comments URL: https://news.ycombinator.com/item?id=47122204

Points: 2

# Comments: 0

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

    let tau = 3.14 +. 3.14

    let pi = 3.14
    let tau = pi +. pi

EDIT: Or even crazier with function:

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

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

Comments URL: https://news.ycombinator.com/item?id=44942019

Points: 1

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=44823837

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=44487329

Points: 1

# Comments: 0

Would love to see a multiplayer version of this game!

Comments URL: https://news.ycombinator.com/item?id=41764098

Points: 3

# Comments: 0

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.)

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.

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.

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

Sometimes, I used the analogy of a big papyrus roll (like this one: https://pgi-shop.de/en/papyrus-roll-20-x-80-double/) to explain what is Slipshow. But your analogy is much better!

- You can write a Slipshow presentation in Markdown, which can be more convenient than in those collaborative whiteboards (depending on the person): the source file is plain text. - Slipshow is made for presentations, so it is themed for that: the usual ratio for the screen, blocks such as example/theorem/definition, titles, ... - It is easy in Slipshow to reveal new content/go to a new position by simply pressing the "right arrow" key. - The output from Slipshow is a single file that you can view offline, send to your audience, ...

There might be more differences. For sure, those tools are different and adapted to a purpose, or a style of presenting. For some kind of presentations, Miro and Figjam might be much better than Slipshow!

Comments URL: https://news.ycombinator.com/item?id=40509638

Points: 229

# Comments: 43