Comments on: Differentiation of higher-order types

By: David Feuer

David Feuer — Wed, 05 Sep 2018 20:16:44 +0000

There's a strange asymmetry here. You have data Void a but type Unit a = Const () a. I'd expect to have either data Unit a = Unit (as in GHC.Generics) or type Void a = Const (Data.Void.Void) a.

By: monoidal

monoidal — Sun, 26 Sep 2010 13:21:37 +0000

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

conal — Thu, 29 Jul 2010 17:45:25 +0000

Thanks, Paul. Fixed now. Please try again.

By: Conal Elliott » Blog Archive » Another angle on zippers

Conal Elliott » Blog Archive » Another angle on zippers — Thu, 29 Jul 2010 17:15:57 +0000

[...] About « Differentiation of higher-order types [...]

By: Paul Brauner

Paul Brauner — Thu, 29 Jul 2010 05:32:30 +0000

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