Ur / Web nova linguagem puramente funcional para programação na web? [fechadas]

Me deparei com o projeto Ur / Web durante minha pesquisa por estruturas da Web para linguagens do tipo Haskell. Parece um projeto muito interessante feito por uma pessoa.

Basicamente, é uma linguagem puramente funcional específica de domínio para programação web, tirando o melhor de ML e Haskell. A sintaxe é ML, mas existem classes de tipo e mônada de Haskell, e é rigorosamente avaliada. O lado do servidor é compilado para código nativo, cliente para Javascript. Veja os slides e a página de perguntas frequentes para outras vantagens anunciadas.

Olhando para as demos e seu código fonte , acho que o projeto é muito promissor. A versão mais recente é algo 20110123, por isso parece estar em desenvolvimento ativo no momento.

Alguém aqui já teve alguma experiência com isso? Existem problemas / aborrecimentos em comparação com Haskell, além da sintaxe um pouco mais detalhada do ML?

Eu sou o autor de Ur / Web. Acabei de criar esta conta e, portanto, não tenho mojo suficiente para responder a outras respostas anteriores.

O Ur / Web permite que os plug-ins implementem diferentes protocolos da Web. Portanto, se você quiser ver algum outro protocolo além de CGI, FastCGI ou HTTP, poderá implementá-lo ou solicitar que eu o implemente. :) Eu realmente não tenho conhecimento, a este ponto, de qualquer pessoa alternativa que estivesse procurando.

O que significa para a programação SQL parecer "agrupada"?

Re: reclamações sobre a aparência da "Web 1.0", penso nisso como um recurso projetado para economizar tempo para pessoas que realmente não querem usar essa linguagem. ;) Não há recursos ausentes que impeçam a gravação de aplicativos com a aparência que você deseja e acredito que isso seja aparente quando você entender a configuração básica do idioma e das bibliotecas.

Finalmente, ScantRoger, eu adoraria ouvir suas experiências ao aplicar o Ur / Web com um cliente! Não sei se seria uma má forma fornecer minhas informações de contato aqui, mas há um link para meu site pessoal na parte inferior da primeira página.

Nós o usamos para um cliente consciente da segurança e observamos o seguinte:

• Como idioma, é um prazer trabalhar com ele. Não sentimos que a sintaxe baseada em ML é particularmente detalhada em comparação com Haskell.
• Existem poucas instruções preciosas fora das demonstrações e documentação fornecidas em http://www.impredicative.com/ur/ .
• Ficamos estragados porque muitos outros idiomas agora têm interfaces mais rápidas para o servidor da web. O uso do FastCGI foi um passo atrás.
• A programação SQL parecia um pouco complicada.
• Aprimore sua matemática para entender completamente o que a linguagem / estrutura faz por você.

Quaisquer negativos podem ser atribuídos ao fato de serem novos. Dê um pouco de amor. Merece isso. Talvez você possa se tornar um defensor vocal e tornar a tarefa de encontrar recursos de Ur / Web menos trabalhosos.

A única coisa com que me preocuparia é que ainda é bem novo. Haskell e Erlang estão no mercado há muito tempo. Isso significa que muitos dos bugs fáceis nos dois idiomas já foram resolvidos há muito tempo. Eu ficaria muito cético quanto ao código deles ser tão rápido e seguro quanto você pode fazer em haskell por esse motivo.

Além disso, as demos pareciam muito 1.0.