В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

fprog_spb

444 membersпожаловаться на группу
2020 November 25

FN

Freyr Njordrson in fprog_spb
Aleksei (astynax) Pirogov
Если этого не хочется, то GNU SmallTalk берите, чё
Да, надо будет, заодно добраться до разноцветных книжек.

Все же идея интерактивных VM/os а-ля лисп-машины и смолток как по мне скорее препятствуют популярности, да и в целом как-то сомнительно писать программу находясь внутри программы, какой-то strange loop. В презентации на youtube Dan Ingalls успешно окирпичил VM в самом конце, что как-то не оч безопасно что ли.
источник
14:08пожаловаться#1

AP

Aleksei (astynax) Pi... in fprog_spb
Снапшоты всегда можно делать. И окирпичивать интереса ради. А потом откатывать до снапшота опять же. Как VirtualBox
источник
14:10пожаловаться#2

AP

Aleksei (astynax) Pi... in fprog_spb
Aleksei (astynax) Pirogov
Снапшоты всегда можно делать. И окирпичивать интереса ради. А потом откатывать до снапшота опять же. Как VirtualBox
GNU SmallTalk уныл чуть более чем полностью, если что. Синтаксис можно оценить, но за пределами голого языка ничего не останется.

А весь фан в разработке "на живую". Именно поэтому Pharo такой, какой он есть — живая система, разработанная сама на себе. Любые прослойки GTK<->GNU SmallTalk не идут ни в какое сравнение
источник
14:12пожаловаться#3

AP

Aleksei (astynax) Pi... in fprog_spb
https://docs.huihoo.com/smalltalk/gnu-smalltalk/ вот тут есть много всякого по GNU SmallTalk. В т.ч. и про GUI на Blox. Но это прям old shit :)
источник
14:18пожаловаться#4

K

KLH in fprog_spb
Александр Гранин
И кстати. Тайп левельность не гарантирует тайп сейфети
В хаскеле - да...

Или речь вообще про то, что в спецификациях тоже могут быть ошибки?
источник
14:23пожаловаться#5

AP

Aleksei (astynax) Pi... in fprog_spb
Freyr Njordrson
Да, надо будет, заодно добраться до разноцветных книжек.

Все же идея интерактивных VM/os а-ля лисп-машины и смолток как по мне скорее препятствуют популярности, да и в целом как-то сомнительно писать программу находясь внутри программы, какой-то strange loop. В презентации на youtube Dan Ingalls успешно окирпичил VM в самом конце, что как-то не оч безопасно что ли.
Seaside работает на GST, можно начать с вебчика, если руки дойдут :)
источник
14:25пожаловаться#6

АГ

Александр Гранин... in fprog_spb
KLH
В хаскеле - да...

Или речь вообще про то, что в спецификациях тоже могут быть ошибки?
Не только. Речь еще и про то, что тема корректности не исчерпывается только корректностью алгоритмов. В реальном мире куда больше вещей, корректность которых не определена или определена плохо, но код при этом написан быть должен. Нельзя формализовать все
источник
14:28пожаловаться#7

АГ

Александр Гранин... in fprog_spb
И, как правило, пропоненты коррректности путем введения тайп левела работают с кодом уровня "вектор фиксированной длинны", но это как рисовать сову. Попробуй перейди от корректного тайп левельного вектора к корректной логике какого-нибудь веб бэкенда.
источник
14:30пожаловаться#8

MP

Mike Potanin in fprog_spb
А как в "интеративных средах" с версионируемостью? В CoqIDE если что-то не понравилось, можно откатиться на несколько команд назад и что-то поменять. Команды - это просто текст. Что-то подобное я видел на демонстрации САПР Cadds5, где список выполненных операций можно было бы отредактировать как текст.
источник
14:30пожаловаться#9

AP

