Quais são alguns aplicativos conhecidos escritos em F #? [fechadas]

Como parte de uma busca contínua por conhecimento, vou passar algum tempo esta semana aprendendo o básico do F # como uma introdução à programação funcional. Acho que estou entendendo a construção do software sob esse modelo e alguns dos benefícios propostos, mas ainda estou um pouco confuso nos casos de uso do mundo real.

Eu esperava que as histórias de sucesso do F #, ou pelo menos alguns aplicativos com os quais eu estivesse familiarizado, tornassem um pouco mais claro quando o F # (ou qualquer linguagem de programação funcional) seria apropriado para um projeto.

Então, voltando à pergunta, quais são alguns aplicativos conhecidos que usam F # ou uma linguagem de programação funcional semelhante?

BTW: Também estou aberto a ouvir sobre alguns aplicativos menos conhecidos, mas se você mencionar um, forneça o básico sobre o que é o aplicativo e por que o idioma usado foi a escolha apropriada.

• Todo o sistema F # (compilador, bibliotecas e ferramentas)
• IronJS (já mencionado)
• O algoritmo XBox Live TrueSkill, bem como todo o sistema de conquistas, o sistema de classificação e o sistema de criação de partidas ao seu redor

Eu acho que a principal razão pela qual não existem aplicativos "conhecidos" escritos em F #, é porque leva anos, até décadas para se tornar "conhecido" e o F # simplesmente ainda não é tão antigo.

No entanto, a esmagadora maioria dos aplicativos não é "conhecida". Existe apenas um PowerPoint, mas existem literalmente milhões de pequenos aplicativos personalizados personalizados, feitos à mão, com folha de pagamento.

E o F # é certamente usado internamente em muitas empresas financeiras, fazendo computação numérica e científica em, digamos, biotecnologia ou greentech, fazendo estatísticas que Deus sabe onde e assim por diante. Esses aplicativos não são bem conhecidos, porque simplesmente não são "sexy" ou frequentemente porque as empresas consideram o F # sua arma secreta, o que lhes dá uma vantagem competitiva. (OCaml, Smalltalk e APL desempenham funções semelhantes. Muitas empresas financeiras usam o APL, por exemplo, mas não o divulgam amplamente. Na verdade, muitas vezes os usuários do APL nem são programadores e, portanto, nem sabem onde e como para divulgá-lo, mesmo que quisessem.)

Há Tabbles . Um gerenciador e organizador de arquivos, com muitos recursos. Ele fornece um sistema de marcação que você pode compartilhar com outras pessoas. É um produto comercial.

Eu me perguntei a mesma coisa por um tempo. Eu realmente gosto de F #, mas não vi nada no domínio de um aplicativo comercial. O que ouvi (e com bastante frequência) é que o F # tem sido muito utilizado na área financeira.

Que estruturas da web decentes existem para programação funcional? tem alguns exemplos de estruturas da Web para linguagens de programação funcionais e eu sei http://cs.hubfs.net/blogs/tomasp/archive/2010/05/09/14050.aspx é um artigo sobre como escrever um asp.net MVC 2 Aplicativo da Web em F #.

Como eu tenho pesquisado artigos sobre F # e muitos exemplos e elogios das pessoas vieram na forma de analisadores de log. Mas isso é sempre seguido de uma advertência de algo como "Não tenho permissão para usar a linguagem no trabalho" (parafraseado, é claro). Vou tentar encontrar mais exemplos.

Eu tenho brincado com a idéia de criar um MUD (Calabouço de Multiusuários) baseado em texto em F #, mas parece que nunca tenho tempo.

Eu olhei brevemente para o F # quando quis escrever um analisador SQL, que acabei implementando no Haskell. Dito isto, você poderia usar o F # em qualquer lugar que usasse o C #, mas valeria a pena? Se você estiver fazendo muita programação funcional, vale a pena usar o F #, pois a sintaxe para construções funcionais é mais amigável. Se você está fazendo principalmente OO, provavelmente é melhor ficar com o C #.

JS de ferro .

Pessoalmente, acho estranho que o único aplicativo que conheço seja escrito em F #, seja algo que permita que você escreva em um idioma que não seja o F #.

Para mim, isso diz muito sobre o verdadeiro valor da programação funcional. As pessoas podem comemorar como "bonito" é tudo o que querem - se fosse tão bonito, as pessoas o usariam mais.