Viewing profile — needlesslygrim

> Unity's GC is unique in that it has an incremental marking phase. Does ZGC not also have an incremental marking phase?

While Swift now has the `borrowing` and `consuming` keywords, support for storing references is nonexistent, and the only way to return/store `Span`s, etc, is only possible through…

> extremely inefficient strings (erlang) Doesn't most modern Erlang code use binaries instead of charlists? Elixir and Gleam certainly do.

> Rust has some support for zero-runtime, but a lot of it's features is either useless of outright in the way when you are not using a heap. Could you give some examples?

That's good to hear, I guess it's possible a thicker module could be made in the future with more cooling potential?

I'm very impressed you managed to get nvidia to give you access to the 5070! I have one queetion though, is the 5070 limited to 100W because of the docking connector, or for coolin…

That makes sense, and it's interesting that both you and Linus Torvalds maintain your own versions of Micro Emacs. Sign of greatness perhaps :)

I'm curious, why don't you use GNU Emacs?

Oh I see. I assumed being able to explicitly yield unit meant statements were essentially just syntax sugar for unit. Thanks for the correction.

Well, Rust barely has statements [1]. Nearly everything in Rust is an expression, and AFAIK statements /are/ essentially expressions that yield `()` [2]. [1]: https://doc.rust-lang…

In China WeChat is the dominant messaging platform, SMS is only used for delivery notifications, spam, etc.

That's probably fair.

> Async Rust is painful On the other hand, I've found normal threading in Rust quite simple (generally using a thread pool).

Well if you're going to eat crow, I may as well eat pigeon, for I didn't realise that paper wasn't showing real source. Thanks for the link to the LCF text though :^)

I think this criticism is silly. Here's what your first example would look like in a language with keywords (where reasonable, perhaps like C#) instead: pub fn play (in out self, p…

Well, ML (or at least the first versions of it) used a λx • x syntax [1] for λ-abstractions, the same (excluding the use of • over .) notation as used with the Lambda Calculus, and…

Unfortunately, while `dynamic` is used for dynamic typing in C#, `var` is just type inferenfe like `auto` in C++.

This is interesting because these semantics seems to be a direct(ish) clone of Rust's. I wonder if this moves Swift's performance ceiling closer to Rust's?

I'm also interested in why the MIT license was chosen. I guess it's because of the plan to create 'libghostty'?

I agree, this doesn't seem to be much better than adding `throws Throwable` to all your methods that can fail in Java. The reason sum types are so useful for error handling is that…

There are, at least in my opinion, many more reasons to use Kotlin than null-safety and data-classes/records, especially on Android (Jetpack Compose).

> I never said it is used extensively by most programs True, but to make use of Rc/Arc in Rust comparable to the use of GC in Java, almost evrery value would have to be wrapped in …

I'm interested by your characterisation of Rust. I assume 'crude GC' is a reference to Rc/Arc, but I would be interested to see some statistics for the claim most programs written …

I'm curious, how does Swift have better pattern matching than Rust?