[Haskell-cafe] Hyper-recursion?

Sergiu Ivanov sivanov at colimite.fr
Tue Jan 17 11:32:27 UTC 2017

Hi Lawrence,

Thus quoth  Lawrence Bottorff  at 04:56 on Tue, Jan 17 2017:
> I harp on all this because if Haskell is stateless/immutable and in
> total disregard of any underlying memory field, then it seems it
> should progress to hyper-recursion.

The characteristics you are putting forward are generally attributed to
declarative programming (kinda): loosely put, programming in which you
describe your intentions instead of describing how they should actually
be implemented.

While Haskell falls rather heavily within declarative programming, some
(theoretically proven undecidability) issues prevent it from entirely
having the mentioned characteristics.

On the other hand, hyper-recursion seems to be an informal metaphor
overhanging a couple formal concepts (fixed points, corecursion, but not
only).  Haskell aims to be a "well formalised" language, so while it can
handle fixed points and corecursion, it cannot handle some abstractions
which are too loose and therefore difficult to formalise (but still
useful as tools for intuitive exploration).

Conclusion: you are describing an intuition of a model of computing,
which could fall within declarative programming once formalised.
Haskell also falls within declarative programming, but this does not
mean it is particularly better suited than any other programming

I believe I'm indirectly citing what people have already said in this

I do not mean to criticise your point of view, I actually find it rather


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170117/fd3c0dde/attachment.sig>

More information about the Haskell-Cafe mailing list