Retourner au contenu associé (dépêche : Opa, un nouveau langage pour le développement d’applications Web)
Posté par Mehdi Dogguy le 24 juin 2011 à 22:40. En réponse à la dépêche Opa, un nouveau langage pour le développement d’applications Web. Évalué à 3.
En taille, ça semble plus petit que Coq (http://coq.inria.fr)...
$ find . -name ".ml" -or -name "*.v" | xargs wc -l | tail -n1 384130 total
J'ai compté les .v comme tu as compté les .opa. Sans les .v, ça donne :
$ find . -name ".ml" | xargs wc -l | tail -n1 202903 total
Après, parler de taille code n'est pas vraiment intéressant, je trouve.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Ocsigen
Posté par Mehdi Dogguy . En réponse à la dépêche Opa, un nouveau langage pour le développement d’applications Web. Évalué à 3.
En taille, ça semble plus petit que Coq (http://coq.inria.fr)...
$ find . -name ".ml" -or -name "*.v" | xargs wc -l | tail -n1
384130 total
J'ai compté les .v comme tu as compté les .opa. Sans les .v, ça donne :
$ find . -name ".ml" | xargs wc -l | tail -n1
202903 total
Après, parler de taille code n'est pas vraiment intéressant, je trouve.