AMANDA extended one of these created by David Turner, and Wadler wrote a book on how to use monads in them.  Charity is an example of the so-called "total" type of these that prohibit non-termination, and easy memorization in them is attained through the fact that many of them maintain referential transparency.  Some 70 SFRIs extend one of these beyond its R6RS standards, while another employs call-by-need, a form of lazy
AMANDA extended one of these created by David Turner, and Wadler wrote a book on how to use monads in them.  Charity is an example of the so-called "total" type of these that prohibit non-termination, and easy memorization in them is attained through the fact that many of them maintain referential transparency.  Some 70 SFRIs extend one of these beyond its R6RS standards, while another employs call-by-need, a form of lazy evaluation.  Besides that one named for the first namesake of the Curry-Howard correspondence, side effects aren't present in "pure" ones.  Microsoft recently created one that is similar to OCaml called F# ["F-Sharp"], and they usually implement the tuple data type.  Exemplified by Scheme and Lisp, for 10 points, name this type of programming language contrasted with imperative languages.
AMANDA extended one of these created by David Turner, and Wadler wrote a book on how to use monads in them.  
functional programming languages