Viewing profile — centril

xD Using the same module written in Rust, we can do even better on the same machine, 165k+ TPS.

Excited to see where this goes. It's just the beginning!

> I think they actually make a fair point because in this case "hard to do" probably equates to "makes the compiler a lot slower". They are wrong in this case. When considering whe…

Off the top of my head: Poor error messages, any type checking is run on the generated code so harder to enforce properties, and if code generation is not in-language, then the bas…

Thank you! I tried hard to make this blog post easy to read so it's nice that it feels that way. :)

An interesting example is the addition of `{-# LANGUAGE LinearTypes #-}` to GHC. The primary interest for this "experiment" is not from academia but from industry (tweag IO). Anoth…

With faster builds, would probably reduce the queue latency and land more PRs. We'd probably also allow more toolchains to be tested and whatnot.

We aggressively use rollups to merge PRs into rust-lang/rust to mitigate the effect of the 4 hour build times. But it would sure be nice to bring it down to less. It would certainl…

https://github.com/rust-lang/rfcs/pull/2442

Note that in Rust, `.match` would itself provide the general way: let number = foo.bar().baz().match { it => it + 1 };

I think it's not a good idea to talk about them as one thing and the use cases also differ. `const fn`s are deterministic ("pure") functions that can be evaluated at compile time i…

I don't think the Go 2 generics proposal amount to type classes; From what I inferred from the proposal, contracts are structurally typed rather than nominally such that you don't …