Rock était bien établi et complet et maintenant Lean , le petit nouveau, semble dominer. Y a t’il une raison à cela?
Je veux dire on ne crée pas un nouveau langage pour le plaisir mais pour apporter quelque chose en plus. Et en plus à priori Lean est similaire à Rock.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
# Lean vs Rock
Posté par abriotde (site web personnel, Mastodon) . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 2.
Rock était bien établi et complet et maintenant Lean , le petit nouveau, semble dominer. Y a t’il une raison à cela?
Je veux dire on ne crée pas un nouveau langage pour le plaisir mais pour apporter quelque chose en plus. Et en plus à priori Lean est similaire à Rock.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.