Hacker GitHub

← All repos

agraef/pure-lang

View on GitHub ↗ ★ 342 C++

Pure programming language

5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2017-11-27 · latest 2024-02-27

Mentions per year 5 mentions · busiest year 2019 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …where most of the documentation seems to be anyway. This FAQ is linked directly from the website. https://github.com/agraef/pure-lang/wiki/FAQ#why-pure
    comment by elpatokamo · 2024-02-27 · in Pure Programming Language
  2. …instead of XML infoset. -- 1: https://en.wikipedia.org/wiki/List_of_program_transformation... 2: https://github.com/agraef/pure-lang 3: https://www.cduce.org/#whatis 4: http://www.colm.net/open-source/colm/ 5:…
    comment by emmanueloga_ · 2020-11-16 · in Exotic Programming Ideas, Part 2: Term Rewriting
  3. …that I almost never see brought up is [pure][1][2]. [1]: https://agraef.github.io/pure-lang/ [2]: https://github.com/agraef/pure-lang/wiki/PureIntro
    comment by Reisen · 2019-11-02 · in The Lx Programming Language
  4. 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…
    comment by chenglou · 2017-11-27 · in Pure: a modern functional programming language based on term rewriting