1. 15
  1.  

  2. 10

    Anyone interested in total languages might like Idris, Agda, or Coq:

    In particular, some interesting approaches to services with an indefinite lifespan (like a daemon) were explored with codata in Agda:

    1. 5

      Anyone interested in total languages might like the Charity language:

      https://en.m.wikipedia.org/wiki/Charity_(programming_language)