News for hackers. Stuff that matters.
Re:A simplified model of Fil-C by whatsakandr on Friday April 17, 2026 @08:30PM (#47812076)
Yes it's slower, but it works. It's being built by one single dad who focused on compatibility before speed.

I'm not convinced that tying the lifetimes into the type system is the correct way to do memory management. I've read too many articles of people being forced into refactoring the entire codebase to implement a feature.

Re:A simplified model of Fil-C by brucehoult on Friday April 17, 2026 @09:32PM (#47812419)
> built by one single dad

Not some random dad, but a GC expert and former leader of the JavaScript VM team at Apple.

Re:A simplified model of Fil-C by achierius on Friday April 17, 2026 @08:39PM (#47812138)
I can tell you that it's not that he's setting aside speed -- the fact that it's as fast as it is is an achievement. But there is a degree of unavoidable overhead -- IIRC his goal is to get it down to 20-30% for most workloads, but beyond that you're running into the realities of runtime bounds checks, materializing the flight ptrs, etc.
Re:A simplified model of Fil-C by gmueckl on Friday April 17, 2026 @10:02PM (#47812561)
20% to 30% slower would be amazing for all the extra runtime work that is required in my limited understanding. This would be good enough for a whole lot of serious applications.
Re:A simplified model of Fil-C by saghm on Saturday April 18, 2026 @01:38AM (#47813420)
You initially said that rewriting in Rust "seems stupid" based on what Fil-C provides, and someone pointed out technical reasons why it still might be useful in some circumstances. It's great that a single dad is able to build Fil-C on his own, and you're certainly entitled to the opinion that you don't like the idea of lifetimes in the type system, but it's genuinely hard to tell if there's a specific technical point you're trying to make or you dislike Rust so much that you're interpreting someone disagreeing with you about whether Fil-C obviates it as somehow being a personal attack on the author.
Re:A simplified model of Fil-C by fooker on Saturday April 18, 2026 @03:31AM (#47813927)
> tying the lifetimes into the type system is the correct way to do memory management.

Type systems used to be THE sexy PL research topic for about twenty years or so, so all the programming languages innovation has been about doing everything with type systems.