Hacker News new | comments | show | ask | jobs | submit login

We indeed have a similar list. Habit had slipped from my memory. I really wish Cyclone gets resurrected. There was quite a bit of discussion on HN when its closure(no pun intended) was announced. You may like digging into Felix.

Apart from this family the other I have been window-shopping on is the high performance/productivity family, consisting of the likes X10, Chapel and Fortress. Thanks to Oracle, Fortress is now abandonware.

Off late I have been quite disappointed by this trend in HN to be very hostile to things that I would consider to be the very distinguishing traits of a Hacker. Now it seems some people here compete to jump over the other to complain against things that encourage/facilitate or are meant for tweaking, learning, exploring and breaking: all things that I consider the very essence of hacking. Case in point, recent discussion on Gentoo.

The behavior reminds me of a bunch of desperate and wannabe Pink Floyd fans we had in college, who would jump to rally the crowd to disco to the opening strains of Another Brick in the Wall, much to our bewilderment but apparently to look cool.

There is always Java, if you are happy with it, stay happy with it.

I've actually never programmed in Java (just a little Clojure). I'm hoping to take a class in it this fall.

Felix is on my big list of interesting languages, but I didn't really think of it in the same category as these. I'm sort of aiming for something better than C when I get around to writing an OS kernel, you know, "someday".

I wrote a little OS dev 'starter' for Nimrod which might interest you: https://github.com/dom96/nimkernel

Oh! the Java comment was not for you.

I think for your use case decac, clay, bitC and Cyclone would indeed be ideal. There is this Haskell like language with effects based typesystem that might be worth looking at, the name continues to escape me.

One can go very low level with Felix, after all you can write inline C, C++ and define C and C++ functions, but those are not type checked. ABI could also be an issue given that it compiles to C++.

All the best for fun with kernel writing :)

> There is this Haskell like language with effects based typesystem that might be worth looking at, the name continues to escape me.

Disciple ? (DDC) http://disciple.ouroborus.net/

Don't say someday, look at Remo and do it like he did, just use one of these languages in your everyday projects.


By "someday" I mean "after I finish a bunch of other more pressing projects". ;)

Applications are open for YC Winter 2018

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact