Ask HN: What less-popular systems programming language are you using?

122 points by fuzztester 2 days ago

Less popular or less commonly used ones.

By that, I mean, not including the usual suspects, such as C, C++, Rust and Go (I know the controversy about the last one being a systems programming language or not).

I'm asking this because I used C for both application programming and systems programming, early in my career, before I moved to using other languages such as Java and Python.

And of late, I've been wanting to get back to doing some systems programming, but preferably in a more modern language (than C) which is meant for that.

yellowapple 6 hours ago

I've pretty much settled on Zig at this point, if only for how dead-simple it is to cross-compile for other hardware platforms. The process of compiling working code for oddball platforms (in my case the Nintendo 64) was way easier than I expected it to be.

The only downside is the stdlib being as fast-moving of a target as it is. Right now I've had to put a pin on getting panic stack traces to work on my N64 code because apparently the upcoming release changes a bunch of stuff around panic/stacktrace handling (and it's already changed quite a bit over the years even before these new changes).

  • Galanwe an hour ago

    > The only downside is the stdlib being as fast-moving of a target as it is.

    Ah that's an interesting take, my opinion is that the stdlib doesn't move fast enough.

    In its current state it's pretty broken, most of the "process", "os" and "posix" modules are either straight up raising unreachable in normal scenarios, or simply badly designed. I would like the stdlib to be much more fast moving and fix all these issues, but I had the impression most work on it is frozen until 0.15 or 0.16, after incremental compilation is done.

  • archargelod an hour ago

    > how dead-simple it is to cross-compile for other hardware platforms

    The fact that zig can compile C code makes it useful for other languages too. I recently started using `zig cc` to cross-compile Nim for lots of different platforms within the same environment.

    It takes no time to setup and, honestly, works like magic.

    • csdvrx 41 minutes ago

      I like Perl mostly because it's poetic (the code is super nice to read, with variable types standing out thanks to sigils), but another core strength is how very fast and light it is.

      Instead of "cross-compiling" or just running a native perl interpreter (there's one for about every platform!), I prefer how Actually Portable Executables make Perl multiplatform with just 1 binary asset running everywhere!

      I wanted to write a webserver processing CGI to learn more about the "old school web", so I wrote https://github.com/csdvrx/PerlPleBean and the simplicity of just downloading and running the .com on anything is very nice

      I'm now trying to do the same in Python3, but it's not as fun - and I'm not yet to the part where I will try to safely run python code within the python webserver, either through restrictedpython or ast.parse(), ast.walk(), eval(compile()) ...

  • nyjah 6 hours ago

    What N64 code are you working on? I am intrigued.

pjmlp an hour ago

That would be mix of D, Object Pascal, Swift, Ada, C#, Java.

A few decades ago plenty of Oberon dialects.

As language geek, I randomly select languages when doing hobby coding.

Regarding Go's remark, even if I dislike Go's authors decisions, back in my day writing compilers, linkers, firmware, networking stacks, and OS services was considered systems programming.

Likewise .NET team has been making wonders catching up to what C# 1.0 should have been for low level code, given its Delphi linage.

Java, in the context of being whole Android userspace, including drivers, there is very little systems exposed in the NDK. Vulkan is one of the few things not exposed to Java land, and that is being fixed with WebGPU like API in an upcoming version.

creakingstairs 6 hours ago

I've been using Odin [1] for my hobby game development and I've been liking it a lot. Feels like a more ergonomic C.

Things I like:

- Vendor libraries like Raylib and MicroUI make it easy to get started

- I can pass around memory allocators and loggers implicitly using context, or explicitly if I need to.

- natively supports vector math and swizzling

- error handling with `or_else` and `or_return`

Things I don't like:

- Name spacing is a bit annoying. The convention is to prefix the procedures but I don't like how they look. It really isn't a big issue.

Have a quick read of the overview and if you are still interested, I highly recommand 'Understanding the Odin Programming Language' book by Karl Zylinski [2]

[1] https://odin-lang.org/docs/overview/

[2] https://odinbook.com/

  • johnisgood an hour ago

    I like Odin, but the creator is not too motivational (or rather, actively un-motivational)[1]. I still use it nonetheless for some of my own stuff, for now.

    Regardless, I do recommend people to try it out. I use Linux and OpenBSD, too, despite Linus and Theo. :)

    [1] The reason for why I think this can be found in their pull requests, but it's been some time I think.

