3 ms·
Two powerful, mind-bending items missing from the list of paradigms: (1) Dependent types. c.f Idris (or Agda, or others -- but Idris). (2) Logic programming.
by Jeff_Brown 8y ago
Two powerful, mind-bending items missing from the list of paradigms:
(1) Dependent types. c.f Idris (or Agda, or others -- but Idris).
(2) Logic programming. (It appears in the list of languages ("miniprolog") but not the list of paradigms.)
I consider both of these much more important than some of the more popular paradigms (object-oriented, procedural, dynamic typing -- if I never use such a language again it'll be too soon).
- TheAsprngHacker 8y agoAndrej Bauer, one of the authors of PL Zoo, also implemented a mini dependently typed language: https://github.com/andrejbauer/spartan-type-theory https://github.com/andrejbauer/spartan-type-theory
- rumcajz 8y ago(3) declarative programming (e.g. SQL)
- AnaniasAnanas 8y agoIt has miniprolog.