Viewing profile — dmbaturin

Delegating the complexity to the user was my biggest motivation behind many features of soupault. Hugo has two different Markdown libraries baked in and you have to choose them, an…

I was wondering if that part should have been the main page slogan: "Soupault’s DOM manipulation is as powerful as client-side JavaScript (without interactivity, of course), but th…

For soupault, library availability was actually a key factor: lambdasoup [1] is one of the best HTML parsing libraries if you want to automatically edit element trees, not just ext…

The key idea of soupault is that it works on the HTML element tree level and can automatically call external convertors on pages (based on page file extensions, see [1]), so the in…

There's a users page ( https://soupault.app/users/ ), most come with source code links. ocamlbook.org may be the most illustrative one: it exploits soupault's ability to pipe HTML …

I'm glad someone recognized the CHIM reference, but I'm surprised that the entry for AASR (Ancient and Accepted Scottish Rite) hasn't caught anyone's eye as being just as out of pl…

I'm a bit confused by its pictures. It has a scroll wheel, right? How's the build-in wrist pad? I'm still using a Kensington Expert Mouse. Anyone tried those vertical mice? To me i…

I'm not against the REPL (perhaps I should even describe its usage in more detail). In fact, I use it all the time. I'm against books like Learn You A Haskell that leave the reader…

I haven't used gRPC as such, but for protobuf specifically, ocaml-protoc works well for me.

This would work: let _ = let this_integer = read_int () in print_int (this_integer * this_integer); print_newline () I agree part 1 should explain more of the basic syntax. The who…

It will appear when (and I hope it's when rather than if) I complete the series. Then I'll typeset it properly and release the source under CC-BY-SA or another free license and mak…

Do you have a (more or less) formal description of the type system?

OCaml has separate compilation, a REPL, and it's very fast. None of those things is incompatible with global type inference (although particular type systems can be).

Some languages, like ML family or Haskell, make it an organic part of the language, so beginners doesn't need to worry about the concept to use it. When first exposed to ML/Haskell…