kagevf 44 minutes ago

OK, here's a pretty niche blast from the past: the boo programming language. It ran on the CLR (.NET) and had syntax similar to python. I recall using it back around 2006 - 2008 because it offered scripting features for .NET on Windows.

https://boo-language.github.io/ "A scarily powerful language for .Net". I didn't use it for too long before switching to Iron Python.

atiedebee 34 minutes ago

I recently dabbled in "hare" which was quite a nice experienced.

I liked how the language stayed pretty simple compared to other C-replacements. The standard library is also pretty nice. It is however an extremely niche language, but still quite capable

  • sakras 32 minutes ago

    I was pretty excited about Hare until Devault said that Hare wouldn't be doing multithreading as he preferred multiprocessing. That was a pretty big dealbreaker for me. The rest of the language looks quite clean though!

    • shakna a minute ago

      [delayed]

kevlar700 2 days ago

Loving Ada without using exceptions or inheritance on embedded and desktop. Some love Ada full OOP tagged types. I love Ada procedural style with privacy and abstract data types. I wish Flutter was written in Ada but atleast Dart is better than JavaScript atleast for procedural code without it's oop boiler plate. You don't actually need OOP for widgets.

  • linuxlizard 6 hours ago

    I'm a big fan of Ada. I first encountered exceptions in Ada. When I first saw Python, way back in version 1.5, I was happy to see exceptions.

gw2 2 days ago

