Hacker GitHub

← All repos

mietek/total-fp

View on GitHub ↗ ★ 191

Total functional programming (ESFP) literature

4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2015-11-14 · latest 2019-01-21

Mentions per year 4 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …is explicitly aimed at practical programming. [1] D. Turner (2004) “Total functional programming”, https://github.com/mietek/total-functional-programming/blob/... [2] https://www.idris-lang.org
    comment by mietek · 2019-01-21 · in A Bridge Too Far: E.W. Dijkstra and Logic
  2. …See section 4 on codata of Turner’s 2004 “Total functional programmming” for more information. https://github.com/mietek/total-functional-programming/blob/...
    comment by mietek · 2017-11-26 · in My unusual hobby
  3. …a finite number of steps. See Turner 2004 for a great introduction to total functional programming: https://github.com/mietek/total-functional-programming/blob/... Totality is also important in the context of theorem-proving: if we're…
    comment by mietek · 2017-10-31 · in Simplicity: A New Language for Blockchains [pdf]
  4. …https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.... https://github.com/mietek/total-functional-programming
    comment by mietek · 2015-11-14 · in We need less powerful languages