virt-v2v VS roc

In virt-v2v we eventually enforced that every module file also has a corresponding interface file: https://github.com/libguestfs/virt-v2v/blob/master/check-mli...

You can look at the project yourself: https://github.com/libguestfs/virt-v2v I've been writing OCaml for 20+ years and C for 40 years.

I develop in OCaml from time to time, and it's pretty practical. Separate compilation, makes small-ish binaries that most people wouldn't know weren't written in C/C++, easily call out to C if you need to. We steer clear of the more complex language features like functors because they confuse most programmers.

Here's an example of one very widely used production application: https://github.com/libguestfs/virt-v2v/tree/master/v2v

XPath is the real killer feature for XML. I don't think it's possible to use it in this particular example, but in the more generally useful cases where you want to pull (eg) all subnodes with key matching a particular string, XPath is great.

Here's it being used in real code (search for "xpath_"):

https://github.com/libguestfs/virt-v2v/blob/master/v2v/parse...

https://github.com/libguestfs/virt-v2v/blob/master/v2v/parse...

Their FAQ is an eminently reasonable breakdown of their choices:

https://github.com/roc-lang/roc/blob/main/FAQ.md

I don't fully agree with all of the reasoning, but it's a reasonable position to stake.

If you forget what parametrisation and functions are, then Roc's modules look like they actually do that.

Reminds me of: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-doesnt-...

> How would a user interface written in a functional language look?

Maybe you're not aware of Elm?

https://elm-lang.org

Elm is really functional, unlike the likes of React that are just partially, kind of functional.

There's an attempt at bringing Elm to the desktop, the Roc language... here's an UI example written in Roc:

https://github.com/roc-lang/roc/blob/main/examples/gui/hello...

What are your thoughts on the direct descendant, Roc? [0] I know it's pre v0.1 so maybe you don't have any, but as a fellow Elm lover it seems pretty compelling on the surface albeit less directly frontend-dev focused.

[0] https://github.com/roc-lang/roc

I might be misunderstanding something, but, for example, look at this "host"/platform: https://github.com/roc-lang/roc/blob/main/examples/cli/tui-platform/host.zig

You are not alone. The other day I was checking out a new programming language and the author rewrote the unsafe rust part to zig: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-does-ro...

Check out Roc[0][1] by Richard Feldman; it's early-stages (perhaps earlier stages than Elm?) but from everything I've seen it looks a bit like a spiritual successor to Elm, though focused more on native applications (but still seems to have its sights set on webassembly support too)

[0] https://www.roc-lang.org

[1] https://github.com/roc-lang/roc