Які відомі додатки написані на F #? [зачинено]

Як частина постійного пошуку знань, я витрачаю деякий час на цьому тижні, вивчаючи основи F # як вступ до функціонального програмування. Я думаю, що я розумію розробку програмного забезпечення під цією моделлю та деякі із запропонованих переваг, але я все ще трохи нечіткий щодо реальних випадків використання.

Я сподівався, що історії успіху F # або, принаймні, кілька додатків, з якими я був би знайомий, можуть зробити трохи зрозумілішим, коли F # (або будь-яка функціональна мова програмування) буде відповідна для проекту.

Повертаємось до питання, що це за деякі добре відомі програми, які використовують F # або подібну функціональну мову програмування?

BTW: Я також відкритий для того, щоб слухати про деякі менш відомі додатки, але якщо ви згадуєте про це, будь ласка, розкажіть основи того, про що йдеться у програмі, і чому саме використовуваний мова був відповідним вибором.

• Вся система F # (компілятор, бібліотеки та інструменти)
• IronJS (вже згадувалося)
• Алгоритм XBox Live TrueSkill, а також уся система досягнень, система ранжирування та система сватання, що його оточують

Я здогадуюсь, що головна причина, чому немає жодних «відомих» додатків, написаних на F #, полягає в тому, що потрібні роки, навіть десятиліття, щоб стати «відомими», а F # просто ще не така стара.

Однак переважна більшість додатків не є «відомими». Існує лише одна PowerPoint, але в буквальному сенсі є мільйони рукописних спеціальних маленьких одноразових додатків із оплати праці.

І F #, безумовно, використовується у багатьох фінансових компаніях, роблячи наукові та числові обчислення, скажімо, в біотехнологіях або в greentech, роблячи статистику, бог знає, де і так далі. Ці програми не відомі або тому, що вони просто не "сексуальні", або часто тому, що компанії вважають F # їх секретною зброєю, що дає їм конкурентну перевагу. (OCaml, Smalltalk та APL виконують подібні ролі. Наприклад, багато фінансових компаній використовують APL, але вони не широко публікують це. Дійсно, користувачі APL часто навіть не є програмістами, і тому навіть не знають, де і як оприлюднити це, навіть якщо вони захотіли.)

Є Таблиці . Файловий менеджер та організатор, з великою кількістю функцій. Він забезпечує систему тегів, якою ви навіть можете ділитися з іншими. Це комерційний продукт.

Я замислювався над тим самим справою деякий час. Мені дуже подобається F #, але я нічого не бачив у царині комерційного додатку. Що я чув (і досить часто) - це те, що F # багато використовували у фінансовій царині.

Які гідні веб-рамки існують для функціонального програмування? є кілька прикладів веб-рамок для функціональних мов програмування, і я знаю http://cs.hubfs.net/blogs/tomasp/archive/2010/05/09/14050.aspx - стаття, як написати ASP.Net MVC 2 Веб-додаток у F #.

Як я шукав статті на F #, і багато прикладів, і похвала людей прийшла у вигляді аналізаторів журналів. Але це завжди супроводжується застереженням чогось за рядком "Мені не дозволяється використовувати мову на роботі" (перефразовано, звичайно). Спробую знайти більше прикладів.

Я бавився з ідеєю створити текстовий MUD (Multi-User Dungeon) у F #, але я ніколи не маю часу.

Я коротко переглянув F #, коли хотів написати аналізатор SQL, який я в кінцевому підсумку реалізував у Haskell. Але це означає, що ви можете використовувати F # де завгодно, де ви б використовували C #, але чи варто було б це зробити? Якщо ви будете робити багато функціональних програмувань, використання F # буде доцільним, оскільки синтаксис функціональних конструкцій дружніший. Якщо ви займаєтесь переважно OO, напевно, краще дотримуватися C #.

Залізо JS .

Особисто я вважаю, що дивно, що єдина програма, про яку я знаю, написана на F #, - це те, що дозволяє писати мовою, відмінною від F #.

Мені це дуже багато говорить про справжнє значення функціонального програмування. Люди можуть відсвяткувати, наскільки "красивим" є все, що вони хочуть - якби це було так красиво, люди б користувалися цим більше.