October 2nd, 2016

Book

Swift for Windows

https://swiftforwindows.codeplex.com/

Почитал я про свифт этот. Ощущения двоякие.

С одной стороны, это невероятная хуйня всё, каменный век. Все эти for..in, chaining of optional values, объекты-геттеры-сеттеры, тьфу. Когда вспоминаю recursion-schemes хаскелевские, меня начинает тошнить от свифта.

Но с другой стороны, как таргет - это очень хороший вариант. По одной из примет Вадлера, самой классной фичей свифта является отсутствие точек с запятой между строками. В-общем, лексический синтаксис довольно приятный. Также (как я понимаю, односторонний) вывод типов и худо-бедно решение funarg problem через ARC, есть дженерики и RAII.

Если посмотреть на шутаут - получается скорость почти как у Си при размере кода почти как у Руби. Надо конечно для сравнения оптимизированные по размеру х-е программы написать для шутаута, я думаю яблоководы-свифтовцы специально старались уменьшали.
Book

Устраняем кодирование контрол-флоу юнитами

По совету друзей™ почитал тут A Proposal for Standard ML, Milner, 1984

Выяснил, что Милнер был не дурак, хоть и учёный. А может это случайно у него вышло. Но внезапно в синтаксис попали:

а) and/or
б) if
в) while

Он там их дешугарит в разделе "6. Derived Forms" в стиле учоных (if у него не примитивный, а дешугарится в кейс), но ума на то, что эти конструкции стоит делать спецформами и имплементить особым образом, а не тупо расшугаривать, у него хватило.

По поводу двух последних у меня сомнений не было, а первые вызвали недоумение. Но потом подумал: а ведь and/or являются control constructs по-сути. То есть, их нестрогость систематически используется программистами, и их надо по-особому эвалуэйтить/транслировать.

В-общем, надо срочно включать and/or в базовый синтаксис HN0. Мне их и так надо было по-особому обрабатывать, поскольку, например, в С++ нельзя получить указатель на ||. Я выкрутился (понимая, что это временный хак), определив в С++ bool _or(bool, bool), но это же бред поскольку нестрогость при трансляции теряется.
Book

Мэтью

http://coe.gob.do говорит что зелёный уровень для моей провинции La Altagracia, беспокоиться не о чем
http://www.nhc.noaa.gov говорит что Tropical Storm Watch для побережья к западу от Бараоны на юге и Пуэрто Платы на юге, это далеко.

Завтра-послезавтра будет самое интересное.

Upd: 3 октября. С утра был дождик, в остальном тихо. На COE вечернее обновление выложили с ошибками, 404. В-общем, завтра последний день когда у меня есть шанс увидеть какие-то эффекты (в виде дождя).

Upd2: 4 октября. С утра пару ливней громких, но недолгих, разбудило. Небо в тучах, но без ветра.