Главная Макинтош Регистрация

Вход

Приветствую Вас Гость | RSSСуббота, 18.11.2017, 22:40
Наш опрос
Оцените мой сайт
Всего ответов: 3

Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Форма входа


Главная » Архив материалов
tryfsharp.org — это аналог tryhaskell.org. «In just a few minutes you can begin learning F%23 — no registration, log-ins or forms are required.» «The F%23 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%23, Microsoft's first fully-supported multi-paradigm language.» fssnip.net. «This web site allows you to easily share F%23 source code snippets. It is similar to other Pastebin services, but focuses only on F%23. On the other hand, it uses the F%23 language service to provide colorization and also generates HTML tool tips that show results of background type checking. This makes the F%23 code significantly more readable.» (Via Habrahabr.)
Просмотров: 129 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

«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. ... Читать дальше »
Просмотров: 3521 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

Посмотрел, что в коммуне слишком тихо, вот и попросился у уважаемого модератора права на запись. Давайте что-то обсудим, что ли. :) Например, вот что есть в моём скромном маленьком проекте (на вебе уже живёт, но ссылку не даю, во избежание): Разбор естественного человеческого языка (тайского) с помощью FParsec. Сам автор ФПарсека, Stephan Tolksdorf, сказал, что он никогда не думал, что его детищем могут парсить натуральные языки. Скоро будет также лаосский, камбоджийский, санскрит и деванагари.Монадическая модель доказательства к логическому выводу, написанная с нуля (советы будут приняты с огромной радостью, ибо написано на коленке).Про FParsec всё понятно, кроме того, что он используется для нечёткого парсинга, примерно такого же, который используется для парсинга некомпилирующегося кода в проектах типа ReSharper. Другими словами, производится иерархический парсинг с возвратом до тех пор, пока не будет обнаружен чёткий признак, что парсинг можно прервать. Затем все получившиеся цепоч ... Читать дальше »
Просмотров: 185 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

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%23, 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 ... Читать дальше »
Просмотров: 163 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

В коммуне по-прежнему тихо, потому подумалось, что эта мини-статья будет кому-то интересна. Не все знают, как использовать duck-typing для применения не-последнего аргумента.
Модератору: не знаю, какие метки ставить. :( И не знаю: а ссылки на SO вообще можно, да? :-)

Originally posted by bytebuster463 at Point-free function application in F%23Pointless notation in F%23 is a powerful mechanism for coding, allowing the source be free of burdening arguments. Combined with strong typing it makes F%23 code very expressive.
Say you have ( ) operator which has type of int -> int -> int.
You may define your custom function:

let add2_version1 x = x 2

This function will have type of int -> int which means it takes an int and returns an int.
This syntax is equal to:

let add2_version2 x = ( ) 2 x

or

let add2_version3 x = (( ) 2) x

As we see, (( ) 2) is a function itself, and x is applied to it. So ... Читать дальше »
Просмотров: 4270 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

В этом постинге нет крутого матана, но надеюсь, что это кому-то будет полезным с образовательной точки зрения.

Originally posted by bytebuster463 at Sequential comparison in F%23
This kind of questions becomes more and more popular:I want to simplify expression if(x == y && y == z).
I wish I could write if(x == y and z) but there is no syntax for that. What can I do?
Look at this solution. Also, is seems to be a good example of using monads, also known as Computation Expressions. Surprisingly to myself, it is fairly fast.// Generic
let inline mOp1<'a> op sample x = op sample x, sample
let inline mOp2<'a> op1 op2 (b, sample) x = op1 b (op2 sample x), sample

// Implementation for (=) and (&&)
let (==) = mOp1 (=)
let (&=) = mOp2 (&&) (=)

// Use
let ret1 = a == b &= c &= d &= e |> fst
How it worksThe approach is a very simpli ... Читать дальше »
Просмотров: 4838 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

Добрый день.
Подскажите пожалуйста, как перевести строку в имя прока или метода?
Задача такая:
1) с помощью gets с клавы вводится команда,
2) содержимое/значение данной строки вызывается, как прок или метод (не важно)

Спасибо.
Если вы зайдете сюда, то без проблем сможете купить принтер высокого качества. Ведь у них продается только хорошая продукция.http://ptp-tyumen.ru/printer
Просмотров: 5792 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

Пожелания к кандидатам: Знание языка Ruby Практический опыт работы  и разработки от года на Ruby on Rails Опыт работы с фреймворком Ruby on Rails Опыт тестирования приложений с помощью RSpec Опыт профилирования и оптимизации приложений на Ruby Опыт работы с Oracle, желательно знание PL/SQL Знание ОС Linux на уровне пользователя Опыт работы с системами контроля версий Redmine, Git Опыт работы с системами отслеживания ошибок Хороший кругозор в области web-технологий Аккуратность в работе и системный подход в проектной документации Знание английского языка на уровне, достаточном для чтения технической документации.
порно стриптиз на веб камеру
Просмотров: 5909 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

Требования:

* Обязательно:
o Ruby
o Опыт работы с БД MongoDB
o Git
o Знание Linux/Unix на уровне пользователя
* Желательно:
o Опыт профилирования и оптимизации Ruby приложений
o Опыт разработки систем с высокой нагрузкой
o Опыт создания и поддержки серверной инфраструктуры для Rails приожений
o Ruby on Rails
o RSpec.
Эффективный баночный массаж в нашем салоне.
Просмотров: 7122 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

В динамично развивающийся проект с молодым и веселым коллективом нужен
разработчик, который любит язык ruby и уже работал с ним. Человек,
который следит за событиями в сфере веб (и RoR) разработки.

Вам предстоит работать с уже имеющимся кодом, добавлять в него новую
функциональность и проводить оптимизации.

Мы бы хотели, чтобы вы обязательно уже умели:
- Ruby on Rails (2.3.x / 3.x.x).
- Git.
- rspec, понимали принципы TDD и тестирования вообще.
- Html и Css, Jquery (Верстка не ваша работа, но она не должна
вызывать затруднений).
- Capistrano и Bundler (Написание рецептов и решение проблем
зависимостей gem).
- Linux, как уверенный пользователь.
- SQL (MySQL).

Большими плюсами будут:
- Знание RoR-практик и плагинов, умение не писать самому.
- Опыт работы в небольших командах.
- Опыт работы с чужим кодом.
- Хорошее знание особенностей ОС De ... Читать дальше »
Просмотров: 6003 | Добавил: admin | Дата: 08.10.2013 | Комментарии (0)

« 1 2 3 4 5 ... 12 13 »
Поиск

Календарь
«  Ноябрь 2017  »
ПнВтСрЧтПтСбВс
  12345
6789101112
13141516171819
20212223242526
27282930

Архив записей

Copyright MyCorp © 2017Хостинг от uCoz