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.
October 16th, 2017: Thanks to @ahnqir we're looking at cities and skyscrapersfor today's #haskell problem. Ooh! Bar chart! Today's #haskell solution exclaims (proclaims? declaims?) "Look at Hong Kong with its highrises!"
September 13th, 2017: Today's #haskell problem asks the article names have encoded Julian dates ... OR DO THEY? So, in solving today's #haskell problem, I realized THOSE AREN'T JULIAN DATES! THOSE ARE DATE DATES!