Calculer la complexité de l'espace-temps dans les langages évalués paresseusement

Question

Quelqu'un peut-il me dire comment on calcule la complexité de l'espace-temps des langages évalués paresseusement? J'ai entendu c'est difficile, mais je voudrais essayer.

Merci à l'avance

Answer 1

Au moins pour le cas des structures de données (j'ose le pari qui généralise au code de la vanille), vous trouverez des informations sur Okasaki's "Purely functional data structures. Autre papers from him peut être utile pour votre entreprise, aussi.