Hippopotame (./27) :
(Alors que c'est même pas vrai, ils ont existé de tout éternité dans le monde des Idées!)

(et l'intégrale de yaronet aussi ^^)

Sally (./28) :
euh ça dépend du programme, ce n'est pas du tout le cas général ce que tu dis... c'est vrai pour les trucs genre jeux vidéos mais pas pour les programmes qui font des tâches basiques (« basique » pouvant être complexe, je doute par exemple qu'on puisse t'interdire d'écrire un compilateur ou interpréteur de quelque langage que ce soit sous prétexte qu'il en existe déjà un, et pourtant ça implique que tu reproduises exactement le fonctionnement d'un logiciel qui existe déjà...)

Deux choses :
- si c'est effectivement simple rien n'interdit de faire la même chose de façon indépendante : c'est un copyright, pas un brevet
- n'importe quel logiciel "basique" est la preuve d'un théorème très compliqué et pas basique du tout (donc presque impossible à reproduire de façon indépendante), qui reproduit entre autres tous les bugs ou autres limitations ; et puis ça dépend de la granularité que tu adoptes, mais si tu modélises toutes les interactions avec l'OS ça devient encore plus compliqué : quelle taille de buffer, quelle latence entre entrée et sortie, quelles interactions entre threads, etc... Et je ne parle même pas des allocations mémoire ou de la garbage collection ^^


(en tout cas ça me rappelle un peu la discussion sur la canonicité dans plptôtp)