Hacker News Reader

Hadn't heard of Bolin. It sounds more approachable than C

Not sure how it's advanced in the past several months, but this thread [0] from their original announcement does not exactly inspire confidence.

[0] https://news.ycombinator.com/item?id=32460070

We'd implemented a few things that aren't useful on its own. For example we haven't implemented opaque types. However now that inlining C code works opaque types are at the top of our list. With opaque types and inlining we'll be able to specify simd types and use simd instructions without leaving the function.

The next update should be large

> Is this memory safe? How do you handle lifetimes?

> Not to be confused with automatic memory which completely works, memory safety isn't fully implemented. We use invalidation to say all references that came from that object are no longer valid. This is checked at compile time. Not everything has been implemented so there are holes and we haven't chosen alias rules which might be a simple not allowed.

They've certainly made some interesting decisions.

https://bolinlang.com/faq

Reply on news.ycombinator.com