| F* |
[Mar. 30th, 2012|01:14 pm] |
http://research.microsoft.com/en-us/projects/fstar/:
«F* is a new dependently typed language for secure distributed programming. It's designed to be enable the construction and communication of proofs of program properties and of properties of a program's environment in a verifiably secure way. F* compiles to .NET bytecode in type-preserving style, and interoperates smoothly with other .NET languages, including F#, on which it is based.
Self-certification of F*: We have verified the F* type checker using F* itself, using a novel bootstrapping technique called self-certification.»
http://research.microsoft.com/apps/pubs/?id=141708:
«We present F*, a full-fledged design and implementation of a new dependently typed language for secure distributed programming. Unlike prior languages, F* provides arbitrary recursion while maintaining a logically consistent core; it enables modular reasoning about state and other effects using affine types; and it supports proofs of refinement properties using a mixture of cryptographic evidence and logical proof terms. The key mechanism is a new kind system that tracks several sub-languages within F* and controls their interaction. F* subsumes two previous languages, F7 and Fine. We prove type soundness (with proofs partially mechanized in Coq) and logical consistency for F*.»
Via ![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=92.1) nponeccop. |
|
|
| Что-то тихо здесь |
[Dec. 11th, 2011|11:34 pm] |
Посмотрел, что в коммуне слишком тихо, вот и попросился у уважаемого модератора права на запись. Давайте что-то обсудим, что ли. :)
Например, вот что есть в моём скромном маленьком проекте (на вебе уже живёт, но ссылку не даю, во избежание):
- Разбор естественного человеческого языка (тайского) с помощью FParsec. Сам автор ФПарсека, Stephan Tolksdorf, сказал, что он никогда не думал, что его детищем могут парсить натуральные языки. Скоро будет также лаосский, камбоджийский, санскрит и деванагари.
- Монадическая модель доказательства к логическому выводу, написанная с нуля (советы будут приняты с огромной радостью, ибо написано на коленке).
( Read more... ) |
|
|
| Релиз Nemerle 1.0 |
[May. 17th, 2011|06:35 pm] |
«12 мая 2011 года вышла в свет первая версия Nemerle 1.0.
В состав инсталлятора входит:
• Компилятор командной строки ncc.exe Nemerle 1.0 для .NET 2–3.5 и Mono 2.x.
• Модуль интеграции с IDE Microsoft Visual Studio 2008.
• Nemerle Express Edition — отдельная IDE на основе Microsoft Visual Studio Shell 2008 Isolated. Данная версия не требует наличия коммерческой версии Microsoft Visual Studio 2008. Для ее установки сначала скачайте и установите Microsoft Visual Studio Shell 2008 Isolated, а затем произведите установку Nemerle 1.0. При этом нужно выбрать вариант установки «Advanced» и убедиться, что пункт «Visual Studio Express Edition» выбран.
• Стандартная библиотека Nemerle и стандартная библиотека макросов.
• Набор дополнительных макробиблиотек — Nemerle Power Pack (ComputationExpressions, Nemerle.Xml, Nemerle.Peg, Nemerle.WPF, Nemerle.Aop, Nemerle.Linq).
• Компилятор в виде .NET-компонента (Nemerle.Compiler.dll).
• Плагин к компилятору позволяющий компилировать файлы C# 4.0.» |
|
|
| Try F# |
[Feb. 26th, 2011|02:54 pm] |
tryfsharp.org — это аналог tryhaskell.org. «In just a few minutes you can begin learning F# — no registration, log-ins or forms are required.»
«The F# Survival Guide» — аналог «Learn You a Haskell for Great Good!». «We wrote this book to introduce mainstream developers to the world of functional programming through the lens of F#, Microsoft's first fully-supported multi-paradigm language.»
fssnip.net. «This web site allows you to easily share F# source code snippets. It is similar to other Pastebin services, but focuses only on F#. On the other hand, it uses the F# language service to provide colorization and also generates HTML tool tips that show results of background type checking. This makes the F# code significantly more readable.»
(Via Habrahabr.) |
|
|
| F# Component Design Guidelines |
[Jan. 11th, 2011|01:15 pm] |
Draft F# Component Design Guidelines (August 2010)
«This document looks at some of the issues related to F# component design and coding. In particular, it covers:
• Guidelines for designing “vanilla” .NET libraries for use from any .NET language.
• Guidelines for F#-to-F# libraries and F# implementation code.
• Suggestions on coding conventions for F# implementation code.» |
|
|
| Software People 2010 |
[Apr. 4th, 2010|12:33 am] |
2010-04-22 в Москве пройдет конференция «Software People 2010». В числе выступающих значится и Дон Сайм с докладом «F# — Bringing Functional Programming into the Mainstream». На случай, если кто из участников сообщества будет присутствовать (что всем рекомендую, мероприятие обещает быть интересным) — убедительно прошу подробно конспектировать :)
Сергей Зефиров будет брать интервью, он предлагает задать вопросы: http://thesz.livejournal.com/1079695.html |
|
|
| «Programming F#» by Chris Smith |
[Nov. 30th, 2009|11:47 am] |
|
Купить
В октябре вышла новая книжка «Programming F#» by Chris Smith. Подробный отзыв я написать не могу, потому что, во-первых, ещё не дочитал и, во-вторых, сейчас на работе. Но на первый взгляд книжка хороша. Не нужно продираться через кучу вводных глав с доказательством труъёвости ФП и всякой философией, можно сразу начать осваивать синтаксис. В коде автор ориентируется на актуальное состояние языка (версия компилятора — 1.9.8.0), разъясняет особенности сборки многофайловых проектов в Visual Studio 2010, касается механизмов работы .NET CLR. Чем-то напоминает YAHT.
|
|
|
| F# 1.9.7.8 aka October 2009 CTP |
[Oct. 20th, 2009|02:07 pm] |
«The latest release of F# is now out! This is included in Visual Studio 2010 Beta2, released today for MSDN Subscribers, with the matching release of the F# CTP for Visual Studio 2008, and a compiler ZIP for Mono.» © Don Syme
Release Notes
Download
(via RSDN) |
|
|
![[info]](http://l-stat.livejournal.com/img/community.gif?v=92.1){kind=small}
ru_fsharp