deni-ok.livejournal.com
Исполнилось сто лет со дня рождения Мартина Гарднера - Долой кровавую ведьму!
http://deni-ok.livejournal.com/56909.html
Исполнилось сто лет со дня рождения Мартина Гарднера - Долой кровавую ведьму! Oct 22nd, 2014. Исполнилось сто лет со дня рождения Мартина Гарднера. At Исполнилось сто лет со дня рождения Мартина Гарднера. Он прожил 95 лет и написал множество книг. Вот лишь немногие из них:. А еще он комментировал Кэрролла и Честертона. А еще несколько десятилетий вел отдел популярной математики в журнале Scientific American. А еще он открыл для многих творчество Мориса Эшера. И игру Жизнь. Спасибо за всё, мистер Гарднер!
ru-fsharp.livejournal.com
Релиз Nemerle 1.0: ru_fsharp
http://ru-fsharp.livejournal.com/3563.html
Релиз Nemerle 1.0. 12 мая 2011 года вышла в свет первая версия Nemerle 1.0. В состав инсталлятора входит:. Компилятор командной строки ncc.exe Nemerle 1.0 для .NET 2 3.5 и Mono 2.x. Модуль интеграции с IDE Microsoft Visual Studio 2008. Стандартная библиотека Nemerle и стандартная библиотека макросов. Набор дополнительных макробиблиотек Nemerle Power Pack (ComputationExpressions, Nemerle.Xml, Nemerle.Peg, Nemerle.WPF, Nemerle.Aop, Nemerle.Linq). Post a new comment. We will log you in after post.
ru-fsharp.livejournal.com
Point-free function application in F#: ru_fsharp
http://ru-fsharp.livejournal.com/4117.html
Вона блює і співає (. Вона блює і співає. Point-free function application in F#. В коммуне по-прежнему тихо, потому подумалось, что эта мини-статья будет кому-то интересна. Не все знают, как использовать duck-typing для применения не-последнего аргумента. Модератору: не знаю, какие метки ставить. :( И не знаю: а ссылки на SO вообще можно, да? At Point-free function application in F#. It makes F# code very expressive. Say you have . Operator which has type of int - int - int. Let add2 version1 x = x 2.
ru-fsharp.livejournal.com
Что-то тихо здесь: ru_fsharp
http://ru-fsharp.livejournal.com/3835.html
Вона блює і співає (. Вона блює і співає. Посмотрел, что в коммуне слишком тихо, вот и попросился у уважаемого модератора права на запись. Давайте что-то обсудим, что ли. :). Например, вот что есть в моём скромном маленьком проекте (на вебе уже живёт, но ссылку не даю, во избежание):. Монадическая модель доказательства к логическому выводу, написанная с нуля (советы будут приняты с огромной радостью, ибо написано на коленке). Val variants: Parser T seq - Parser T list list. Рассматриваем каждую функцию к...
sharpc.livejournal.com
12 апреля 2015 - Магия слов и чисел
http://sharpc.livejournal.com/89111.html
Магия слов и чисел. Или добро пожаловать на пик Разума. Posted on 12 апр, 2015 at 07:45. Posted on 12 апр, 2015 06:08 (UTC). Posted on 12 апр, 2015 11:06 (UTC). Posted on 12 апр, 2015 22:14 (UTC).
ru-fsharp.livejournal.com
Software People 2010: ru_fsharp
http://ru-fsharp.livejournal.com/2353.html
2010-04-22 в Москве пройдет конференция Software People 2010. В числе выступающих значится и Дон Сайм с докладом F# Bringing Functional Programming into the Mainstream. На случай, если кто из участников сообщества будет присутствовать (что всем рекомендую, мероприятие обещает быть интересным) убедительно прошу подробно конспектировать :). Сергей Зефиров будет брать интервью, он предлагает задать вопросы: http:/ thesz.livejournal.com/1079695.htm. Post a new comment. We will log you in after post.
ru-fsharp.livejournal.com
F# в блогах: ru_fsharp
http://ru-fsharp.livejournal.com/945.html
Http:/ cs.hubfs.net/blogs/. Tomas Petricek, автор книжки Functional Programming for the Real World. Luca Bolognese, автор отличной презентации. Http:/ blogs.msdn.com/lucabol/. Don Syme, создатель языка F#, автор книжки Expert F#. Http:/ blogs.msdn.com/dsyme/. Chris Smith, автор книжки Programming F#. Http:/ blogs.msdn.com/chrsmith/. Strange Lights, Robert Pickering, автор книжки Foundations of F#. F# News, Jon Harrop, автор книжки F# for Scientists. Http:/ fsharpnews.blogspot.com/. Post a new comment.
ru-fsharp.livejournal.com
F# presentations: ru_fsharp
http://ru-fsharp.livejournal.com/456.html
По ссылке отличное введение в F#. Даже если вы далеки от ML-подобного синтаксиса, освоите 2/3 языка уже через 20 минут ;) Настоятельно советую посмотреть презентацию хотя бы потому, что докладчик. Отмечу катастрофически удобный вид майкрософтовских презентаций, на них совмещены сам докладчик, слайды и скринкаст. Хотелось бы, чтобы все организаторы конференций брали на вооружение такой подход. X-posted from http:/ bik-top.livejournal.com/31688.htm. Post a new comment. We will log you in after post. Post a...
ru-fsharp.livejournal.com
F*: ru_fsharp
http://ru-fsharp.livejournal.com/4035.html
Http:/ research.microsoft.com/en-us/proj. 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. Http:/ research.microsoft.com/apps/pubs/. Post a new comment. Post a new comment.
sharpc.livejournal.com
С днем π! - Магия слов и чисел
http://sharpc.livejournal.com/88842.html
Магия слов и чисел. Или добро пожаловать на пик Разума. С днем π! Posted on 14 мар, 2015 at 11:09. Posted on 14 мар, 2015 10:52 (UTC).
SOCIAL ENGAGEMENT