bamalip: (NGE)
Causality Ltd прекратила свою деятельность.

В частности 25-летний менеджер одного из американских инвестиционных банков, использующих pony в критически-важном компоненте своей инфраструктуры, отказал компании на основании того, что она была «слишком маленькой».


(я даже не знаю, как это комментировать, учитывая очевидные параллели)
bamalip: (NGE)
Когда переходишь с Джавы на Скалу, то сразу радуешься возможности записывать тип функции как A=>B и ее значение явной лямбдой. Прикольно же! Но все, наверное, знают такой психофизиологический эффект. Если несколько раз ел соленое, то хочется сладкого, несколько раз сладкое - хочется соленого, а потом и еще и кислого. А воду хочется пить всегда. Вот так же и с лямбдами. Я тут летом месяц попрограммировал на чистой лямбде (наш ОМ). И в данным момент мне приятно от лямбд, наоборот, освобождаться, на уровне синтаксиса. Не знаю, насколько это неожиданно, но от явных кванторов и стрелочек можно избавиться практически полностью, используя привычный синтаксис "аргументы функции в скобочках". Так сейчас и пишу. Причем это все будет почти тривиально рассахариваться из ЕХЕ в ОМ-style лямбду, а затем резаться на файлы-термы. А вот скобочки, в отличие от лямбд, воспринимаются нейтрально, не надоедают, они как вода. Я никогда не писал на старом Лиспе или новой Кложе, но сейчас скобочки идут вполне свободно. Впрочем я знаю, что в некоторых современных языках считается модным избавляться как раз от скобочек.

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

Desiderius Erasmus coined the term lunula to refer to the rounded parentheses, recalling the round shape of the moon.

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 1920212223
24252627282930

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 02:03 am
Powered by Dreamwidth Studios