без модулей язык точно доделанным не является, но модули конечно не нужны, пусть лучше Снойман и дальше доказывает что делать ничего не надо и гнобит тех, кто делает
А что не так с нынешними модулями?
Антон
Quet
а про модули. то что их сделали в ghc это наверное даже не 10% работы
основное будет как-то перетащить на них библиотеки и вот это уже растянется на годы
A64m
неймспейс
A64m
а про модули. то что их сделали в ghc это наверное даже не 10% работы
основное будет как-то перетащить на них библиотеки и вот это уже растянется на годы
хаскельные библиотеки обычно фичи новые быстро подхватывают
Quet
и к тому моменту как ими можно будет пользоваться в реальных проектах будет поддержка и в кабале и в стеке и в остальном тулинге (который еще даж не написан сейчас)
Quet
Окей, тогда я не понимаю - почему нынешние модули не являются модулями?
ну он имеет в виду окамловые функторы как модули
A64m
Окей, тогда я не понимаю - почему нынешние модули не являются модулями?
модули это как в эмелях, а это все баловство
Quet
модули, бекпек... вот бы кто prelude нормальную сделал и на нее все переехали
A64m
модули, бекпек... вот бы кто prelude нормальную сделал и на нее все переехали
без модулей сделать нормальные библиотеки нельзя
Quet
но это понятно что вряд ли случится (
A64m
(может и с модулями нельзя, но это не точно)
Quet
да почему нет? нельзя сделать string тип один стандартный и все перетащить на него? нельзя его сделать частью base? нельзя нетотальные функции выпилить?
A64m
да почему нет? нельзя сделать string тип один стандартный и все перетащить на него? нельзя его сделать частью base? нельзя нетотальные функции выпилить?
из опыта известно что нельзя, не удалось это сделать за все годы
Quet
а кто-то пытался?
Quet
(почему-то в других языках у них получилось)
A64m
ну постоянно же эти прелюдии лепят
A64m
(почему-то в других языках у них получилось)
нигде не получилось, нормальной прелюдии я еще не видел
Quet
ну вот потому и лепят что стандартная говно
но ее никто менять не хочет
Евгений
(почему-то в других языках у них получилось)
В других языках строки говно, просто все с этим мирятся
A64m
ну вот потому и лепят что стандартная говно
но ее никто менять не хочет
понятно что лепят потому, что прелюдия говно, но на слепленные особо не спешат переходить, следовательно они не принципиально лучше
Quet
не вижу прицнипиальных причин почему нельзя сделать нормальную
(можно подсмотреть что идет в стандартной либе го чтобы понимать что там должно быть)
A64m
только вот нам еще го не хватало
Quet
как ориентир на то что должно быть в стандартной библиотеке - почему нет?
на язык сам никто не предлагает смотреть
Leonid 🦇
Ага, даёшь хттп сервер в base
A64m
я не понимаю, на чем вообще может быть основана мысль, что на го нужно ориентироваться в том, что должно в стандартной библиотеке быть
Denis
на го можно ориентироваться как на образец того как не должен выглядеть ЯП
Denis
в этом он преуспел
A64m
в го не все плохо, там же лексическая видимость, например
Denis
образец для подражания
Quet
и еще раз, речь шла не про язык
Евгений
В go строки ничем от bytestring не отличаются
A64m
и еще раз, речь шла не про язык
если библиотеки могу быть примером, почему язык не может? И наоборот
Quet
В go строки ничем от bytestring не отличаются
они в стандартной библиотеке и все используют только их )
Quet
если библиотеки могу быть примером, почему язык не может? И наоборот
может. но го это не пример для подражания (как язык)
Андрей
го пиздат как язык в который можно генериться )
Андрей
я почему-то думаю, что докер так и написан
Андрей
люди не могут такую лютую х написать
Vladislav
Denis
pusher хвалил их GC
тут недавно был анекдот про то как люди из pusher хотят переписывать что-то с го на хаскелл
Андрей
ну вот си замени на го и получишь тоже самое 😃
A64m
тут недавно был анекдот про то как люди из pusher хотят переписывать что-то с го на хаскелл
вроде анекдот был про то, что люди из пушера ушли после того как им сообщили что надо на гописать?
Андрей
да под всё
Андрей
он же уже как ос научился запускаться
Denis
> гописать
Denis
надо запомнить
Андрей
возможно даже на чайниках
Андрей
или картофелинах
Алексей
тебя тож конечно можно понять
но не все с языком экспериментируют, некоторые просто пишут
Люди просто писали когда ещё сандбоксов не было и ничего
A64m
Люди просто писали когда ещё сандбоксов не было и ничего
там был очень небольшой зазор между временем, когда пакетов мало и они обновляются редко и всякими накостыленными сандбоксами вроде кабал-дев
Dmitry
@qnikst А этот LF предполагает какую-то внешнюю среду для сдачи заданий? Или достаточно у себя Coq поставить и самостоятельно задания выполнять?
Alexander
достатоно поставить coq
Andrei
Dmitry
А то там же пишут
Dmitry
"If you are using Software Foundations in a course, your instructor may use automatic scripts to help grade your homework assignments."
Alexander
with (import <nixpkgs> {});
stdenv.mkDerivation rec {
name = "software-foundations";
buildInputs = [
coq
];
Alexander
это если они оценки ставят
Alexander
там доп софт есть
Alexander
может @antontrunov знает
Dmitry
А, ок.
Kirill
@qnikst а оно и ымакс ставит?
Alexander
нет, я не придумал как spacemacs с конфигами пулить нормально
Alexander
ты отвечал в nixos но я поленился пробовать
Kirill
а, так это было про LF, ок
Alexander
в контексте lf
Андрей
о, народ, спрашиваю не ради троллинга, рас уж тут не стрёмно го обсуждать, кто-нибудь что-нибудь писал на файкторе или его аналогах?
Andrei
это каких, форт?