Поэтому был выгнан

Ну хотя в компилятор тоже вероятно коммитил, но больше всего сил отдал ненавидимым всеми скаловым коллекциям. Ненавидит их при этом пуще остальных

С другой стороны, можно ли совершенствовать что-то, если оно тебя во всём устраивает.

> Он же выращивает кактусы, а не жрёт. ну так можно про автора пурскрипта сказать или эельма. этот-то скалу на скале писал, так что жрал кактус тоже > Но вообще компилятор полп не писал, только стдлиб чет по его коммитам не похоже

Он ещё расист, по-моему

Не нашёл никаких источников, свидетельствующих о расизме Пола Филлипса.

Не нашёл никаких источников, свидетельствующих о расизме Пола Филлипса.

Твиты там удалены, остатки срача можно откопать по https://twitter.com/search?q=%40contrarivariant%20racial&s=09

Ну т.е. не обязательно расист, но постил богохульные для американского общества статистики размеров мозга

попал в компанию к Джеймсу Уотсону, сделавшему замечания о связи интеллекта и расы

а нет связи? )

https://twitter.com/ko_bx/status/1036672863833604096

а нет связи? )

Скорее всего, нет. Корреляция (если есть) не означает причину-следствие.

@a66ath а в чем проблема, там же putStrLn

ответил ему

а нет связи? )

нету, есть разница контекста

а чего duplicate record fields даже с type applications не работает?

@A64m_qb0 ^

причем на одну строку ругается, на другую нет..

тупой тайпчеккер :/

ааааааааа я хочу рядовой полиморфизм

а чего duplicate record fields даже с type applications не работает?

там не к чему, они ж мономорфные. только так делать r :: (r -> a) -> r -> a r f = f r @Foo field r @Bar field

ну, понятно, можно просто тип указывать, но с композицией это совсем неудобно

печалька

можно еще использовать ORF и сиротский инстанс для лейблов

написал (r :: A -> B)

в месте применения, хотя сделать функцию r как выше разумно

придётся ещё в одном файлике запилить - сделаю

а ещё мне не нравится GC Stats в старом ghc

куча бесполензной инфы и мало полезной

а чего duplicate record fields даже с type applications не работает?

кстати, в яве и Сш принято каждый класс прописывать в своём файле. Можно запихнуть класс в класс, но то ж ОО. Там через "." всё очень конкретно.

а ещё мне не нравится GC Stats в старом ghc

"старом" это каком? что-то поменялось в выводе?

кстати, в яве и Сш принято каждый класс прописывать в своём файле. Можно запихнуть класс в класс, но то ж ОО. Там через "." всё очень конкретно.

это не удобно

"старом" это каком? что-то поменялось в выводе?

больше полезных данных про статистику GC

что можно какие-то выводы делать и метрики собирать

(я про RTS -T)

там разбивка по мажорным и минорным и точные данные по тому сколько времени провели в Гц и ожидании

блин программа, которая делает ничего вызывает 1e9 GC (в 5 минут?)

при том, что другая программа из того же комплекта единицы

кто виноват, я представляю, а вот что делать с bos-ом нет

а почему так? что bos сделал неправильно?

resource-pool, я подозреваю

и не мержит патч фиксящий проблему

а bas отказывается мержить сам

Кстати, а есть тут люди следящие за судьбой линейных/аффинных типов в хаскеле?

Ну месяц назад SPJ заявлял что он придумали как их делать

(Два месяца назад)

хм, я думал все уже реализовано

То есть вопроса о том, завезут ли нормальную мутабельность через линейные типы ещё не стояло?

ну за лето сильно продвинулись

у нас Пиккеринг интерном был, он много запилил

он же в вел-тайпд был?

То есть вопроса о том, завезут ли нормальную мутабельность через линейные типы ещё не стояло?

что тут подразумевается под нормальной мутабельностью?

он же в вел-тайпд был?

не был

что тут подразумевается под нормальной мутабельностью?

in place mutability без unsafe магии, полностью выраженная в типах

он в универе был, туда и вернулся

путаю, ок, спсб

оптимизация иммутабельного года в мутабельный?

в первой итерации - не будет

первой которая войдет в ghc

in place mutability без unsafe магии, полностью выраженная в типах

в смысле, без ненужного копирования при заморозке для безопасности? да

он в универе был, туда и вернулся

а у вас решил не задерживаться? В универе прикольней?

он не защитился ещё

вроде

хотел посмотреть, что там в индустрии

хотя я не уверен, что для него индустрия у нас сильно отличалась от универ

в смысле, без ненужного копирования при заморозке для безопасности? да

Да - то есть не стояло?

вектора при заморозке можно не копировать, но это уровень библиотеки

оптимизация иммутабельного года в мутабельный?

Оптимизация иммутабельного кода с линейными типами. Линейные типы - это важно.

Да - то есть не стояло?

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

там даже в поставке наверное интерфейс к массивам будет

там даже в поставке наверное интерфейс к массивам будет

а к хэшмапам?

нет

вроде не пытались ничего делать

если кто-нибудь меня клонирует или придумает как получить в сутках +8-12 часов, то я бы занялся

А современный safe хаскель быстрее safe Clean? Никто не бенчмаркал?

ну, клин помер, кто его теперь будет бенчмаркать?

просто из общих соображений для однопоточной x64 программы хаскельный безопасный код с vector должен быть помедленнее (индексы 8-ибайтовыми интами а не 4, слайсы, лишние копирования кое-где, ну и проверка индекса у вектора тяжеловатая)

А почему модификатор (линейности) в синтаксисе добавили к стрелке, а не к аргументу (как это сделано в клине)? По идее же если делать как в клине, то определение "линейной монады" остаётся неизменным, не?

потому что за счет такой реализации у них там получилось ввести новый вариант полиморфизма

и таким образом для функций, которые одновременно могут работать как с линейными, так и обычными типами — можно писать одну реализацию

https://www.youtube.com/watch?v=t0mhvd3-60Y