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

▼

Thursday, July 2, 2020

July 2020 1HaskellADay Problems and Solutions

2020-07-31: Well, that's random . Generating random numbers and sequences is today's #Haskell problem. Today's #haskell solut...

June 2020 1HaskellADay Problems and Solutions

YAY! HELLO! Our first #haskell exercise in a while!... and this exercise is about ... wait for it ... exercise ! For today's #haskel...

Thursday, October 17, 2019

February 2019 1HaskellADay Problems and Solutions

February 20th, 2019: Wednesday's #haskell problem: we've got words, now let's find words that start with ... 'x'. F...

Monday, February 18, 2019

April/May 2019 1HaskellADay 1Liners

May 27th, 2018: data F = F { a, b, c :: String } data Stamped a = { time :: Day, stamped :: a } f :: Stamped F -> String output of f x i...

January 2019 1HaskellADay Problems and Solutions

January 30th, 2019: Wednesday's #haskell problem is to take the JSON-y articles and the HTML-encoded articles and sort them by id and...

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...

View web version

Powered by Blogger.