Re: [9fans] APL for Plan 9?

2018-09-07 Thread Xiao-Yong Jin
> On Sep 7, 2018, at 1:35 AM, Rudolf Sykora wrote: > > But. There are several parts of the system: jlibrary, jconsole, jqt. > The first two I finally managed to compile on OpenBSD, I failed with > jqt (which is a very nice qt-based environment, btw.) And nobody will > use the latter on Plan9.

Re: [9fans] Is Plan 9 C "Less Dangerous?"

2018-09-07 Thread Richard Miller
> This looks like it fits the bill: open, small, simple. How was it formally > verified? http://www.clifford.at/papers/2017/riscv-formal/slides.pdf > How can I help with the compiler port? Compiling & testing lots of library code would likely reveal remaining bugs. Also it might be useful to

Re: [9fans] APL for Plan 9?

2018-09-07 Thread Bakul Shah
On Fri, 07 Sep 2018 08:35:23 +0200 Rudolf Sykora wrote: > I also note that there now exists a GPL'd version of the K language, > Kona. That one was straightforward to build on OpenBSD. Kona uses mmap so not so easy to port. If you are used to normal C style, kona code style will be very hard to

Re: [9fans] APL for Plan 9?

2018-09-07 Thread Rudolf Sykora
Hello, On Thu, 6 Sep 2018 at 19:36, Richard Miller <9f...@hamnavoe.com> wrote: > > There's a Plan 9 port of J 3.02 in /n/sources/contrib/miller/j/8.j > > > > 386 executable only, as I don't have permission to share source, but I can > > compile for other $objtypes on request. > > I recall the