?

Log in

No account? Create an account

Практика функционального программирования

Профессиональный журнал

3/2/2013 20:14 - palex - Придумывание языка программирования PL2

Прошу оценить правильность направления поиска идеального языка программирования

сообщество ЖЖ: http://pl2-rainbow.livejournal.com/

Краткие предложенияСвернуть )

Виды элементов классов:

functional - Функциональное - для разделов, использующих функциональное программирование.
aspect - Аспектное - для интерфесов и аспектов. Для методов могут указываться необходимые свойства и дополнения, используемые перед методом (before), после метода (after) и при выполнении каждого оператора (invariant)
logical - Логическое - соответствует работе с запросами SQL, LINQ или простейшим операциям Prolog.
control - Управляющее - соответствует контроллеру (Controller) модели MVC
public - Изменяемое - соответствует модели базы данных (Model) модели MVC
published - Соединяющее - соответствует представлению (View) для модели MVC
protected - Защищенное - внутренние элементы класса
private - Внутреннее - скрытые элементы класса
local - Блоковые - переменные методов и блоков

Компилятор компиляторов:

Размещение элементов языка в нескольких файлах, объединенных по тематике. Например - структура файла, описание класса, описание блока модуля, элементы защиты, блочные операторы, математические операторы...

Каскадные лексические анализаторы времени компиляции для использования национальных языков при программировании

Компилятор языка использует стандартные ключевые слова на английском языке, но включает опцию для каскадированного включения в таблицу лексем синонимов на национальных языках. Для первоначального включения синонимов используется опция языка компилирования, файлы национальных синонимов могут включать ссылки (опция include) на файлы синонимов

более низкого уровня. Например, татарский-русский-английский-внутренние представления лексем.

20/12/2012 14:32 - geniepro - Полтора года нет новых выпусков!

Печально, господа. Надеюсь, журнал возродится?

13/4/2011 22:34 - antilamer - Объекты с символикой #fprogru № 7

http://ira_gord.printdirect.ru/

Футболки и пивные кружки - не успел я подумать, как выяснилось, что Ира Горд это уже сделала :)

13/4/2011 16:39 - antilamer - Илья Ключников — Суперкомпиляция: идеи и методы (обсуждение)

Суперкомпиляция (supervising compilation) — техника преобразования программ, основанная на построении полной и самодостаточной модели программы.

В статье описываются основные идеи и методы суперкомпиляции на примере работающего суперкомпилятора SC Mini для простейшего чисто функционального языка.

Supercompilation (supervising compilation) is a program transformation technique based upon constructing a self-sufficient model of the program.

The paper describes the main ideas and methods of supercompilation through a series of examples
performed by the simple supercompiler SC Mini.
Метки:

13/4/2011 16:38 - antilamer - Алексей Вознюк — Продолжения в практике (обсуждение)

В данной статье определяется проблемная область, задачи которой успешно решаются при помощи продолжений, анализируются традиционные методы решения таких задач и рассматриваются несколько практических примеров с эффективным использованием продолжений.

This article defines a subject area whose problems can be conveniently solved with the use of continuations; we analyze the traditional methods of solving these problems and consider a few practical examples with efficient use of continuations.
Метки:

13/4/2011 16:37 - antilamer - Лев Валкин — Как написать LDAP-сервер на Си (обсуждение)

Ответ на статью Максима Сохацкого (опубликованную несколькими страницами ранее), в котором делается попытка показать, что написание прототипа LDAP-сервера на языке Си ничуть не сложнее, чем на Эрланге. Проводится cравнение полученных решений.

This is a response to the preceding Maxim Sokhatsky's article. We're aiming to show that creating a LDAP server prototype in C is not any more complex than writing it in Erlang. We compare the resulting C and Erlang solutions.
Метки:

13/4/2011 16:36 - antilamer - Максим Сохацкий, Олег Смирнов — Как написать LDAP-сервер на Erlang (обсуждение)

Статья про то, как с нуля быстро сделать прототип сервера, отвечающего по LDAP протоколу стандартному почтовому клиенту. В качестве основного инструмента весьма к месту был выбран Erlang.

This is an article about a rapidly-prototyped LDAP server capable of answering to a default Mail client. Erlang is the language of our choice.
Метки:

13/4/2011 16:35 - antilamer - Вадим Залива — Разработка алгоритма обнаружения движения в среде Mathematica (обсуждение)

В данной статье мы рассмотрим пример использования среды Mathematica для быстрого прототипирования простого алгоритма обнаружения движения. Кроме общих приёмов работы с Mathematica, мы познакомим читателя с некоторыми понятиями из области машинного зрения, цифровой обработки изображении и сигналов. При разработке мы применим некоторые из подходов функционального программирования, поддерживаемых Mathematica.

In this article, we will use Mathematica to develop a prototype of a simple motion detection algorithm. We will introduce the basics of using Mathematica environment and use this exercise to illustrate some basic concepts from the fields of machine vision, digital image processing and signal processing. We will be using some of the functional programming capabilities provided by Mathematica.
Метки:

13/4/2011 16:33 - antilamer - Александр Темерев — Circumflex — веб-фреймворк на Scala comme il faut (обсуждение)

Веб-фреймворк Circumflex — одна из сравнительно недавних разработок на Scala, и, на взгляд автора, гораздо менее известная, чем она того заслуживает. В статье описываются отличия Circumflex от других веб-фреймворков, применение языковых средств Scala для создания необходимых фреймворку DSL, подход к структурированию Scala-проектов, применяемый разработчиками фреймворка, и другие его интересные особенности.

Circumflex is a relatively new player among Scala web frameworks; it appears to be much less popular than it deserves, from author's point of view. This article outlines the differences between Circumflex and other web frameworks, its employment of Scala language features to build useful DSLs, its clever approach to structuring of Scala code and other interesting features.
Метки:

13/4/2011 16:31 - antilamer - Бойко Банчев — Язык РЕФАЛ — взгляд со стороны (обсуждение)

Знакомство с языком Рефал полезно программисту хотя бы потому, что этот функциональный язык не похож ни на один из других — среди них он занимает особое место и по возрасту, и по происхождению, и по назначению, и по стилю. Достойно сожаления то что, несмотря на свои качества, язык не очень популярен.

Статья знакомит читателя с Рефалом. Язык так прост, что его описание почти целиком вмещается в статью — за исключением стандартных функций, которых тоже немного. Простота сама по себе — положительное качество, но читатель убедится, что оно не единственно.

Помимо описания самого Рефала, представлен взгляд автора на место, достоинства и слабые стороны языка.

Knowing the Refal language is useful to a programmer, if for nothing else than for the language's uniqueness — with respect to its age, its origin, its intended purpose, and style. It is regrettable that, in spite of its qualities, the language is not very popular.

This article gives an introduction to Refal.
Метки:
Разработано LiveJournal.com