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.
February 27th, 2015: Let's put all our primes in a circle, shall we? http://lpaste.net/121154 Ah, how cute! Today's #haskell problem suggested by @jamestanton @bretthall defines a solution, with some analysis, at http://lpaste.net/121292
February 26th, 2015: Okay, check this! Today's #haskell problem is as easy as 1, 2, 3! http://lpaste.net/121250 An easy as π solution is posted at http://lpaste.net/121273 ... mmm! π! But is it apple π or ... raspberry π? #couldntresist
February 25th, 2015: I'd like moccha sprinkles on my double capicua, please. http://lpaste.net/121153 No. Wait. Today's #haskell problem suggested by a tweet from @OnThisDayinMath
February 24th, 2015: Not satisfied with a simple square-from-square problem @BenVitale takes it up a notch and asks us to cube dat square! http://lpaste.net/121060 We have one solution out of 20k squares posted at http://lpaste.net/121150 : [(39204,39304)]
February 23rd, 2015: I hereby christen this week a fun-with-numb3rs week, and start us off by learning that 'easierest' is a word, http://lpaste.net/121034, just like 'ginormous.' And the winner is...no, wait! Ladies and gentlemen, we have MULTIPLE winners! http://lpaste.net/121052 Good thing the solution isn't the Lotto No, wait. The problem statement wasn't read carefully by the solution-poster. I blame that wicked, wicked @geophf! Bad geophf! Bad! ;)
February 20th, 2015: It's a #Borderlands2 Truxican Standoff for you to resolve in today's #haskell problem http://lpaste.net/120819 The solution is simple really: just a projection into a monad category in order to do some monoidal deduction is all! http://lpaste.net/120916
February 18th, 2015: Instead of doing today's #haskell problem, let's go ice skating. No, let's do BOTH! http://lpaste.net/120722 Okay, a loquacious solution? garrulous? Yes. Once one cuts through all the attempts, it's a simple solution, too: http://lpaste.net/120873 ... and updated the solution with the monoidal guarantee-by-implication that the result is unique (instead of just hoping it is) #coercivelogic
February 13th, 2015: Today's SCARY #haskell problem comes by way of @OnThisDayinMath http://lpaste.net/120422 Tonight's late-night movie, Friday the 13th, part III http://lpaste.net/120466 as the solution to today's #haskell problem.
February 12th, 2015: Gurer ner gvzrf jura ... yeah. That. http://lpaste.net/120388 Today's #haskell problem, thanks to @KenKenPuzzle The solution shows us that it's INTENSE unscrambling words http://lpaste.net/120407
February 4th, 2015: Three birds in the hand is better than today's #haskell problem http://lpaste.net/119926 an ornithologist's delight inspired by @KenKenPuzzle. The solution, using MultiMaps, PartitionedSets, and Arrows is (@geophf-obviously) "WOOT! WOOT! WOOT!" http://lpaste.net/120065
February 2nd, 2015: Today's #haskell exercise is all about the #SuperBowl! (No, it's not, but that makes for good copy), or 110, 210, ... http://lpaste.net/119791 The moral (and solution) to this story is: Don't eat cheerios seasoned with basil. http://lpaste.net/119823 Or something like that. Inspired by @bretthall solution, I expanded to include last-3-of-4 digits for solutions to bases 4,5,6 @jamestanton