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, March 17, 2016
February 2016: Haskell 1Liners
One-liners
February 11th, 2015: rewrite
\n -> mapM f (replicate 10 n)
using replicateM instead
where f :: Monad m => Int -> m a
Gautier DI FOLCO @gautier_difolco replicateM 10 . f
No comments:
Post a Comment