ticki/rfcs
View on GitHub ↗ ★ 7
RFCs for changes to Rust
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2016-12-04 · latest 2020-08-17
20082026
-
…future. Parts 1-3 would hopefully be explored next. Fully dependent types are introduced in part 3: https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-...
comment by fluffything · 2020-08-17 · in Idris 2 version 0.2.1 -
…went in first and they wanted to see how that would shake out before trying to fully tackle this. https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-...
comment by simcop2387 · 2018-09-19 · in Falling in love with Rust -
…everyone knows Rust needs eventually, but hadn't been able to work up a concrete proposal for: https://github.com/ticki/rfcs/blob/pi-types/text/0000-pi-typ... Outside the core project, Ticki was involved with RedoxOS, an OS written in…
comment by twic · 2018-05-07 · in Why I'm leaving Open Source -
…by lack of type parametrization with integers: https://github.com/rust-lang/rfcs/issues/1038 https://github.com/ticki/rfcs/blob/pi-types/text/0000-pi-typ...
comment by pornel · 2016-12-04 · in Rust: 128 bit integers preparing to be released