C#. While a popular language, it is criminally overlooked for high-performance programming. Obviously, you can't use it for embedded or kernel development. For other use cases though, it can almost reach the performance of C/C++/Rust when written with proper care.

  • Const-me 6 hours ago

    > Obviously, you can't use it for embedded

    Embedded is diverse. I would not use .NET for small embedded, i.e. stuff running on Arduino or ESP32.

    However, I have successfully used .NET runtime in production for embedded software running on top of more performant SoCs, like 4 ARMv7 cores, couple GB RAM, Linux kernel. The software still has large pieces written in C and C++ (e.g. NanoVG rendering library) but all higher-level stuff like networking, file handling, and GUI are in memory-safe C#.

  • graboid 2 days ago

    I sometimes write C# in my day job. But I think I don't know much about how to write really fast C#. Do you have any recommendations for learning resources on that topic?

    • gw2 2 days ago

      Sure. Here are some resources:

      * Span<T>: https://learn.microsoft.com/en-us/archive/msdn-magazine/2018...

      * C# now has a limited borrow checker-like mechanism to safely handle local references: https://em-tg.github.io/csborrow/

      * Here is a series of articles on the topic: https://www.stevejgordon.co.uk/writing-high-performance-csha...

      * In general, avoid enterprise style C# (ie., lots of class and design patterns) and features like LINQ which allocate a lot of temporaries.

      • graboid 2 days ago

        Thank you. I once read a bit about Span<T>, but some of this reference stuff is very new to me. Interesting, definitely. C# really is a big language nowadays...

        • neonsunset 2 days ago

          Spans are just a slice type, but those which any type based on contiguous memory can be coerced to (usually). I’m sure you’re already using them somewhere without realizing that. Their main use case in regular code is zero-cost slicing e.g. text.AsSpan(2..8).

      • xigoi 2 days ago

        C# is specifically designed for enterprise-style OOP, so if you want to avoid that, why use C# at all?

        • gw2 2 days ago

          > C# is specifically designed for enterprise-style OOP

          Then why would they add Span<T>, SIMD types and overhaul ref types in the first place?

          • xigoi 2 days ago

            Because some people wanted to use C# for low-level programming, so they added these things as an afterthought.

            • neonsunset 2 days ago

              You’ve clearly never used it and have no idea what you are talking about.

              • xigoi 2 days ago

                I have used it a few years ago and the enforced OOP boilerplate was too much for me.

                • moi2388 an hour ago

                  You can write procedural or functional style as well, and with top-level statement you can write without any OOP or boilerplate whatsoever.

                • neonsunset 2 days ago

                  Trying to write it as if it was a different language instead or, for whatever reason, copying the worst style a team could come up with does happen and must be avoided, but that’s user error and not a language issue. Also the tooling, especially CLI, is excellent and on par with what you find in Rust, far ahead of Java and C++.

                  If you link an example snippet of the type of code that gave you pause, I’m sure there is a better and more idiomatic way to write it.

                  • SoftTalker 4 hours ago

                    C# was originally a clone of Java. It was almost literally copy/paste compatible.

        • jiggawatts 6 hours ago

          You're thinking of Java, which is Enterprize Buzzword Compliant to the maximum extent possible.

          C# is Java-but-with-lessons-learnt, and is significantly less verbose and "enterprisey" in typical usage.

          Modern .NET 9 especially embraces compile-time code generation, a "minimal" style, and relatively high performance code compared to Java.

          Even if the JVM is faster in benchmarks for hot loops, typical Java code has far more ceremony and overhead compared to typical C# code.

          • akkad33 an hour ago

            > Even if the JVM is faster in benchmarks for hot loops, typical Java code has far more ceremony and overhead compared to typical C# code.

            Can you give an example? I don't think this is true anymore for modern Java (Java 21+)

      • neonsunset 2 days ago

        LINQ is fine (but enterprise style never is, yes), it’s a matter of scale and what kind of a domain the code is targeted too. C# needs to be approached a little like C++ and Rust in this regard. Having standard performance optimization knowledge helps greatly.

        Also can recommend reading all the performance improvements blog posts by Stephen Toub as well as learning to understand disassembly at a basic level which .NET offers a few convenient tools to get access to.

    • CrimsonCape 12 hours ago

      Span<T>, ReadOnlySpan<T>, Memory<T>, CollectionsMarshal, CollectionsExtensions, ref struct, ref return, ArrayPool, ArraySegment, ValueTuple, and using interfaces/structs/generics carefully.

      That is if you don't want to get into unsafe code.

  • Rohansi 4 hours ago

    You actually can use it for embedded and kernel development! See .NET Nano Framework [1] for embedded - works on microcontrollers like ESP32. For kernel development there's nothing really built in to support it but people have built tools [2] to do it.

    [1] https://nanoframework.net/ [2] https://gocosmos.org/

    • sterlind 3 hours ago

      Pour one out for Midori, which would have replaced Windows with a capability-based OS completely written from kernel to shell in a C# dialect. Async/await, spans, and immutable support came from it, along with an (opt-in) Rust-like borrow checker. Satya canceled it, and all the work was lost to history. Singularity was the early public prototype.

      • pjmlp an hour ago

        The only thing Singularity and Midori share is the idea.

        You should also pour one out for Longhorn, where internal politics tanked the idea, and eventually Windows team redid all those .NET based ideas into COM/C++, and were even proud of doing so (see Hilo sample documentation), hence why nowadays COM based libraries are the main way to expose modern Windows APIs (aka post Windows XP).

        Had they collaborated instead, probably Windows would be closer to something like Android userspace nowadays.

        Or for Ironclad, another one from Microsoft research, lesser known, also from the same research group, which even includes type safe Assembly,

        https://www.microsoft.com/en-us/research/publication/safe-to...

        Microsoft Research has plenty of work in such domains, they also had a LLVM like compiler framework, based on MSIL, called Phoenix, among other stuff, e.g. Dafny, FStar, Drawbridge, also come from OS projects.

        Unfortunely classical Microsoft management has been more like it isn't Windows, it isn't shipping.

mkovach 2 days ago

Free Pascal, but I am interested in Ada and will be learning it more this year. I love the readability of the syntax, and on the outside looking in, the community seems good.

I have also moved back hard to using TCL as my scripting language. I like it too much, and bouncing between Python, Go, and such for DevOps glue tires me out.

For systems, I love using plan9 (9front) to solve problems, which grounds me to C, awk, sed, and the rc shell.

sheepscreek 2 days ago

F#! I’m in love with the language. It is my defacto pick for most things these days. Very expressive AND strongly typed. Being a part of the .Net ecosystem is also a plus.

deevus 3 hours ago

I am currently contracted 3 days a week writing Zig. I can't say much because NDA, but I just love working with Zig almost every day. I think for the right projects, it is such a great choice for mission critical software.

You get the added benefit of being able to easily consume C libraries without much fuss. The fuss is in navigating the C APIs of decades old libraries that we all still depend on every day.

Peteragain 23 minutes ago

I've used c and java, and have recently been thinking about go. It's interesting that the comments here only mention go in the negative. Can someone give me the back story about go?

anonymoushn an hour ago

