Hacker GitHub

← All repos

rust-lang/chalk

View on GitHub ↗ ★ 2,023 Rust

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

18 mentions on Hacker News by 17 people: 2 stories, 16 comments · first 2019-04-01 · latest 2026-01-08

Mentions per year 18 mentions · busiest year 2020 (8)
20082026
AllStoriesComments NewestTopOldest
  1. …a relation and rules database for compilers While not quite in rustc proper, along these lines: https://github.com/rust-lang/chalk + https://github.com/rust-lang/polonius
    comment by refset · 2026-01-08 · in Signals vs. Query-Based Compilers
  2. …uses a Prolog-like query language internally for type checking generic requirements and traits: https://github.com/rust-lang/chalk
    comment by slavapestov · 2023-04-19 · in Why did Prolog lose steam? (2010)
  3. …called Chalk that uses a Prolog-inspired language because trait bounds basically define a logic: https://github.com/rust-lang/chalk
    comment by nequo · 2023-03-05 · in Ask HN: Why has functional programming become so popular oustide academia?
  4. Some of them do, for type resolution. Rust has Chalk: https://github.com/rust-lang/chalk , Haskell has something that can be used too: https://aphyr.com/posts/342-typing-the-technical-interview .
    comment by Zababa · 2022-01-27 · in An embeddable Prolog scripting language for Go
  5. No idea if related in any meaningful way, but https://github.com/rust-lang/chalk/tree/master/chalk-engine/... (a "PROLOG-like logic solver" for the Rust trait system) also makes use of "strands"
    comment by anentropic · 2021-04-27 · in Strand Programming Language
  6. …with trait resolution/autocompletion, which is often where you need from the IDE the most. [1] https://github.com/rust-lang/chalk
    comment by the_duke · 2021-02-04 · in Rust-Analyzer Architecture
  7. …those unaware: Chalk is a rewrite of the trait logic in rustc, based on logic programming [1] ) [1] https://github.com/rust-lang/chalk
    comment by the_duke · 2020-09-23 · in Haskell's Children
  8. …Chalk it will be very formidable! We'll have to catch up Haskell at some point, sigh. [1]: https://github.com/rust-lang/chalk.git [2]: https://github.com/TimelyDataflow/differential-dataflow
    comment by Ericson2314 · 2020-08-08 · in Formulog: ML + Datalog + SMT
  9. …(I'd be interested to learn more about how they differ). The logic library is called Chalk ( https://github.com/rust-lang/chalk ), and it's designed to be a full trait resolution engine for Rust (trait resolution being a necessary step to…
    comment by kibwen · 2020-07-19 · in Turning the IDE Inside Out with Datalog
  10. Rust is working on chalk, which claims to be “Prolog-ish”: https://github.com/rust-lang/chalk/blob/master/README.md It’s being used in rust-analyzer (the leading language server) today, and is likely to be used in the compiler in the…
    comment by trevyn · 2020-06-17 · in Robpike/Lisp: Toy Lisp 1.5 interpreter in Go
  11. I believe GATs are at least somewhat supported in chalk https://github.com/rust-lang/chalk/issues/116
    comment by Avi-D-coder · 2020-05-22 · in Rust Analyzer: Next few years
  12. …announcing it: http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe... and more info here: https://github.com/rust-lang/chalk
    comment by nahuel0x · 2020-05-21 · in Rust Analyzer: Next few years
  13. …Maybe LINQ from .NET could be included There is also chalk from Rust https://github.com/rust-lang/chalk
    comment by The_rationalist · 2020-05-19 · in Ask HN: Production Prolog in 2020?
  14. …of Rust's typechecking/trait matching infrastructure in Chalk, which is a derivative of Prolog: https://github.com/rust-lang/chalk Prolog is surprisingly (or not surprisingly, given the Curry-Howard isomorphism) useful for implementation…
    comment by pcwalton · 2019-05-15 · in Use of Prolog for developing a new programming language (1992) [pdf]
  15. Any updates and plans on Chalk[1][2] and Traits subsystem? [1] https://github.com/rust-lang/chalk [2] https://github.com/rust-lang/rust-roadmap-2017/issues/8
    comment by xvilka · 2019-04-23 · in Rust's 2019 Roadmap
  16. …Its goal is to be an executable, highly readable specification of the Rust trait system. https://github.com/rust-lang/chalk https://rust-lang.github.io/rustc-guide/traits/chalk-overvie...
    comment by cpeterso · 2019-04-01 · in Modern Prolog Implemented in Rust