Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderA "Why Pure?" section would be useful. The symbolic manipulation part is something I haven't encountered in other mainstream languages (at the level of the language). It's equivalent to Python's SymPy, right?
This is pretty neat! https://github.com/agraef/pure-lang/wiki/Rewriting#construct...: > As a bonus, you also get "constructors with equations" for free. E.g., suppose that we want lists to automagically stay sorted and eliminate duplicates. In Pure we can do this by simply adding the following equations for the : constructor: > x:y:xs = y:x:xs if x>y; x:y:xs = x:xs if x==y; > [13,7,9,7,1]+[1,9,7,5]; [1,5,7,9,13] (The point about this global override is addressed later. The rewriting can be lexically scoped.)
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 275
- Total comments
- 56
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2017-11-26 | Pure: a modern functional programming language based on term rewritingFirst breakout | blacksqr | 128 | 34 |
| 2019-04-15 | Pure, a functional programming language based on term rewriting | anon121212 | 6 | 0 |
| 2024-02-27 | Pure Programming LanguageBest thread · Latest 20+ point return | tosh | 141 | 22 |