I've been using Zig for nearly 4 years now. A lot of changes in that period were not great, but I haven't really wanted to use anything else.

  • anacrolix an hour ago

    I have been watching with interest. I can't help but think Rust will easily win. Zig isn't different enough, and it's somewhat opinionated (in good ways but not always clearly better)

  • lukan an hour ago

    I just looked into Zig and it looks great on first glance. What recent changes were not great in your opinion?

lopatin 2 days ago

I started using Idris a few years ago because the idea is fascinating. Such as state machines in your type system, the size of a list being defined in the static type system, even if the list size changes over time (pretty mind blowing), etc..

But ultimately I realized that I’m not writing the type of software which requires such strict verification. If I was writing an internet protocol or something like that, I may reach for it again.

  • TOGoS 3 hours ago

    Similar boat. I've read about Idris (and been 'shown the door' enough times) and I love the idea of it, but sadly I haven't yet had any reason to use it.

creshal an hour ago

I like nim so far, but I have to admit I haven't done all that much with it yet.

  • jasfi 39 minutes ago

    Nim is great, I wrote a crypto trading engine with it. The performance is excellent, memory safety works well, and it was much easier to write compared to Rust.

giancarlostoro 2 days ago

Every now and then Freepascal with Lazarus but the same bug being in the IDE for ten years plus kind of annoys me. If I save a new project and I move any files around it does weird stuff, or if I rename a module.

Theres also D but finding libraries for whatever I want to work on proves problematic at times as well.

  • Froedlich 2 days ago

    On the other hand, the Ultibo OS for the Raspberry Pi is written in FreePascal.

docandrew 2 days ago

Ada for bigger projects, D for quick one-offs and more “scripty” work.

  • fuzztester a day ago

    I had played around with D some time ago, and wrote some small programs in it for fun and learning. I both liked and disliked things about the language.

    there was some Russian dev running a systems tech company, I forget his name, living in Thailand, like in koh samui or similar place. he used D for his work, which was software products. came across him on the net. I saw a couple of his posts about D.

    one was titled, why D, and the other was, D as a scripting language.

    I thought both were good.

    • docandrew 8 hours ago

      It’s a little like go in that it compiles quickly enough to replace scripts while still yielding good enough performance for a lot of systems tasks. It predates go and I wish Google had just supported D, it’s a much nicer language IMO

pyjarrett 2 days ago

Ada

The open source tooling has significantly improved since I started using it in the last five years.

jlengrand 25 minutes ago

I still absolutely love my Elm. Never a programming language has made me as confident and joyful when writing code <3.

  • pclowes 21 minutes ago

    Are people using Elm for systems level programming? I have only used it on the front end.

ajdude 2 days ago

I almost exclusively work in Ada for my hobby projects these days; It's great for doing both high level and low level programming.

  • alok-g 2 days ago

    Where does tooling and platform support stand for Ada? Could one develop desktop, mobile, web apps, too using Ada? Thanks.

Jtsummers 2 days ago

Not presently, but not long ago, Fortran and Ada. I still like Ada better than the alternatives, especially as it's changed this past couple decades. I find it hard to miss Fortran, though. I'd consider it for scientific computing and that's about it, which isn't my present domain.

  • fuzztester 2 days ago

    Interesting, thanks.

    Did you ever check out Eiffel for systems programming work?

    I had been checking it out some years ago, and apart from the general points about it, one use of it that I found interesting was in an article about using it for creating HP printer drivers. The author had mentioned some concrete benefits that they found from using it for that purpose.

    Edit: I searched for that article, and found it:

    Eiffel for embedded systems at Hewlett-Packard:

    https://archive.eiffel.com/eiffel/projects/hp/creel.html

    • Jtsummers 2 days ago

      I learned it once long ago, but never used it for anything other than that learning experience. I did like its concepts, though the language itself didn't quite stick with me.

  • quanto 2 days ago

    How would Fortran be used other than numerics/scientific computing?

    • AlexeyBrin 2 days ago

      Modern Fortran has ISO C bindings in its standard library. You can call any C library from Fortran and wrap it in a Fortran module if you want to make it easier to use.

      Despite its history it is a pretty modern language if you enable all warnings, set implicit none and ignore the old style of coding (a la FORTRAN 77 of older).

    • Jtsummers 2 days ago

      This was in an embedded systems context, I came on later but it was what most of the core system was written in. It's been used in a lot of avionics systems over the years.

    • fuzztester 2 days ago

      not a direct answer to your question, but the use in the domain you mentioned itself, is huge.

      from the Wikipedia article about Fortran, under the Science and Engineering section:

      https://en.m.wikipedia.org/wiki/Fortran

      Although a 1968 journal article by the authors of BASIC already described FORTRAN as "old-fashioned",[58] programs have been written in Fortran for many decades and there is a vast body of Fortran software in daily use throughout the scientific and engineering communities.[59] Jay Pasachoff wrote in 1984 that "physics and astronomy students simply have to learn FORTRAN. So much exists in FORTRAN that it seems unlikely that scientists will change to Pascal, Modula-2, or whatever."[60] In 1993, Cecil E. Leith called FORTRAN the "mother tongue of scientific computing", adding that its replacement by any other possible language "may remain a forlorn hope".[61]

      It is the primary language for some of the most intensive super-computing tasks, such as in astronomy, climate modeling, computational chemistry, computational economics, computational fluid dynamics, computational physics, data analysis,[62] hydrological modeling, numerical linear algebra and numerical libraries (LAPACK, IMSL and NAG), optimization, satellite simulation, structural engineering, and weather prediction.[63] Many of the floating-point benchmarks to gauge the performance of new computer processors, such as the floating-point components of the SPEC benchmarks (e.g., CFP2006, CFP2017) are written in Fortran. Math algorithms are well documented in Numerical Recipes.

