articles
articles copied to clipboard
quchen
Miscellaneous articles. The readme is the table of contents.
This is a question about your [`zipWith` article](https://github.com/quchen/articles/blob/master/2018-11-22_zipWith_const.md). You conclude your article by saying that this is a more efficient implementation of `Eq` for `Polygon`. ```haskell (==) :: Polygon ->...
This is a question about your [`zipWith` article](https://github.com/quchen/articles/blob/master/2018-11-22_zipWith_const.md). Is `flip` essential in ```haskell rotateUntil p xs = zipWith (flip const) xs (dropWhile (not . p) (cycle xs)) ``` ? My...
This is a question about your [`zipWith` article](https://github.com/quchen/articles/blob/master/2018-11-22_zipWith_const.md). In your implementation of `splitMiddle`, did you use ```haskell secondHalf = zipOverflow firstHalf xs ``` instead of something like ```haskell secondHalf =...
In the https://github.com/quchen/articles/blob/master/loeb-moeb.md article it is written: > The interesting part is that the order of the functions is not necessarily left-to-right. The list elements can be swapped around, as...
Line 248: Changed "we'll have to `Tape` objects:" to " we'll have two `Tape` objects:" Line 486: Changed "so that instread of adding" to "so that instead of adding"
In [your excellent article about how the first functor law implying the second in Haskell](https://github.com/quchen/articles/blob/master/second_functor_law.md), I see where you used applied the first functor law and the free theorem, but...
note:- there are still many language errors in this fine but I've tried fixing a bit as much as I could.
With an explicit type signature, moeb can be given a more general type ```Haskell moeb :: ((forall b . (a -> b) -> b) -> c -> a) -> c...
[The pointfree article on haskell.org](https://wiki.haskell.org/Pointfree#Swing) mentions a strange function named `swing`: ```haskell swing :: (((a -> b) -> b) -> c -> d) -> c -> a -> d swing...
You can see the discussion at http://tunes.org/~nef/logs/haskell/18.04.29 at around time 09:13:30 This aligns with the report: https://www.haskell.org/onlinereport/haskell2010/haskellch3.html (section 3.3 `Curried Applications and Lambda Abstractions`), where for patterns, it desugars as...
