[Caml-list] dune has an infortunate tool name collision

[Caml-list] dune has an infortunate tool name collision

[Hendrik Boom]

dune is a new packaging tool for ocaml.

Unfortunately, dune is also a Distributed and Unified Numerics 
Environment, used for splving partial differential equations: 
https://www.dune-project.org/

Should one of the names be changed?

-- hendrik

Re: [Caml-list] dune has an infortunate tool name collision

[Viet Le]

[-- Attachment #1: Type: text/plain, Size: 758 bytes --]

But the C++ dune project has no OCaml library. A new OCaml wrapper must be
named differently then:

https://gitlab.dune-project.org/staging/dune-functions


On Sun, 2 Dec 2018 at 18:05, Hendrik Boom <hendrik@topoi.pooq.com> wrote:

> dune is a new packaging tool for ocaml.
>
> Unfortunately, dune is also a Distributed and Unified Numerics
> Environment, used for splving partial differential equations:
> https://www.dune-project.org/
>
> Should one of the names be changed?
>
> -- hendrik
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> https://inbox.ocaml.org/caml-list
> Forum: https://discuss.ocaml.org/
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
-- 
Kind regards,
Viet

[-- Attachment #2: Type: text/html, Size: 1737 bytes --]

Re: [Caml-list] dune has an infortunate tool name collision

[Rudi Grinberg]

Hendrik Boom <hendrik@topoi.pooq.com> writes:

> dune is a new packaging tool for ocaml.
>
> Unfortunately, dune is also a Distributed and Unified Numerics 
> Environment, used for splving partial differential equations: 
> https://www.dune-project.org/
>
> Should one of the names be changed?

It's unlikely that dune will change its name again. As you might know,
dune already renamed itself once (it was formerly known as jbuilder) and
we aren't eager to make another such painful transition. We are still
supporting the old name today for backwards compatibility for example.

In any case, these naming collisions are inevitable in the software
world and no new name guarantees that future collisions will not arise.