qingcharles 6 hours ago

If the support was still there I'd still be using VB.NET.

I've coded professionally in a dozen languages, including a lot of time in x86 assembler, C++ etc.

Still like VB.NET better than any other. To me, it was the most readable code.

  • wglb 5 hours ago

    Is it not still supported?

Terr_ 5 hours ago

Using Elixir and Elm at my day job.

Coming from a more Python/Java/PHP/JS background, Elixir was a lot easier to pick up and doesn't frustrate me as much. Most of the remaining scary bits involve concurrency and process supervision trees.

Macros are powerful, but also easy to use in a way that makes everything hard to debug. For those unfamiliar with them, it's a bit like a function except any expressions you call it with are not evaluated first, but arrive as metadata that can be used to assemble and run new code.

  • mikercampbell 4 hours ago

    Why elm over LiveView?

    I know “why” elm, I liked everything I saw about it, but how do you combine the two, if you do?

    • Terr_ 3 hours ago

      There's a bit of a struggle between sections that use just one or the other, but Elm has the managerial blessing right now.

      While I think Elm is neat, it suffers from ecosystem issues. It drive a large amount of Not Invented Here because JS invented somewhere else is hard to incorporate. Also, good luck rendering arbitrary HTML that comes in as data from somewhere else.

      • ghayes 2 hours ago

        Yeah, I loved Elm, but the restriction that you can't build your own "effect" modules really made it impossible to embrace. Say you want to use a new web API similar to using Elm's core `Http`, well... you can try and fork Elm...

        • boxed an hour ago

          You can use webcomponents to work around a few of those limitations.

anta40 2 days ago

Pascal.

Sure these days not many folks write OS kernel in Pascal, but there are some, e.g: https://github.com/torokernel/torokernel

