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

▼

Tuesday, March 23, 2021

March 2021 1HaskellADay 1Liners

2021-03-23: You have [a] and (a -> IO b) . You want IO [(a, b)] That is, you want to pair your inputs to their outputs for furth...

Monday, March 1, 2021

March 2021 1HaskellADay Problems and Solutions

2021-03-31, Wednesday: Let's go on 50 last dates for today's #haskell problem. Today's #haskell solution shows us the fifty las...

Monday, February 1, 2021

February 2021 1HaskellADay Problems and Solutions

2021-02-26: Today's #haskell problem we will be matching the metaphone'd-wineries from wikidata and from the graph-store. Today...

Thursday, January 21, 2021

January 2021 1HaskellADay 1Liners

2021-01-28: Opposite problem: You have: [(a, Set b)] you want: [(a, b)] e.g.: [("hi", fromList [1,2,3]), ("bye", fromLi...

Wednesday, January 20, 2021

January 2021 1HaskellADay Problems and Solutions

2021-01-29: Ambitious! Let's upload some indexed wineries with geo-locations to the graph-store for today's #haskell problem! For t...

Tuesday, December 1, 2020

December 2020 1HaskellADay Problems and Solutions

2020-12-22: Monads are burritos, but today's #haskell problem brings together the whole enchilada ! In today's #haskell solution we ...

Friday, November 13, 2020

November 2020 1HaskellADay 1Liner problems and solutions

In my Data.XHTML library printXML xml = (\elt -> printElementWithOffset elt 0 >> return elt) (rep xml) Curry away the xml -arg...

View web version

Powered by Blogger.