Вышел Pharo 7.0

Велосипедостроение, конечно, но что-ж поделать

Во. Девиз смолтока. А всё почему? Потому что с универсальными инструментами мы работать не умеем, либо умеем, но мимо простаты.

А всё почему? Потому что с универсальными инструментами мы работать не умеем

А «универсальные» — это которые? Те самые, которые unix-way & worse-is-better?

Ну мой девиз - специализированное лучше абстрактного и знание реализации даёт большие возможности, чем использование АПИ. Я както выдвигал идею использовать функции в конкретном ЯП вместо комманд консоли и снабдить файловую систему типами, чтоб файл отличался от экземпляра класса только местом хранения. Система контроля версий должна хранить не текстовый дифф, а историю комманд в ИДЕ, таких как ренейм класс итп (тоесть объединится со стеком UNDO). Чтобы больше соответствовать своему мировозрению я поклялся перейти на эмакс, только что-то лень за это браться...

Инфраструктура емакса тебя доведёт до нервного срыва. Это далеко не самый красивый и архитектурно стройный огород несвежих костылей.

я поклялся перейти на эмакс, только что-то лень за это браться...

Ну и кто ты после этого? Клятвопреступник, не иначе.

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

Ну мой девиз - специализированное лучше абстрактного и знание реализации даёт большие возможности, чем использование АПИ.

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

Хорошо, когда сам себе Бог. Любой грех себе простить изи.

Вот только если бога нет, кто это ухохатывается, когда мы рассказываем о наших планах? Неужели две слепые старухи — случайность и энтропия? Это не их ли древние греки звали Парками? «…наша смерть нас гонит вперёд…»

Вот только если бога нет, кто это ухохатывается, когда мы рассказываем о наших планах?

Другие люди, кто же ещё. Человеки (впрочем, как и другие приматы) завсегда поржать горазды, особенно над неудачами других человеков.

Пора напомнить о том, что тред о языке программирования. Итак у нас есть 2 подхода к программированию. 1 - сразу проверять куски кода на практике (удобнее всего в системах типа смолтолк) 2 - научный подход, который основывается на описании типов. С одной стороны проверки не гарантируют, да и вообще геморой + образы требуют привыкать к новым тулзам, которые еще и писать самому приходится. С другой стороны типы снова ничего не гарантируют и тестить всеравно надо. Вот только воспроизводить условия теста сложнее, в результате тестировать вообще лень и код так и остается с багами. + еще системы типизации на данный момент не развиты достаточно: либо они тупые как пробка, либо замороченные как в хаскеле. Dependent type задумка неплохая, но все существующие реализации заточены на дикий матан, да и в принципе плохо пихать всё в такую простую теорию, тот же сабтайпинг на практике очень полезен. Идеально было бы разрабатывать систему «помошник программиста», которая находится сбоку от кода и помогает с написанием, но разработки ориентированные чисто на такой подход вроде как вообще не ведутся. Или в смолтолке есть чтолибо подобное? Ну хотябы что-то вроде pvs-studio.

http://babelsberg.github.io/babelsberg-s/ — cсылка с офсайта Squeak. Подробности не смотрел, но вроде не самый дикий матан (обычные инварианты, их кажется Вирт в каком-то своём учебнике описывал, правда предлагал держать в голове, а не скармливать компилятору).

А PVS-Studio — статический анализатор, как-то сомневаюсь что к столь динамическому языку, как Smalltalk, такое прикручивается в принципе.

Я привел пример направления, в котором, по моему мнению, должна развиватся индустрия. Всмысле должен быть некий процесс, который бьёт тебя по рукам, когда видит, что ты пишешь глупость. А ну еще подсказывает, что ты наверно хотел бы тут написать. И всё. Тогда типы не нужны. Динамической типизации с выводом типов и оптимизацией внутри будет вполне достаточно.

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

Это лишь твое мнение основанное на небольшом опыте. В Смолтолке впринципе модель разработки такая что ты пишешь глупость, запускаешь и в дебагере дописываешь то чего не хватает/не работает.

Идеально было бы разрабатывать систему «помошник программиста», которая находится сбоку от кода и помогает с написанием, но разработки ориентированные чисто на такой подход вроде как вообще не ведутся.

Вообще уже давно изобретено программирование по контракту, Ada + Spark, Eiffel плюс все что реализована на уровне библиотек в других языках, причем Ada + Spark вполне промышленное решение.