I once want to try Forth (perhaps there's a Unix clone in Forth?), but seems like most folks using it are embedded/hardware devs.

  • fuzztester a day ago

    I had read somewhere that some of the early Apple (not Mac) software, i.e., systems, application or both, was written in some Pascal variant.

    • Someone a day ago

      https://folklore.org/Hungarian.html:

      “The Macintosh used the same Motorola 68000 microprocessor as its predecessor, the Lisa, and we wanted to leverage as much code written for Lisa as we could. But most of the Lisa code was written in the Pascal programming language. Since the Macintosh had much tighter memory constraints, we needed to write most of our system-oriented code in the most efficient way possible, using the native language of the processor, 68000 assembly language. Even so, we could still use Lisa code by hand translating the Pascal into assembly language.”

      MacOS was clearly Pascal-oriented, with its ‘Str255’, ‘Str63’, etc. data types.

      • mistrial9 6 hours ago

        Pascal interfaces and direct 68k ASM for the first years of Macintosh. C language bindings were third party and discouraged by Apple. There were good reasons for that in those days IMHO, since C came with a lot of Unix software libraries and people would demand that the science libs run. Apple said "no" but third parties built the compilers anyway. Many developers were attracted to Michael Kahl's brilliant ThinkC system, later to MetroWerks. MPW built a more *nix-like environment eventually, also.

        source: C language developers for the Macintosh OS

      • fuzztester 12 hours ago

        ha ha, nice.

        even early Windows versions were somewhat Pascal-oriented, with things like "long far pascal" used in C function declarations, to indicate the calling convention being used, whether right to left, or left to right, iirc.

Froedlich 2 days ago

The only true "system programming" I've done was in Microsoft Macro Assembler, a product I grew to hate with a passion.

A non-answer, but tangentially relevant:

I once fiddled with Forth, but never actually accomplished anything with it.

Several OSs are written in Lisp; in some of them the difference between OS and application is a bit vague. At the time none of them were available to me to play with.

I discovered Oberon and fell in love. My first real programming language was Pascal, and Oberon is part of the same family. Oberon consisted of a compiler, operating system, user interface, application software, and tools, all self-hosted on Oberon. There was even an Oberon CPU at one time. But Oberon turned out to be just an academic curiosity, and wasn't available for any hardware I had access to anyway.

ptspts 6 hours ago

I do systems programming in i386 (32-bit) assembly language with NASM.

For me it doesn't scale beyond a few dozen kilobytes (executable program file size) per program. For others (such as Chris Sawyer) assembly scales much better.

xigoi 2 days ago

Nim, I love its “make simple things simple and complex things possible” philosophy.

  • blashyrk 2 days ago

    I absolutely adore Nim.

    That said, the edges are still (very) rough when it comes to tooling (generics and macros absolutely murder Nimsuggest/lsp) and also "invisible" things impacting performance such as defect handling (--panics:on) and the way the different memory management schemes introduce different types of overhead even when working with purely stack allocated data.

    But even with all that it's still an extremely pleasant and performant language to work with (when writing single threaded programs at least)

johnisgood an hour ago

Ada and Odin that I would consider less popular, rarely Forth.

auntienomen 3 hours ago

Cython. Writes like Python, runs like C. Strangely underappreciated.

baddate 2 days ago
  • akkad33 an hour ago

    I don't know if Julia is a system programming language

    • brabel 26 minutes ago

      It's quite funny to classify it as such, given you need to run your programs like a script as it's nearly impossible to compile a binary you can distribute (though I am aware they're working on this as a priority task, currently).

em-bee 17 hours ago

i don't know if pike counts as a systems language, but i consider it an alternative to C, if only because it has good C integration so that you can easily include a module written in C. pikes syntax is also very close to C, which may be appealing to some (ironically that's an aspect i don't really care about myself)

if the question of go being a systems language is controversial, then pike is even more so. i would situate pike somewhere between python and go. pikes major drawback is that it doesn't produce standalone executables.

the real question i'd like to ask is, what actually is a systems language?

netbioserror 2 days ago

Nim. Fantastic choice for modern headless software. Simple obvious type system, preference for immutability and referential transparency. Dynamic collections are by default managed by hidden unique pointers on the stack. So the default RC isn't necessary unless explicitly invoked for a ref type.

Currently solo managing a 30k line data analysis application I built for my company. Easily fits in my head given the obvious pyramidal functional-like structure. Maybe two lines of memory semantics anywhere in the entire thing, and only one module that's OO with a constrained scope. Lots of static data files (style sheets, fonts) slurped up as const strings at compile time. Incredible performance. Invoked by our PHP server backend, so instead of doing parallel or async in the analysis, the server gets that through batch invocation.

Working stupid well for our product, plus I can easily compile binaries that run on ARM and RISC-V chips for our embedded team just by invoking the proper gcc backend.

Replaced an ailing and deliberately obfuscated 20 year old jumble of C and PHP designed to extort an IP settlement from my company. Did it in a year.

  • digdugdirk 6 hours ago

    Do you have any recommendations for well designed open source Nim projects for someone study to get a feel for the language?

eadmund 3 hours ago

Common Lisp. It offers powerful abstractions and high speed. I’m happy with it.

purpleidea 4 hours ago

Using the `mcl` DSL language in https://github.com/purpleidea/mgmt/

It's awesome. But I'm biased because I designed it.

You can't build anything, but you can build many things much more easily. Particularly distributed systems.

artemonster 2 days ago

Tried trying zig, but was baffled by all the allocator dance you need to do and asking nicely to access a list (catching potential exceptions?) Tried odin, but the tooling is very raw. Tried rust, didnt want to try to please borrow checker that distracts me from my thoughts.

Idk, if someone just reinvents clean C without the nonsense garbage with some modules and package manager this will be a huge win. Let me access my null pointers, let me leak memory, just get the hell out of my way and let me program and hold my hand only where I want it to be held - sane types that give me refactoring, code completion and code understanding, modules with imports. Let compiler give sane error messages instead of this cryptic c++ garbage. Is this too much to ask?

  • gw2 2 days ago

    D's "Better C"[1] mode looks like what you describe. Has syntax similar to C with a real module system, metaprogramming, slice types etc.,

    1 - https://dlang.org/spec/betterc.html

  • flowerthoughts 2 days ago

    I also had a brief look at Zig for writing a WASM module, but settled for Rust. I had no real gripes with the language, but the spartan documentation made making progress into a slog.

    I wouldn't mind a "better C" that could use an LLM for static code analysis while I was coding. I.e. be more strict about typing, perhaps. Get out of my way, but please inform me if I need more coffee.

  • feelamee 2 days ago

    looks like zig is exactly what you want. Difference only in std. C prefer global allocator, while zig ask it explicitly.

    So, if only there is std with implicit allocators?

  • acheong08 2 days ago

    Allocation in Zig takes some getting used to but it's actually really nice. It took me a few weeks but I honestly believe you should give it another chance and more time

    • LiamPowell 7 hours ago

      I personally find it much more ergonomic to have the allocator attached to the type (as in Ada). Aside from the obvious benefit of not needing to explicitly pass around your allocator everywhere, it also comes with a few other benefits:

      - It becomes impossible to call the wrong deallocation procedure.

      - Deallocation can happen when the type (or allocator) goes out of scope, preventing dangling pointers as you can't have a pointer type in scope when the original type is out of scope.

      This probably goes against Zig's design goal of making everything explicit, but I think that they take that too far in many ways.

      • deevus 3 hours ago

        There is no reason you can't attach an Allocator to the type (or struct, in Zig).

        A fairly common pattern in the Zig stdlib and my own code is to pass the allocator to the `init` function of a struct.

        If what you mean is that allocation should be internal to the type, I don't agree with that. I much prefer having explicit control over allocation and deallocation.

        The stdlib GPA for example is pretty slow, so I often prefer to use an alternative allocator such as an arena backed by a page allocator. For a CLI program that runs and then exits, this is perfect.

  • milesrout 5 hours ago

    C's compilation unit model, lack of a formal module system and lack of language-level package management are the best things about it.

    Separating interface and implementation is a good thing, but often you just want to split things into separate files without separate compilation. C supports #include and so it is maximally flexible.

nuudlman 2 days ago

Take a look at Pony https://www.ponylang.io/

  • dismalaf 4 hours ago

    Pony is fun and I love the actor paradigm but it definitely feels like the community lost a lot of energy when Sylvan Clebsch stopped working on it (to work on a similar project for MS).

dismalaf 2 days ago

Odin. It's just too easy and fun.

  • fuzztester 2 days ago

    Why is Odin easy for you? Because it is non-OOP (I think, have not confirmed that) or some other reason?

    • dismalaf 2 days ago

      Build system, module system, simplicity of C but much nicer, clearer syntax, lots of batteries included, it just does a lot of stuff to make life easier versus Zig or C/C++.

      I personally don't think programming paradigms like OOP, procedural or functional make anything easier/harder necessarily, just talking QoL stuff.

      And obviously "easy" is relative: Odin is still a low level language where you need to manage your own memory.

DASD 6 hours ago

Chicken Scheme for personal projects.

ghfhghg 2 days ago

F# and Haxe. Love both of those languages

atemerev 2 days ago

D and Crystal always fascinate me. And if Go is a system language, Erlang and Common Lisp are even more so.

  • SoftTalker 4 hours ago

    I like Erlang a lot.

    • worthless-trash 3 hours ago

      Me too buddy, super powerful, syntax is a little weird but once you get used to it..

      gen servers, everywhere.

  • renewedrebecca 4 hours ago

    I wish Crystal had better IDE support, otherwise it’s just about perfect.

rixed 4 hours ago

I personally mix languages, using higher level languages for the structural work and calling C for the code or data structures that require it.

So a good FFI to C has always been an important requirement for me.

whateveracct 6 hours ago

Haskell + copilot (from Nasa) and/or MicroHs when targeting embedded (like RPi Pico)

  • 0x6c6f6c 2 hours ago

    Any good examples for these in systems projects?

harry_ord 2 hours ago

Perl is kinda less popular now. I use that at work. Used to write perl6/raku in my previous job, I loved the grammars made a nice way to try and Wirte an nginx configuration manager.

  • warpspin 2 minutes ago

    Perl here, too.

    We still use it for all kinds of web services development work, mainly because there's years of in-house modules for everything and the malleability Perl has.

jdougan 6 hours ago

D language (Dlang). It is especially good if you are porting from C as the semantics are the same enough to rum a lot of code via copy and paste, or if not it will fail to compile.

inetknght 4 hours ago

> Less popular

Bash.

> I used C for both application programming and systems programming

Gross. Learn C++, it's better than C in every way! shotsfired.jpg

> I've been wanting to get back to doing some systems programming, but preferably in a more modern language (than C) which is meant for that.

Use C++ then. Or if you're a hater and/or don't know how to keep footguns pointed away from your legs, use Rust.

> less commonly used ones

but tbqh why not Xojo?

rubymamis 2 days ago

I’m considering Mojo.

  • zoom6628 3 hours ago

    Me too for projects and tools. Would like to use Ada for IOT projects and tools.

standeven 5 hours ago

The IEC 61131-3 languages, though 95% of my work is Structured Text. Anyone need a PLC programmed?

ztetranz 6 hours ago

I've been learning Elixir just for fun. I wish I was using it in my day job.

cjj_swe 6 hours ago

It hasn't been released yet, but I'm very excited for Carbon :)

therealfiona 5 hours ago

My team hates when I write POSIT shell.

bitwize 4 hours ago

Ada and Scheme.

yamapikarya 2 days ago

visual basic. i learned a lot from this language because i'm able to create a system from scratch without import a library.

zerr 20 hours ago

Haxe and Dart (without Flutter) are quite nice.

worthless-trash 3 hours ago

Fuzztester here is asking about system languages. I see a lot of people suggesting things I'd consider non systems languages.

fuzztester a day ago

commenting after seeing multiple comments here, after about a day.

first of all, thanks, guys, to all who replied. that's a wealth of info to follow up on.

referring to the comments seen so far:

I considered mentioning (Free) Pascal, but thought of not doing it, because I thought it is nowadays too niche, even though it is one of my early programming language loves (forgetting that the title of my post says "less popular languages" :)

and I also didn't think of Ada at all, somehow, although have been interested in it, too, lately, and have been checking out websites and blogs about it, and also have been searching hn.algolia.com for posts about it.

so it was cool to see multiple mentions of Ada here, by people who like and use it.

  • UncleOxidant 6 hours ago

    > so it was cool to see multiple mentions of Ada here, by people who like and use it.

    I'm surprised how popular Ada is here in these comments. I like some of the ideas (ranged types, for example) in Ada, I'm inspired to give it a try after seeing all the comments here.

henning 4 hours ago

I've written a non-trivial (5K SLOC) app in Zig and it's very nice.

neonsunset 2 days ago

C#, to match the performance of reference implementations in C and Rust, and completely crush the performance of those in Go :)

  • fuzztester a day ago

    what do you mean by reference implementations, in this context?

    • neonsunset a day ago

      All sorts of algorithms for processing data useful in high-load scenarios: checksum calculation, text searching/analysis/transformation, data compression, networking (request analysis, routing, filtering), interop with other C ABI dependencies, etc.

greenheadedduck 6 hours ago

Python.

  • neilv 3 hours ago

    It's not a systems programming language, but I actually wrote a userland "device driver" in Python, for startup MVP pragmatic firefighting reasons.

    It was somehow rock-solid in over a year of factory production overseas. Which might not have been the case, if I'd written it in C and put in the kernel, like might normally be good practice.

    (It hooked into some kernel interfaces, did a little multiple USB device management, and low-level keyboard-like decoding with efficient I/O, and buffered and parsed and did something with the output of that.)

    I have mixed feelings about Python: it often it hurts more than it helps (if you know better ways to do things), but the ecosystem has some nice off-the-shelf components, and it's popular/employable. However, due to the popularity, the average quality of any article you might find through Web is unfortunately low.

    (For an unpopular language, you'll get a few people writing articles from a junior/neophyte knowledge level, as part of their learning, or because someone said it was good for resume-boosting. That can be good. But no one is going to waste time pounding SEO low-quality filler for a language that doesn't make money. Well, at least they wouldn't before LLMs, but who knows how the economics have changed, now. :)