Comments on: Differentiation of higher-order types http://conal.net/blog/posts/differentiation-of-higher-order-types Inspirations & experiments, mainly about denotative/functional programming in Haskell Mon, 21 Nov 2011 12:42:05 +0000 hourly 1 http://wordpress.org/?v=3.1 By: monoidal http://conal.net/blog/posts/differentiation-of-higher-order-types/comment-page-1#comment-58269 monoidal Sun, 26 Sep 2010 13:21:37 +0000 http://conal.net/blog/?p=140#comment-58269 <p>I like the analogy between value-level and type-level differentation. In Omega programming language, level polymorphism is supported, and corresponding values and types can be defined simultaneously. (The definition gives also automatically kinds, sorts etc.). Unfortunately I am unable to define value functions and type functions with one definition, so I have to give analogous definitions. http://hpaste.org/40138/level_polymorphism_in_omega</p> I like the analogy between value-level and type-level differentation. In Omega programming language, level polymorphism is supported, and corresponding values and types can be defined simultaneously. (The definition gives also automatically kinds, sorts etc.). Unfortunately I am unable to define value functions and type functions with one definition, so I have to give analogous definitions. http://hpaste.org/40138/level_polymorphism_in_omega

]]> By: conal http://conal.net/blog/posts/differentiation-of-higher-order-types/comment-page-1#comment-51266 conal Thu, 29 Jul 2010 17:45:25 +0000 http://conal.net/blog/?p=140#comment-51266 <p>Thanks, Paul. Fixed now. Please try again.</p> Thanks, Paul. Fixed now. Please try again.

]]> By: Conal Elliott » Blog Archive » Another angle on zippers http://conal.net/blog/posts/differentiation-of-higher-order-types/comment-page-1#comment-51260 Conal Elliott » Blog Archive » Another angle on zippers Thu, 29 Jul 2010 17:15:57 +0000 http://conal.net/blog/?p=140#comment-51260 <p>[...] About « Differentiation of higher-order types [...]</p> [...] About « Differentiation of higher-order types [...]

]]> By: Paul Brauner http://conal.net/blog/posts/differentiation-of-higher-order-types/comment-page-1#comment-51187 Paul Brauner Thu, 29 Jul 2010 05:32:30 +0000 http://conal.net/blog/?p=140#comment-51187 <p>Hi, nice post! I've tried to compile the last version of functor-combo (0.0.3) but one file seems to be missing:</p> <p> cabal: can't find source for FunctorCombo/StrictMemo in src</pre> </p> Hi, nice post! I’ve tried to compile the last version of functor-combo (0.0.3) but one file seems to be missing:

cabal: can’t find source for FunctorCombo/StrictMemo in src

]]>