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 26th, 2016: Doing some geo-plotting with #Wikidata for today's (coming up) #haskell problem http://lpaste.net/7869134501572509696 ... and we extracted State capitol lat/longs from #wikidata with this #haskell solution http://lpaste.net/2256342570529456128
February 24th, 2016: Yesterday we sliced, sliced, baby! For today's #haskell problem, we get all dicy wid it! http://lpaste.net/4683779741730209792 converting triples to acids You get a protein, and YOU get a protein, and EVERYBODY GETS A PROTEIN in today's #haskell solution http://lpaste.net/4088917949371383808
February 23rd, 2016: Today's #Haskell problem has us singing "Splice, Splice, baby!" http://lpaste.net/4813324790125297664
February 22nd, 2016: This week we'll look at gene sequencing. Today's #haskell problem we'll create a bi-directionally mapped CODON tablehttp://lpaste.net/5133590580013563904 And the #haskell solution tabled that CODONs! http://lpaste.net/6015179222207692800 improving the original along the way.
February 17th, 2016: Today's #haskell problem gives ONE MILLION codes to the reports-god ... *ahem* I MEANT reports-GENERATOR! http://lpaste.net/4707338728270462976 ... And the solution: Dr. Evil: ONE MILLION CODES! Mr. NumberTwo: Sorry, sir, it's only 21900 codes. http://lpaste.net/5798834052991549440 Dr. Evil: ...
February 16th, 2016: Today's #haskell problem has us parsing MORE! This time regional offices and business units http://lpaste.net/7840815037705879552 And we have our Regional offices and business unitshttp://lpaste.net/6948226477460553728 as a #graph and as a #haskell module
February 15th, 2016: This week we'll be looking at accounting and generating reports! Because YAY! Today's #haskell problem: parsing foodhttp://lpaste.net/5434234717320773632 Foods: Parsed (but hopefully not eaten. YUCK!), Snark: captured, Chart: pie-d ... HUH?!?http://lpaste.net/2151340485682135040
February 12th, 2016: Today's #Haskell problem generalizes random strings to sequences of enumerated values http://lpaste.net/2086566589242540032, specifically Gene sequences Today's #haskell solution surely gives us a lot of nucleotides to consider! http://lpaste.net/2201413576650915840
February 10th, 2016: You generate a set of 'random' numbers. The next set is very similar ... let's fix that for today's #haskell problem http://lpaste.net/4512472853710372864 Today's #haskell solution made rnd more rnd, because reasons http://lpaste.net/6036010844385443840
February 9th, 2016: We learn the past tense of the verb 'to see' is 'See(d),' 'saw(ed),' or 'sowed' http://lpaste.net/4776920810533158912 and we generate some random numbers. ICYMI that was the announcement for today's #haskell problem: it's a Big Generator. Yes. It is. (*groan Okay, I'll stop) (NEVER!) The #haskell solution has us shiftR to the Right ... movin' to the Left ... we are the voices of the Big Generator! http://lpaste.net/879893392832593920
February 5th, 2016: We tackle an Amino Acid CODON table for today's #haskell problem http://lpaste.net/6606149825735950336 suggested by a GATTACA-tweet by @randal_olson The Amino Acid table as a #graph #haskell-solution http://lpaste.net/9122099753146908672
February 3rd, 2016: The Days of Our Lives (or at least of the year) for today's #haskell problem http://lpaste.net/6997792822417948672 These were the best days of our lives! / Back in the Summer of '69! http://lpaste.net/6823202028173393920