from Hacker News

Show HN: Ki Programming Language

by ki_ on 5/22/23, 11:50 AM with 70 comments

• by giancarlostoro on 5/22/23, 1:47 PM

  I say this every other programming language thread: Please, get some code examples up front and center, simple Hello World, and anything that shows whatever strong features your language has for organizing code like classes and so on.

  Python, Racket and a few others do this really well. Even on the GitHub a simple short but significant enough code snippet would do wonders.

  Maybe the syntax is exactly what I expect and I'll have more interest, or maybe its way off and I don't want to bother. Whatever the case, put some sample code up front and center.

• by lagniappe on 5/22/23, 1:44 PM

  > Go: Go is amazing. But it does have garbage collection, which can cause lag spikes in some cases. The creators were also very late on implementing common sense features, such as package versioning and generics. There are some other small mistakes, but the point is that we lack trust in their descission making.

  > Rust: Rust right now might be the best language out there right now. It's hard for us to criticize them because we lack the experience of building big rust projects. We do however think rust has a really slow compiler. We also think that rust might be too idealistic where it restricts the developer too much.

  > C: C is obviously the best but... we dont always want to manage our own memory. Also their std-lib lacks alot of basic functions. You are forced to work with makefiles or similar build tools and most of those tools are very badly designed.

  > C++: C++ is like a worse version of c. They do have the most features of any language, which allows the developers to write the greatest code and also the worst code. You let a developer work on a project for a year and suddenly you are looking at a codebase full of OOP, templates and the most hacky preprocessor logic you've ever seen. That developer says it's built using todays greatest standards, yet no one is able to understand the code at all. Sometimes you have to limit bad practices.

  > Other: All other languages use garbage collection which makes them hard to use for millisecond realtime applications. Secondly, most languages allow you to have undefined behaviour.

  I'm not sure if this section is really making the case you wanted to make. Either this needs to be rephrased or scrapped all together, it doesn't present the best foot forward because ideally you are recruiting people from these languages, and in your descriptions of them you make some very facile comparisons.

• by bheadmaster on 5/22/23, 2:07 PM

  Always love to see people tinkering with their own languages. Everyone should write a language, at least once in their life :)

  Skimmed through the docs. On the first look, the syntax seems to be a blend of Go and Rust.

  Was confused by this sentence [0], perhaps some additional explanation/code example could help:

      When a value has ownership, it can be stored and used anywhere. But you can only store it in one place.
  

  Aside from that, I'd really like to know about

  1) concurrency support

  2) memory management techniques

  As those are the most interesting aspects of any C-like language to me.

  Good luck!

  [0] https://ki-lang.dev/docs/dev/borrow-ref

• by theolivenbaum on 5/22/23, 1:33 PM

  Confused by the "C#: We do not use languages that expect you to install a 20GB IDE just to compile a 'hello world'." note, the .NET SDK is ~200MB last I checked, and Visual Studio is not required to compile C#. Seems like the https://ki-lang.dev/dist/download/linux/x64/latest build from Ki is ~40MB, so similarly sized.

• by naasking on 5/22/23, 2:31 PM

  Reference counting is garbage collection. I mention this because the site claims no GC nut you claim I'm this thread that ref counting is sometimes used, which makes sense because borrowing sometimes isn't enough.

• by Atlas22 on 5/22/23, 2:16 PM

  Not knocking Ki or any new language but what does it offer over existing systems? I see the criticism of a few languages on the website but they all boil down in reasoning to things like: garbage collection = bad, makefiles = bad. It also doesn't mention or demonstrate how Ki addresses the complaints. For example: if Ki doesn't do garbage collection or manual memory management, what does it do? Smart pointers/reference counting? How are circular references handled? (E.g. doubly linked list)

  Would recommend removing the "Other" comparison as pretty much anything that can be said there is wildly inaccurate. Would also like to see comparison with Zig as it seems to have similar goals.

• by janalsncm on 5/22/23, 4:17 PM

  > let num : u8 = 5; <-- auto converts to u8;

  Can we please knock it off with reinventing different ways to declare a variable? This also irritates me about Rust. There’s nothing wrong with having syntax that looks like languages that have existed before. How about

  [modifiers] [type] [variable name] = [initial value];

  What I want in a programming language is not arbitrary new grammars, I want drop-in improvements to languages that already exist. C++ but with better dependency management. Python but statically typed (Mojo where you at?). PHP but standardize all the weirdness.

  (Some or all of these rants could be out of date as my knowledge cutoff for languages ends at various times in the last 15 years.)

• by wiz21c on 5/22/23, 3:08 PM

  > LLVM is however really slow. There isnt much we can do about this except write our own IR compiler, which we would rather not do.

  So compilation times are dominated by llvm so there won't be any significant improvement on compilation speed.

  > Ki is a statically typed language. It's advantage over most languages is that you cannot have any undefined behaviour.

  Java, C, C++ are statically typed. I understand it's not many languages, but they do represent a pretty large share of coders...

• by ModernMech on 5/22/23, 1:58 PM

  Word to the wise: stay away from reporting benchmarks against establish langs until your language is further along. It's often misleading when you see that your toy language is faster to compile / run than established languages, because what you'll find is that as your language grows and becomes more complete, your timings will times will go up.

• by chomp on 5/22/23, 1:54 PM

  This looks promising. If it ends up as Rust without the line noise, I’m 100% on board.

• by pxeger1 on 5/22/23, 3:38 PM

  I think the !! operator is redundant. If your language has a "never" type, then exit/return/break/panic should have a return type of never, so those expressions would be acceptable on the right hand side of !? anyway. I guess it's necessary if your language lacks a never type, or has a distinction between expressions and statements, although I don't know really why you would have either of those

• by frodowtf on 5/22/23, 2:10 PM

  Good effort. It feels like there is still a lot of improvement space for languages with a soundness+productivity focus.

  Docs need some polishing tough. The comparison to other languages doesn't make the point of Ki clear to me.

  Also, error handling feels like black-box magic with all those exclamation and question marks sprinkled everywhere. Those symbols seem vaguely chosen.

• by fridental on 5/22/23, 1:51 PM

  If you like C but don't want to manage your memory yourself, why don't you take a look at glib/gobject?

• by return_to_monke on 5/22/23, 4:07 PM

  Why would someone choose this over Rust?

• by haspok on 5/22/23, 3:44 PM

  Another brand new language with curly braces and semicolons... emphasizing line noise over information /sigh OK, ok, I'll show myself out.