Forwarded from Les Rêveries 🦄
#PL: Mesabloo/diagnose: #Rust 知名 #PrettyPrint 错误信息库 Ariadne 的 #Haskell 移植。
https://github.com/mesabloo/diagnose#readme
https://github.com/mesabloo/diagnose#readme
GitHub
GitHub - Mesabloo/diagnose: A simple library for reporting compiler/interpreter errors
A simple library for reporting compiler/interpreter errors - Mesabloo/diagnose
👍8
#PL #Rust | #GAT has finally made its way to the merge queue! 🎉
https://github.com/rust-lang/rust/pull/96709#issuecomment-1243739760
https://github.com/rust-lang/rust/pull/96709#issuecomment-1243739760
GitHub
Stabilize generic associated types by jackh726 · Pull Request #96709 · rust-lang/rust
Closes #44265
r? @nikomatsakis
⚡ Status of the discussion ⚡
There have been several serious concerns raised, summarized here.
There has also been a deep-dive comment explaining some of the "...
r? @nikomatsakis
⚡ Status of the discussion ⚡
There have been several serious concerns raised, summarized here.
There has also been a deep-dive comment explaining some of the "...
🎉9
#PL | #Haskell is surprisingly popular as an industrial-level #FP language!
https://redmonk.com/sogrady/2022/10/20/language-rankings-6-22
https://redmonk.com/sogrady/2022/10/20/language-rankings-6-22
👍2🤔1
❤2😢1
#PL | @matklad on #Zig IDE architecture
https://matklad.github.io/2023/02/10/how-a-zig-ide-could-work.html
https://matklad.github.io/2023/02/10/how-a-zig-ide-could-work.html
matklad.github.io
How a Zig IDE Could Work
Zig is a very interesting language from an IDE point of view. Some aspects of it are friendly to IDEs, like a very minimal and simple-to-parse syntax (Zig can even be correctly lexed line-by-line, very cool!), the absence of syntactic macros, and ability…
#PL | The #Rust I wanted had no future
Graydon explains how he envisioned the old, GC’d Rust with green threads to be.
https://graydon2.dreamwidth.org/307291.html
——
这可能是我读过的最有趣的一篇关于 Rust 的文章。
原来 Graydon 的本来想法更接近 ReasonML（？），而不是 C++。
Graydon explains how he envisioned the old, GC’d Rust with green threads to be.
https://graydon2.dreamwidth.org/307291.html
——
这可能是我读过的最有趣的一篇关于 Rust 的文章。
原来 Graydon 的本来想法更接近 ReasonML（？），而不是 C++。
🤯4
#PL #Lean | New RC for Lean 4 just dropped!
https://github.com/leanprover/lean4/releases/tag/v4.0.0-rc3
https://github.com/leanprover/lean4/releases/tag/v4.0.0-rc3
GitHub
Release v4.0.0-rc3 · leanprover/lean4
This is the third release candidate for the first official release of Lean 4.
It replaces v4.0.0-rc2, which was not properly prepared as a release, so #eval Lean.toolchain and lean --version gave i...
It replaces v4.0.0-rc2, which was not properly prepared as a release, so #eval Lean.toolchain and lean --version gave i...
#PL #Rust | crABI is a new set of ABI that extends the C ABI, but made for crabs 🦀.
https://github.com/rust-lang/rfcs/pull/3470
https://github.com/rust-lang/rfcs/pull/3470
GitHub
crABI v1 by joshtriplett · Pull Request #3470 · rust-lang/rfcs
Note that the most eminently bikesheddable portion of this proposal is the
handling of niches, and the crABI Option and Result types built around
that. There are multiple open questions specificall...
handling of niches, and the crABI Option and Result types built around
that. There are multiple open questions specificall...
❤1
Well, guess what language has won the most loved #PL on StackOverflow for nine years in a row?
Forwarded from rami3l
#PL #OS | 面对最近 #Linux 社区部分成员对 #Rust 的反感，Linus 本人依然持有宝贵的开放态度。
https://www.zdnet.com/article/linus-torvalds-muses-about-maintainer-gray-hairs-and-the-next-king-of-linux/
https://www.zdnet.com/article/linus-torvalds-muses-about-maintainer-gray-hairs-and-the-next-king-of-linux/
❤12
https://blog.rust-lang.org/2024/12/05/annual-survey-2024-launch.html
#PL #Rust | 欢迎大家参加 2024 年度 Rust 生态系统调查！
#PL #Rust | 欢迎大家参加 2024 年度 Rust 生态系统调查！
👌5
Forwarded from Les Rêveries 🦄
> If you look at iteration, it actually is about concurrency. You’ve got two “threads” of behavior: one that’s generating values and one that’s consuming them. You need to run these two threads together and coordinate them. That is concurrency. We’re just so used to it, that we don’t think of it that way.
#quote #PL | 关于推式和拉式迭代器
https://journal.stuffwithstuff.com/2013/01/13/iteration-inside-and-out
#quote #PL | 关于推式和拉式迭代器
https://journal.stuffwithstuff.com/2013/01/13/iteration-inside-and-out
👍2