January 1st, 2012

Book

Чем хорошо ФП

> а еще давно был вопрос к nponeccop-у (или его коммент) на тему
> "чем хорошо функциональное программирование для практиков", и
> там он тезисно обрисовал чем... причем ссылок для
> самостоятельного изучения не дал
> nponeccop, реквестирую ссылки!

желательно увидеть тезисы, чтобы знать, какие ссылки нужны. См. также мои ответы на stackoverflow, например, вот этот о 4 практических примерах полезной ленивости:

http://stackoverflow.com/questions/8279781/what-is-the-practical-use-for-laziness-as-a-built-in-language-feature/8289340#8289340

А так - есть общие учебники (примерно по возрастанию трудности: SICP, филдс-харрисон, плазмеер-эккелен, TAPL, Окасаки (дисер или книга), Programming in Martin-Löf's Type Theory

Из evangelist works сходу могу вспомнить разве что http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5271 (Turner, Total FP) и "can programming be liberated from the von neumann style", Backus, 1978
Book

Здравствуй, ...опа, Новый Год! Или "Скольково-Скольково?.."

Originally posted by host_buster at Здравствуй, ...опа, Новый Год! Или "Скольково-Скольково?.."
Прислали только что... Подарок к НГ.

> Печальная новость для российской науки и физиков в частности.

Collapse )

источник vovaminkin. Для справки:

1. Указ Президента Российской Федерации от 27.12.2011 (PDF, 3 стр.)
2. Сайт ИТЭФ - http://www.itep.ru
3. Сайт ускорительного центра ИТЭФ - http://twac.itep.ru
4. Волна протестов и обсуждений в сети (началось здесь, здесь и здесь), в комментарии уже понабежали проплаченные тролли - за лакомый кусок в 37 гектаров в хорошем районе Москвы грызутся.

P.S. Письмо сотрудников ИТЭФ пока еще на сайте "Новой Газеты" не появилось. Похмеляются еще?

UPD: "Ребята, кто меня читает, просьба распространить. Ранее подобная ситуация была с ИПМ им.Келдыша, поднятый в интернете шум + подписной лист исправили ситуацию. Повторим?" (пишет alex_bykov)
Book

Deca - потенциальный кандидат на звание HN

Deca will never require:
  • Garbage collection
  • A virtual machine of any kind
  • A run-time library or class library
  • An operating system to run atop
Reference counting таки нет - полная небезопасность памяти в стиле Си :)

Также есть дисер в аннотации к которому читаем:

Low-level systems programming has remained one of the most consistently difficult tasks in software engineering, since systems programmers must routinely deal with details that programming-language and systems researchers have preferred to abstract away. At least partially, the difficulty arises from not applying the state of the art in programming-languages research to systems programming. I therefore describe the design and implementation of Deca, a systems language based on modern PL principles. Deca makes use of decades in programming-languages research, particularly drawing from the state of the art in functional programming, type systems, extensible data-types and subroutines, modularity, and systems programming languages research.

В оглавлении читаем:

Introduction: the problems of systems programming
1.1 Precise data representation
1.2 Safety properties and confined unsafety
...
1.5 Stroustrup’s zero-overhead rule: “what you don’t use, you don’t pay for”

Дисер датирован 2011 годом и цитирует Type Inference and Optimisation for an Impure World (дисер создателя DDC, который, как оказалось, не просто eager haskell, а совершенно охренительный язык с системой эффектов, позволяющей невонючие (без аналога ML-овских ссылок) присваивания и контролируемые "внешние" (IO), а не только "внутренние" (mutability/allocation) эффекты.

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