Aleksei (astynax) Pi... in fprog_spb
Сравнивать САПР, то есть систему с одним "источником состояния" с высоконкурентными средами "почти ОС" вроде Pharo SmallTalk — странно
источник
14:32пожаловаться#10

AP

Aleksei (astynax) Pi... in fprog_spb
САПР не откатывает, она "перенакатывает не всё" (минус n последних команд)
источник
14:32пожаловаться#11

AP

Aleksei (astynax) Pi... in fprog_spb
Это как event sourcing с ограниченной цепочкой событий относительно какого-то снапшота состояния в прошлом
источник
14:34пожаловаться#12

AP

Aleksei (astynax) Pi... in fprog_spb
Откат равноценен загрузке снапшота и применению цепочки событий до нужного момента.
источник
14:34пожаловаться#13

AP

Aleksei (astynax) Pi... in fprog_spb
В живой системе, коммуницирующей с внешним миром, нельзя в общем случае "запечь" внешние взаимодействия.
источник
14:35пожаловаться#14

AK

Andrey Kolesnikov in fprog_spb
Александр Гранин
Не только. Речь еще и про то, что тема корректности не исчерпывается только корректностью алгоритмов. В реальном мире куда больше вещей, корректность которых не определена или определена плохо, но код при этом написан быть должен. Нельзя формализовать все
Работа прогера и заключается в моделировании прикладной проблемы в формальном языке :)
Нам за это деньги платят, знаете ли :)
источник
14:42пожаловаться#15

AK

Andrey Kolesnikov in fprog_spb
Andrey Kolesnikov
Работа прогера и заключается в моделировании прикладной проблемы в формальном языке :)
Нам за это деньги платят, знаете ли :)
Другое дело, что моделировать эту прикладную проблему можно по разному.
Хочешь, затипизируйся, а потом сиди всю ночь и рефактори, когда бизнес-модель поменяется.
Хочешь, набросай по быстрому весь процесс в питоне, а потом смотри, как кодовая бара превращается в черную дыру изза отсутствия типов, которые бы хоть как то сдерживали логическую нестабильность в модели.
источник
14:45пожаловаться#16

AT

Alexander Tchitchigi... in fprog_spb
Для тех, кто не подписан.
источник
14:45пожаловаться#17

AT

Alexander Tchitchigi... in fprog_spb
https://gopiandcode.uk/logs/log-abolish-state.html
gopiandcode.uk
Gopiandcode > logs > Abolish the state! or no? An OCaml Perspective
источник
14:45пожаловаться#18

AK

Andrey Kolesnikov in fprog_spb
Andrey Kolesnikov
Другое дело, что моделировать эту прикладную проблему можно по разному.
Хочешь, затипизируйся, а потом сиди всю ночь и рефактори, когда бизнес-модель поменяется.
Хочешь, набросай по быстрому весь процесс в питоне, а потом смотри, как кодовая бара превращается в черную дыру изза отсутствия типов, которые бы хоть как то сдерживали логическую нестабильность в модели.
Это вопрос обеспечения маппинга между языком прикладной модели, и формальным языком. Причем не абы какого, а чтобы структура и не терялась, и не придумывалась на коленке.
И бизнесу интересна чаще именно скорость разработки (читай, реализации маппинга между языками), а не его корректность, что печально.
источник
14:47пожаловаться#19

MP

Mike Potanin in fprog_spb
Andrey Kolesnikov
Другое дело, что моделировать эту прикладную проблему можно по разному.
Хочешь, затипизируйся, а потом сиди всю ночь и рефактори, когда бизнес-модель поменяется.
Хочешь, набросай по быстрому весь процесс в питоне, а потом смотри, как кодовая бара превращается в черную дыру изза отсутствия типов, которые бы хоть как то сдерживали логическую нестабильность в модели.
Разработка бизнес-приложений в большой степени состоит из интеграции уже готовых частей. С развитием Type-Driven Development такая разработка может оказаться быстрее, чем на питоне.
источник
14:58пожаловаться#20