Ur / Web nouveau langage purement fonctionnel pour la programmation web? [fermé]

Je suis tombé sur le projet Ur / Web lors de ma recherche de frameworks web pour les langages de type Haskell. Cela ressemble à un projet très intéressant réalisé par une seule personne.

Fondamentalement, c'est un langage purement fonctionnel spécifique au domaine pour la programmation Web, prenant le meilleur de ML et Haskell. La syntaxe est ML, mais il existe des classes de types et des monades de Haskell, et elle est strictement évaluée. Côté serveur est compilé en code natif, le client en Javascript. Voir les diapositives et la page FAQ pour d'autres avantages annoncés.

En regardant les démos et leur code source , je pense que le projet est très prometteur. La dernière version est quelque chose 20110123, donc elle semble être en cours de développement actif en ce moment.

Quelqu'un ici en a-t-il eu une expérience supplémentaire? Y a-t-il des problèmes / désagréments par rapport à Haskell, à part la syntaxe légèrement plus verbeuse de ML?

Je suis l'auteur d'Ur / Web. Je viens de créer ce compte et je n'ai donc pas assez de mojo pour répondre aux autres réponses passées.

Ur / Web permet aux plugins d'implémenter différents protocoles Web, donc, si vous voulez voir un autre protocole en plus de CGI, FastCGI ou HTTP, vous pourrez peut-être l'implémenter ou me demander de l'implémenter. :) Je ne savais vraiment pas à ce point que d'autres personnes recherchaient.

Qu'est-ce que cela signifie pour la programmation SQL de se sentir "groupée"?

Re: les plaintes concernant le look "Web 1.0", je pense que c'est une fonctionnalité conçue pour gagner du temps pour les gens qui ne veulent pas vraiment utiliser ce langage. ;) Il n'y a pas de fonctionnalités manquantes à ma connaissance qui empêchent d'écrire des applications qui vous ressemblent, et je pense que cela apparaît une fois que vous avez défini la configuration de base du langage et des bibliothèques.

Enfin, ScantRoger, je serais ravi de connaître vos expériences d'application d'Ur / Web avec un client! Je ne sais pas si ce serait une mauvaise forme de donner mes coordonnées ici, mais il y a un lien vers mon site Web personnel au bas de la page d'accueil d'Ur.

Nous l'avons utilisé pour un client soucieux de la sécurité et avons noté ce qui suit:

• En tant que langue, c'est un plaisir de travailler avec. Nous ne pensions pas que la syntaxe basée sur ML soit particulièrement verbeuse par rapport à Haskell.
• Il existe de précieux conseils en dehors des démonstrations et de la documentation fournies sur http://www.impredicative.com/ur/ .
• Nous avons été gâtés que de nombreuses autres langues aient désormais des interfaces plus rapides avec le serveur Web. L'utilisation de FastCGI ressemblait à un pas en arrière.
• La programmation SQL s'est un peu resserrée.
• Révisez vos mathématiques pour bien comprendre ce que le langage / le cadre fait pour vous.

Tout négatif peut être attribué au fait qu'il est tout neuf. Donnez-lui un peu d'amour. Il le mérite. Peut-être que vous pouvez devenir un défenseur vocal et faire de la recherche de ressources Ur / Web moins une corvée.

La seule chose dont je m'inquiéterais, c'est qu'il est encore assez nouveau. Haskell et Erlang existent tous les deux depuis longtemps. Cela signifie que de nombreux bogues faciles dans les deux langues ont depuis longtemps été résolus. Je serais très sceptique que leur code soit aussi rapide et sûr que vous pouvez le faire dans haskell pour cette raison.

De plus, les démos avaient l'air très web 1.0.