Wednesday, April 1, 2015

March 2015 1HaskellADay Problems and Solutions

March 2015
  • March 31st, 2015: Today's #haskell exercise has us looking for a really big pandigital prime ... like: REALLY big. Maybe.
  • March 30th, 2015: A little math-problem to ease us into the week, suggested by @jamestanton 3 consecutive integers that are co-composed
  • March 27th, 2015: Today's #haskell problem is unification of multiple free variables We find this to be 'CoSimple.' 34 lines (and a new n-to-1 data mapping-type) defining not a 'CoSimple' unifier but now an 'UnSimple' one. Ugh!
  • March 26th, 2015: Unification is interesting! (Functional Unification paper) Let's look at the unification-problem for today's #haskell problem We define simple unification (of up to one free logic variable) in a module called unification.simple, oddly enough.
  • March 25th, 2015: In Old Norse, words end with 'R' (not all). For today's #Haskell problem, relations end with 'R' Where I learn to speak Old Norse with a slightly better accent: unifying lists with headR and tailR with unifyLists
  • March 24th, 2015: For today's #haskell problem we learn that 'kayso' is a word, and we edge a bit more toward pure relational calculus A solution to this relational-calculus problem that is defined over Data/Control logic modules:
  • March 23rd, 2015: WHO KNEW a chance meeting with @webyrd at the POPL06 would lead to today's #haskell problem? μBikini I mean: μKanren And the solution implies that monadic-list states are logic programming? Perhaps.
  • March 19th, 2015: We now learn signal spreads ... like ... margarine! for today's #haskell problem
  • March 18th, 2015: For today's #haskell problem we learn that Jupiter's moon Europa is made from Froyo, and custard! Mmmm!
  • March 17th, 2015: No quaternions were harmed in today's #haskell π-problem IN SPACE!
  • March 16th, 2105: In space, no one can here you scream "@NASA" (nor anything else for that matter. Today's #haskell problem
  • March 14th, 2015: Happy π day! A plain-text version of these NASA π-in-space puzzles are available at
  • March 13th, 2015: Okay, ladies and gentlemen, today, in honor of tomorrow being π day, let's take a #coercive #logic break and π it up!
  • March 12th, 2015: I wonder if the suitor's surname is Quine for today's #haskell problem #coercive #logic
  • March 10th, 2015: For today's #haskell problem, we wonder if Balikaya is Aharmanite or Mazdaysian #scheherazade #coercive #logic
  • March 9th, 2015: In which Iskandar is asked Kamar's Children's ages in Scheherazade's #haskell metapuzzle #coercive #logic 
  • March 6th, 2015: Champernowne's constant for today's #haskell problem Please let me know if you can NOT access this problem: I've marked it private as previous ones are being modified in place. DON'T DO THAT!  In which we show @geophf triumphs with brütish-forcisms for today's #haskell solution
  • March 5th, 2015: For today's #haskell problem, we ponder why they aren't calledLEFT-triangles. Is it a plot? Leftist triangles are subject to the (IO) State (monad) ... geddit? #sigh never mind anyway, solution: Or, put another way: in which we see @geophf can not have a function type that includes -> Int -> ... AND, we really need MapReduce here!
  • March 4th, 2015: Truncatable primes (11 in all) are asking to be solved in today's #haskell problem This @1HaskellADay problem turned into a _TWO_day solution! Worth it? Why, yes, after redesigning _TWO_ libraries!
  • March 3rd, 2015: There's more than a 1-in-a-million chance there are 'sum' double palindromic numbers in today's #haskell problem The solution was not too hard, M. Euler!
  • March 2nd, 2015: What-what! abcde * fghij is equal to ... well, something, it appears. and the prob1, prob2 winners are ... A solution to today's #haskell problem.

No comments: