toutes les options
stretch  ] [  buster  ] [  sid  ]
[ Paquet source : urweb  ]

Paquet : urweb (20170105+dfsg-2)

Liens pour urweb

Screenshot

Ressources Debian :

Télécharger le paquet source urweb :

Responsable :

Ressources externes :

Paquets similaires :

langage exclusivement fonctionnel pour la programmation web

Ur est langage de programmation strict, statiquement typé, fonctionnel et pur dans la tradition de ML et Haskell. Cependant, il possède un type de système sensiblement plus riche. Ur/Web consiste en Ur plus une bibliothèque standard spéciale et des règles associées pour l’analyse et l’optimisation. Ur/Web prend en charge les applications web de construction dynamique adossées à des bases de données SQL.

Ce paquet fournit le compilateur urweb et les bibliothèques de développement. Il n’est pas nécessaire de l’installer pour exécuter des applications écrites en Ur/Web.

Autres paquets associés à urweb

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger urweb

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 1 559,8 ko9 773,0 ko [liste des fichiers]
arm64 2 116,4 ko9 588,0 ko [liste des fichiers]
armel 2 490,9 ko11 226,0 ko [liste des fichiers]
armhf 2 519,4 ko7 204,0 ko [liste des fichiers]
i386 1 211,4 ko7 978,0 ko [liste des fichiers]
mips 1 993,4 ko8 900,0 ko [liste des fichiers]
mips64el 1 988,8 ko10 365,0 ko [liste des fichiers]
mipsel 2 039,7 ko8 884,0 ko [liste des fichiers]
ppc64el 2 134,8 ko10 388,0 ko [liste des fichiers]
s390x 2 181,2 ko11 871,0 ko [liste des fichiers]