Hacker GitHub

← All repos

Iltotore/iron

View on GitHub ↗ ★ 562 Scala

Strong type constraints for Scala

7 mentions on Hacker News by 4 people: 4 stories, 3 comments · first 2021-07-30 · latest 2025-04-04

Mentions per year 7 mentions · busiest year 2021 (3)
20082026
AllStoriesComments NewestTopOldest
  1. Type system makes a huge difference especially things like refined types: https://github.com/Iltotore/iron Shifts entire classes of errors to compile time.
    comment by threeseed · 2025-03-26 · in Evolving Scala
  2. …20 years, and don't expect it to come to the C languages ever. Meanwhile in mainstream ML-land: https://github.com/Iltotore/iron (Or for the older version of the language: https://github.com/fthomas/refined ) (Please also note that for…
    comment by still_grokking · 2023-04-02 · in Catch-23: The New C Standard Sets the World on Fire
  3. …for refinement-types? Scala to the rescue: https://github.com/fthomas/refined And a new one: https://github.com/Iltotore/iron/ The latter will be zero overhead once a compiler ticket is closed. Both solutions will yield compile time checks…
    comment by still_grokking · 2021-08-17 · in What was the last breakthrough in computer programming? (2019)