Alexander
на одно полусодержательное сообщение, пара штук таких, не надо а?
Dmitry
ну т.е SML + хаскельный приятный синитаксис, ок
A64m
сколько здесь хаскелльного самомнения, прямо сочится и капает
ок, что нового содержит пурскрипт?
Dmitry
справедливости для - а что нового у нас вообще, скажем, с 1995-го года?
A64m
я про него ничего не говорил. я про ваш ответ.
если вы согласны, что в пурскрипте ничего нового, то что вам не нравится-то?
Dmitry
ну т.е для риалити чека - пять лет назад мы были в восьмидесятых
Dmitry
сейчас мы всё еще там?
A64m
не все в 80-х
A64m
большая часть мейнстрима из 80-х только ГЦ с поколениями и освоила
Dmitry
в семидесятых?
Евгений
я просил без идиотских воззваний к нему
Я не понимаю чего кормить не оч конструктивного троля? Если бы у него были новые аргументы, то это хотя бы полезно было, а он даже ничего нового придумать не умеет. У нас контраргументы по учебнику "курс молодого хаскелиста"
A64m
даже и в 70-х не все. Есть же новые языки БЕЗ ДЖЕНЕРИКОВ
Anonymous
Но ведь правда не осилили, что тут поделать?
> (1) нет стандартного способа задать равенство на функциях Х., причем устраивающих все стороны вариантов вообще пока не предложено
Я указываю на то, что нет стандартного способа задать равенство на функциях любого тьюринг-полного языка. Вообще говоря теория доменов вырастает из этой проблемы. Да, Вы можете проигнорить существование нетотальных функций в строгом языке, но это убегание от проблемы, которое в случае построения категориальной семантики не даёт ничего вообще
> (2) на основе чисто-ленивой семантики трудно (до сих пор неизвестно как) построить смешанную, включающую обычные неленивые функции и типы данных (а наоборот - легко). это "проблема seq".
seq не неленивая функция, вы даже умудряетесь seq и force путать
уважаемый. если Вам говорят, что Вы пишете не совсем правильные вещи, то это не совсем потому, что Вас совсем не читают. ок? предлагаю как-то выделять цитируемую часть, иначе легко спутать, где чьи слова. отвечу дальше.
Danila Matveev
A64m
а после 95 года появились более-менее похожие на языки программирования недопруфассистенты типа Cayenne, Agda и Idris. Это самое главное достижение, наверное. После 95 в основном были разработаны миксин-модули, энкодинг модулей через экзистеншиалы и некоторые фичи тайпклассов
Anonymous
на одно полусодержательное сообщение, пара штук таких, не надо а?
спасибо за высокую оценку моих сообщений. я бы намекнул, что уровень моих ответов зависит от уровня тех сообщений, на которые мне приходится здесь отвечать.
Alexander
@zraffer измените зависимость на max(old_function, meaningful_constant) пожалуйста
A64m
должно быть еще что-то, наверное, пока список выглядит довольно уныло
Anonymous
@zraffer измените зависимость на max(old_function, meaningful_constant) пожалуйста
почему только я? а им можно нести чепуху?
Anonymous
у Вас двойные стандарты
Alexander
вполне возможно
Alexander
но другие не возносят к небу "о эти тупые идрисоводы не читающие сообщений" почти
Евгений
уважаемый. если Вам говорят, что Вы пишете не совсем правильные вещи, то это не совсем потому, что Вас совсем не читают. ок? предлагаю как-то выделять цитируемую часть, иначе легко спутать, где чьи слова. отвечу дальше.
Я считаю, что формат дискуссии в виде сообщений в чате, разбирающих отдельные положения текста, это детский сад, если честно. Если Вы хотите сказать что-то содержательное, то попытайтесь написать внятный текст с вступлением, основным тезисом, его аргументацией и выводами. Тогда это будет похоже на дискуссию.
Смешно говорить "уровень моих ответов зависит от уровня тех сообщений, на которые мне приходится здесь отвечать" если в ответ на абстрактный отречённый пост вы пишите невразумительный набор несвязных сообщений и характеристик собеседника
Leonid 🦇
Тролли по-обмельчали
Alexander
давайте не скатываться в обсуждение личностей
Alexander
нормально же получалось
Dmitry
"нормально же общались"
Anonymous
так что не так с моим ответом про новации пурскрипта?
Вы почему-то считаете Х-ь вершиной эволюции. в то время как эволюция языков продолжает движение. Каждый новый язык (разной степени популярности) вносит что-то свое. Считать, как Вы изволили категорически выразиться, всех явторов новых языков полными игнорамусами несколько высокомерно.
Евгений
спасибо за высокую оценку моих сообщений. я бы намекнул, что уровень моих ответов зависит от уровня тех сообщений, на которые мне приходится здесь отвечать.
Хотя "зависит" это многозначное слово. Может имелось в виду, что Вы стараетесь никогда не подниматься на уровень собеседника. Это тоже своебразная зависимость, конечно
Евгений
По мне так вершина эволюции это агда :)
Dmitry
@zraffer ну, довольно интересны новации в языках. например, кто у нас там новационный? Раст?
Dmitry
Регионы + рефкаунт?
Dmitry
или ни регионов, ни рефкаунта?
Anonymous
Я считаю, что формат дискуссии в виде сообщений в чате, разбирающих отдельные положения текста, это детский сад, если честно. Если Вы хотите сказать что-то содержательное, то попытайтесь написать внятный текст с вступлением, основным тезисом, его аргументацией и выводами. Тогда это будет похоже на дискуссию.
Смешно говорить "уровень моих ответов зависит от уровня тех сообщений, на которые мне приходится здесь отвечать" если в ответ на абстрактный отречённый пост вы пишите невразумительный набор несвязных сообщений и характеристик собеседника
Я много узнал о себе сегодня. А о семантике и аксиоматике - практически ничего. Совпадение? Не думаю.
A64m
Вы почему-то считаете Х-ь вершиной эволюции. в то время как эволюция языков продолжает движение. Каждый новый язык (разной степени популярности) вносит что-то свое. Считать, как Вы изволили категорически выразиться, всех явторов новых языков полными игнорамусами несколько высокомерно.
я не считаю хаскель вершиной эволюции, но это вполне сносный язык по меркам 80-х и даже 90-х, причем есть даже какие-то потуги его улучшить
авторы языков программирования могли бы сойти за умных, если бы помалкивали, и языков не делали, но они ведь делают и то что они делают говорит само за себя
Dmitry
ну т.е кто у нас из языков тут вообще? Scala? F#? Elixir пардон муа? Go? Rust? Swift ?
Dmitry
давайте пробежимся
Dmitry
реалити чек полезная вещь
Alexander
Idris!
Dmitry
да, идрис
Alexander
agda?
Alexander
если пруферы в счет
Dmitry
agda вроде давно тут уже?
Dmitry
как Coq, тлько агда
Alexander
а с когда считаем?
Dmitry
последние пять лет
A64m
автор пурскрипта явно среди них выделяется, видно что он что-то читал
Dmitry
аппеля, небось
Dmitry
если не аппеля, то дайте мне почитать тоже
Alexander
ats
Dmitry
давно тут
Alexander
2013 судя по wiki
Dmitry
хм?
Alexander
второй
Alexander
> The first version of ATS2 (Postiats) was released in September 2013.[4]
Dmitry
выглядит как будто с виртом по пьяни подрался
A64m
даже идрис вроде больше 5 лет назад начали делать
A64m
тем более остальные названные (про элексир не знаю)
Dmitry
ок, 10 лет?
Dmitry
ну swift это давайте сделаем sml (ocaml) со скобочками и запятыми
A64m
да там даже не окамл
Dmitry
в окамле есть ооп!
Евгений
А дисциплина когда появилась?
Dmitry
такой ооп, что живые позавидуют мёртвым
Anonymous
ммм
Anonymous
я про более привычный
Dmitry
@elemir90 по моему, примерно в тот же год, что и умерла
Евгений
Она живая, у них релиз полтора месяца назад был
A64m
свифт похож на языки конца 70-х дженерики есть, но недоделанные, ГЦ нормального нет, страшный недоизобретенный паттерн-матчинг, страшная недоизобретенная реконструкция типов, что-то вроде poly или как там его
Dmitry
ок, давайте про раст
Alexander
@zraffer по поводу необъективности, есть такая штука как репутация, т.е. людям которых я уже знаю, я прощаю всякие нехорошие вещи иногда если это не портит возможность общения на канале. Если она не заработало, но все эти вещи сильнее раздражают, особенно если хочется вытащить дискуссию на уровень повыше. Репутация, так же может идти и вниз.
Репутация это субьективная вещь, но сорри я человек и субьективен.
A64m
да то же можно и про раст сказать, там правда во все эти 70-е замешаны некоторые наработки из 90-х
Dmitry
на самом деле свифт - это то, как должен был выглядеть го
Евгений
А как должен выглядить язык нулевых?
Dmitry
а вот раст?
Dmitry
т.е попытки сделать то, что сделали в раст были - cyclone/bitc
Dmitry
ну, т.е неизвестно, сделали в расте или нет