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 29th, 2016: For today's #LeapDay #haskell problem, @geophf asks for your (π) deets! courtesy of @OnThisDayinMath http://lpaste.net/8336236749340540928 Today's #haskell solution *Main> last10idx (take 1000000 π) ~> 999699 http://lpaste.net/6200187768866340864 @OnThisDayinMath
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 25th, 2016: A little bit of parsing wikidata from a US State/Capitol SPARQL query for today's #haskell problem http://lpaste.net/7506043738804715520 Got SPARQL-y, and today's #haskell solution gets you State capitol data ... in #haskell! (Did I mention #haskell?) http://lpaste.net/1147233748136230912
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 19th, 2016: For today's #haskell problem, we deliver our customer the product: codes and, well: codes for their reports. YAY! http://lpaste.net/6281519086354563072 Annnnnnnnnddddd the file of TWENTY-ONE THOUSAND NINE HUNDRED CODES! http://lpaste.net/8746184321112473600
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 11th, 2016: Writing random strings for today's #haskell problem http://lpaste.net/3636386820536664064 because that's every coder's dream-project. Today's #haskell solution does some stats on the generated random strings http://lpaste.net/652044497311498240
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 4th, 2016: Today's #haskell problem has us create the cal (not Ripken) app http://lpaste.net/846188289084882944 Today's #haskell solution has us Rikpenin' dat Cal! http://lpaste.net/8386114973348134912
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
February 2nd, 2016: Dates and Days for today's #haskell problem http://lpaste.net/1501657254015795200 Date nuts and Grape nuts! ... no ... wait. http://lpaste.net/3546538887843151872
No comments:
Post a Comment