Re: Reviewing Hurd-on-L4 (and considering its future?)

--000000000000c04ec5056d547f4b
Content-Type: text/plain; charset="UTF-8"

On Tue, 29 May 2018, 4:24 pm Nala Ginrut, <[email protected]> wrote:

>
> William ML Leslie writes:
>
> > I wasn't talking about things that are now features of GNU/Linux,
> > rather things anyone should probably consider doing differently in
> > hurd-ng; like safe languages for essential features and better support
> > for asynchronity.
>
> Speaking safe languages, are you proposing another language like Rust to
> replace C? I think it's interesting to write another Hurdish kernel with
> Rust, but I still don't know if it could be accepted as a side-project of
> Hurd.
>

Rust is one option. But remember that the Hurd is not a kernel, it is
user-space implementation of functionality that has typically lived in the
kernel. For the sake of both security and ease of development, critical
parts could be written in rust (or ATS, or Nim), and less critical parts in
guile or so.

Anyway, it's using name mangling like C++ which is bad for FFI (foreign
> function interface) to bind dynamic languages. I ever thought to write a
> thing like cl-Hurd with Guile.
>

We learned a lot from Arne's python bindings. Add language binding to the
list of priorities that should be higher.

--000000000000c04ec5056d547f4b
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto"><div><br><br><div class=3D"gmail_quote"><div dir=3D"ltr">=
On Tue, 29 May 2018, 4:24 pm Nala Ginrut, &lt;<a href=3D"mailto:[email protected]=
rg">[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote"=
 style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><b=
r>
William ML Leslie writes:<br>
<br>
&gt; I wasn&#39;t talking about things that are now features of GNU/Linux,<=
br>
&gt; rather things anyone should probably consider doing differently in<br>
&gt; hurd-ng; like safe languages for essential features and better support=
<br>
&gt; for asynchronity.<br>
<br>
Speaking safe languages, are you proposing another language like Rust to<br=
>
replace C? I think it&#39;s interesting to write another Hurdish kernel wit=
h<br>
Rust, but I still don&#39;t know if it could be accepted as a side-project =
of Hurd.<br></blockquote></div></div><div dir=3D"auto"><br></div><div dir=
=3D"auto">Rust is one option. But remember that the Hurd is not a kernel, i=
t is user-space implementation of functionality that has typically lived in=
 the kernel. For the sake of both security and ease of development, critica=
l parts could be written in rust (or ATS, or Nim), and less critical parts =
in guile or so.</div><div dir=3D"auto"><br></div><div dir=3D"auto"><div cla=
ss=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 =
.8ex;border-left:1px #ccc solid;padding-left:1ex">
Anyway, it&#39;s using name mangling like C++ which is bad for FFI (foreign=
<br>
function interface) to bind dynamic languages. I ever thought to write a<br=
>
thing like cl-Hurd with Guile.<br></blockquote></div></div><div dir=3D"auto=
"><br></div><div dir=3D"auto">We learned a lot from Arne&#39;s python bindi=
ngs. Add language binding to the list of priorities that should be higher.=
=C2=A0</div></div>

--000000000000c04ec5056d547f4b--