Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
What comes after 'D'? 'R,' obviously! And I'm not talking the language R, as this is Haskell-focused (of which R is a (small) subset) (so I am talking R, to some extent), but R-for-Regressive-Imagery-Dictionary! Raw data sets: