Comments for Patterns in Functional Programming
https://patternsinfp.wordpress.com
Exploiting the relationship between data structure and program structureSun, 08 Jul 2018 12:27:38 +0000hourly1http://wordpress.com/Comment on Recursion patterns by jeremygibbons
https://patternsinfp.wordpress.com/2010/09/03/recursion-patterns/#comment-1342
Sun, 08 Jul 2018 12:27:38 +0000http://patternsinfp.wordpress.com/?p=48#comment-1342Yes, including the types would have been helpful – thanks! But note that for map, f can have type a->b for different a and b.
]]>Comment on Recursion patterns by Roger
https://patternsinfp.wordpress.com/2010/09/03/recursion-patterns/#comment-1338
Sun, 08 Jul 2018 02:58:26 +0000http://patternsinfp.wordpress.com/?p=48#comment-1338Might it be helpful to the reader if the type signatures are included in the code fragments?
It might be clearer to specify in the ‘map’ example that f : a -> a, and in the ‘foldr’ example that f : a -> b -> b.
]]>Comment on Streaming Arithmetic Coding by Resumen de lecturas compartidas (diciembre de 2017) | Vestigium
https://patternsinfp.wordpress.com/2017/12/11/streaming-arithmetic-coding/#comment-1286
Sun, 01 Jul 2018 11:34:25 +0000http://patternsinfp.wordpress.com/?p=336#comment-1286[…] Streaming arithmetic coding. ~ Jeremy Gibbons (@jer_gib) #Haskell #Math […]
]]>Comment on Arithmetic Coding by Resumen de lecturas compartidas (diciembre de 2017) | Vestigium
https://patternsinfp.wordpress.com/2017/12/05/arithmetic-coding/#comment-1285
Sun, 01 Jul 2018 11:33:24 +0000http://patternsinfp.wordpress.com/?p=330#comment-1285[…] Arithmetic coding. ~ Jeremy Gibbons (@jer_gib) #Haskell #Math […]
]]>Comment on The Digits of Pi by Resumen de lecturas compartidas durante noviembre de 2017 | Vestigium
https://patternsinfp.wordpress.com/2017/11/09/the-digits-of-pi/#comment-1284
Sun, 01 Jul 2018 11:14:51 +0000http://patternsinfp.wordpress.com/?p=316#comment-1284[…] The digits of pi. ~ Jeremy Gibbons @jer_gib #Haskell #Math […]
]]>Comment on Metamorphisms by Resumen de lecturas compartidas durante octubre de 2017 | Vestigium
https://patternsinfp.wordpress.com/2017/10/04/metamorphisms/#comment-1283
Sun, 01 Jul 2018 10:59:27 +0000http://patternsinfp.wordpress.com/?p=288#comment-1283[…] Metamorphisms. ~ Jeremy Gibbons #Haskell […]
]]>Comment on Lenses are the coalgebras for the costate comonad by lenses, fclabels, data-accessor – which library for structure access and mutation is better – Knowleage Exchange
https://patternsinfp.wordpress.com/2011/01/31/lenses-are-the-coalgebras-for-the-costate-comonad/#comment-1205
Sat, 28 Apr 2018 07:50:11 +0000http://patternsinfp.wordpress.com/?p=118#comment-1205[…] Functor is to Lens as Applicative is to Biplate: Introducing Multiplate and was blogged about based on a preprint by Jeremy […]
]]>Comment on The stream monad by What effects are modeled by the stream (infinite list) monad? – program faq
https://patternsinfp.wordpress.com/2010/12/31/stream-monad/#comment-1178
Fri, 16 Feb 2018 10:33:10 +0000http://patternsinfp.wordpress.com/?p=72#comment-1178[…] below its monad instance definition). I’ve stumbled upon the stream monad on a few different occasions and I would like to understand better its […]
]]>Comment on Arithmetic Coding by Streaming Arithmetic Coding | Patterns in Functional Programming
https://patternsinfp.wordpress.com/2017/12/05/arithmetic-coding/#comment-1129
Mon, 11 Dec 2017 13:32:37 +0000http://patternsinfp.wordpress.com/?p=330#comment-1129[…] ← Arithmetic Coding […]
]]>Comment on Metamorphisms by jeremygibbons
https://patternsinfp.wordpress.com/2017/10/04/metamorphisms/#comment-1115
Tue, 14 Nov 2017 17:36:02 +0000http://patternsinfp.wordpress.com/?p=288#comment-1115Hm… ignore the last paragraph, which is nonsense. If the value represented by the sequence x has a finite representation in base 7, then the toBase7 part hangs. Of course.
]]>