- 2020-09-09: Today's #haskell exercise is to compile our book-word-net into a Haskell module. The #haskell solution compiled the August 2020 Gutenberg top 100 read books into Haskell terms.
- 2020-09-08: Data analytics on our top 100 gutenberg books is today's #haskell exercise. Did you know that there approximately 2000 English words in common usage? Today's #haskell solution: "Sounds about right."
- 2020-09-01: Today's #haskell problem is reducing a map of mapping of information to maps to a map. HOW HASKELL-Y! Yesterday's #haskell solution updated both problem and solution and made some data-discoveries along the way. Neat-o!
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.
Wednesday, September 2, 2020
September 2020 Haskell Problems and Solutions
Tuesday, September 1, 2020
February 2019 Haskell 1-liners
- February 18th, 2019:
Define ext :: (Maybe a, b) -> Maybe (a,b)
e.g.: ext (Just 5, "Hi") = Just (5, "Hi") - Al͜l ̸͑ha͂͟il̶! @TechnoEmpress \o/
- cλementd @clementd `fmap swap. sequenceA . swap` :-)
- Raveline @Raveline bisequence . second pure
- Alexey Radkov @sheshanaag uncurry (flip $ fmap . flip (,))
- a fool @fresheyeball ext = \case (Just x, y) -> Just (x, y); _ -> Nothing
September 2020 Haskell 1-liners
2020-09-08: given
removeInfreqs :: Set String -> Ontology -> Ontology removeInfreqs infrequentWords ont = Map.map (\wordcounts -> foldl (flip ri') wordcounts infrequentWords) ont
where
Ontology
is a map-of-maps.- remove
flip
to get the same functional result. - curry away
ont
from the functionremoveInfreqs
- curry away
wordcounts
from the map-lambda function. curry away
infrequentWords
from the functionremoveInfreqs
n.b.: This curry may not be as straightforward as the other curries.
- remove
2020-09-01: Given all of the above, and now that you've curried the above lambda to [SPOILER]:
Curry away\key -> const (not (Set.member key stoppers))
key
from this new lambda.
Subscribe to:
Posts (Atom)