Typed Logic

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.

Pages

▼

Monday, January 28, 2019

December 2018 1HaskellADay Problems and Solutions

December 19th, 2018: Tuesday's #haskell problem was to eliminate that pesky plus-sign; Wednesday's haskell problem is to enputify ...

Monday, December 3, 2018

November 2018 1HaskellADay Problems and Solutions

November 27th, 2018: Tuesday brings a little more logic to today's #haskell puzzler. November 26th, 2018: Monday's #haskell p...

Friday, November 2, 2018

October 2018 1HaskellADay Problems and Solutions

October 31st, 2018: A Happy Halloween arithmetic puzzle for you Happy Haskellers! October 25th, 2018: Thursday's #haskell problem w...

Friday, October 5, 2018

August 2018 1HaskellADay problems and solutions

August 22nd, 2018: For Wednesday's #haskell problem we query a directory and massage some JSON : all in a day's work. Wednesday...

Thursday, August 2, 2018

July 2018 1HaskellADay Problems and Solutions

July 31st, 2018: Tuesday's #haskell problem: let's start to build a # kakuro-solver ! YES! (Image via http://www.menneske.no/kakur...

Tuesday, July 3, 2018

June 2018 1HaskellADay Problems and Solutions

June 29th, 2018: Friday's #haskell problem is partially parsing a very large file. For Friday's #haskell solution we parse a JSO...

Monday, June 4, 2018

May 2018 1HaskellADay Problems and Solutions

May 31st, 2018: In Thursday's #haskell problem we are analyzing JSON so we can produce ... MORE JSON ! And thus grows our Big Data. Th...

View web version

Powered by Blogger.