Will Ness
YOUR LANGUAGE IS NOT high-level ENOUGH
primes =[2..] \[[pΒ², pΒ²+p..] | p <- primes]
((g<=<f)=<<) = (g=<<) . (f=<<) = join . (g<$>) . join . (f<$>)
in a declarative language,
length(a) == 0is the same asnull(a),
and[y | x <- [1..], y <- []]is just[].
apply (FUNARG lambda env) xs a = apply lambda xs env
(g ~~>! h) f x = case g x of [] -> f x; (y:_) -> h y
1:foldr (\n s->fix (merge s.(n:).map (n*))) [] [2,3,5]
ordfactors = foldr g [1] . reverse . primePowers where
slice hi w = (c, sortBy (compare `on` fst) b) where
What's in a powerset? A set's subsets...
(define (call/cc-cps proc k) (proc k k))
(define (list . xs) xs)
How Monads are considered Pure?
Monads are EDSLs:
do { [1,2,3] ; [4,5] } =>
do { x <- [1,2,3] ; do { y <- [4,5] ; return y }} =>
{for x in [1,2,3] : {for y in [4,5] : {yield y}}} => [4,5,4,5,4,5]
-
Member for 3 years, 6 months
-
0 profile views
-
Last seen Sep 20 '18 at 12:07
Communities (27)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
