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

неймспейс

Окей, тогда я не понимаю - почему нынешние модули не являются модулями?

Окей, тогда я не понимаю - почему нынешние модули не являются модулями?

ну он имеет в виду окамловые функторы как модули

Окей, тогда я не понимаю - почему нынешние модули не являются модулями?

Не полиморфные

Окей, тогда я не понимаю - почему нынешние модули не являются модулями?

модули это как в эмелях, а это все баловство

модули, бекпек... вот бы кто prelude нормальную сделал и на нее все переехали

модули, бекпек... вот бы кто prelude нормальную сделал и на нее все переехали

без модулей сделать нормальные библиотеки нельзя

но это понятно что вряд ли случится (

(может и с модулями нельзя, но это не точно)

да почему нет? нельзя сделать string тип один стандартный и все перетащить на него? нельзя его сделать частью base? нельзя нетотальные функции выпилить?

да почему нет? нельзя сделать string тип один стандартный и все перетащить на него? нельзя его сделать частью base? нельзя нетотальные функции выпилить?

из опыта известно что нельзя, не удалось это сделать за все годы

а кто-то пытался?

(почему-то в других языках у них получилось)

ну постоянно же эти прелюдии лепят

(почему-то в других языках у них получилось)

нигде не получилось, нормальной прелюдии я еще не видел

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

(почему-то в других языках у них получилось)

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

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

понятно что лепят потому, что прелюдия говно, но на слепленные особо не спешат переходить, следовательно они не принципиально лучше

не вижу прицнипиальных причин почему нельзя сделать нормальную (можно подсмотреть что идет в стандартной либе го чтобы понимать что там должно быть)

только вот нам еще го не хватало

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

Ага, даёшь хттп сервер в base

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

на го можно ориентироваться как на образец того как не должен выглядеть ЯП

в этом он преуспел

на го можно ориентироваться как на образец того как не должен выглядеть ЯП

не совсем

в го не все плохо, там же лексическая видимость, например

образец для подражания

Ага, даёшь хттп сервер в base

удобно ж )

и еще раз, речь шла не про язык

В go строки ничем от bytestring не отличаются

и еще раз, речь шла не про язык

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

В go строки ничем от bytestring не отличаются

они в стандартной библиотеке и все используют только их )

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

может. но го это не пример для подражания (как язык)

В go строки ничем от bytestring не отличаются

best practices из python

го пиздат как язык в который можно генериться )

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

го пиздат как язык в который можно генериться )

но зачем?

люди не могут такую лютую х написать

но зачем?

pusher хвалил их GC

но зачем?

зачем в си генерятся?

pusher хвалил их GC

а много кто не хвалил

pusher хвалил их GC

тут недавно был анекдот про то как люди из pusher хотят переписывать что-то с го на хаскелл

зачем в си генерятся?

затем что есть компилятор си для много чего

ну вот си замени на го и получишь тоже самое ?

тут недавно был анекдот про то как люди из pusher хотят переписывать что-то с го на хаскелл

вроде анекдот был про то, что люди из пушера ушли после того как им сообщили что надо на гописать?

ну вот си замени на го и получишь тоже самое ?

но компилятор го есть не под много чего

да под всё

он же уже как ос научился запускаться

> гописать

надо запомнить

возможно даже на чайниках

или картофелинах

тебя тож конечно можно понять но не все с языком экспериментируют, некоторые просто пишут

Люди просто писали когда ещё сандбоксов не было и ничего

Люди просто писали когда ещё сандбоксов не было и ничего

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

@qnikst А этот LF предполагает какую-то внешнюю среду для сдачи заданий? Или достаточно у себя Coq поставить и самостоятельно задания выполнять?

достатоно поставить coq

@qnikst А этот LF предполагает какую-то внешнюю среду для сдачи заданий? Или достаточно у себя Coq поставить и самостоятельно задания выполнять?

достаточно

А то там же пишут

"If you are using Software Foundations in a course, your instructor may use automatic scripts to help grade your homework assignments."

with (import <nixpkgs> {}); stdenv.mkDerivation rec { name = "software-foundations"; buildInputs = [ coq ];

это если они оценки ставят

там доп софт есть

может @antontrunov знает

А, ок.

ERROR: S client not available

@qnikst а оно и ымакс ставит?

нет, я не придумал как spacemacs с конфигами пулить нормально

ты отвечал в nixos но я поленился пробовать

а, так это было про LF, ок

в контексте lf

о, народ, спрашиваю не ради троллинга, рас уж тут не стрёмно го обсуждать, кто-нибудь что-нибудь писал на файкторе или его аналогах?

это каких, форт?

pusher хвалил их GC

он нормальный при bounded и небольшой куче

но средств сделать bounded нету

если задача удачная

это каких, форт?

ну хоть на нём

Я на нем для КР580ВМ80А в школе писал всякое. Даже работало, что особенно приятно – намного быстрее BASIC. в 2012 был на презенташке Vitali Tsevan про factor, впечатлился

Есть какая нибудь файловая система, которая поддерживала бы так сказать виртуальные файлы? Я создавал бы файл с программой, которая на вход принимает другие файлы и выдает результат. Результат кэшируется и представляется read-only файлом. Если другие файлы меняются, то виртуальный файл перегенерится (при следующем чтении).

может @antontrunov знает

Ответ от автора книг(и): https://stackoverflow.com/a/45461908/2747511 Грейдер, похоже, что здесь: https://github.com/arthuraa/sf-grader

@int_index inotify?

@int_index inotify?

Похоже на то что нужно

Есть какая нибудь файловая система, которая поддерживала бы так сказать виртуальные файлы? Я создавал бы файл с программой, которая на вход принимает другие файлы и выдает результат. Результат кэшируется и представляется read-only файлом. Если другие файлы меняются, то виртуальный файл перегенерится (при следующем чтении).

в bazel и т.п. такое для сборки

pusher хвалил их GC

А Шипилёв не хвалил

Я на нем для КР580ВМ80А в школе писал всякое. Даже работало, что особенно приятно – намного быстрее BASIC. в 2012 был на презенташке Vitali Tsevan про factor, впечатлился

ну продолжи мысль)

чем впечатлился то?

я честно не понимаю зачем он

А Шипилёв не хвалил

+1

А Шипилёв не хвалил

как-то аргументированно?

чем впечатлился то?

тогда впечатлился. сейчас-то я тоже не вижу смысла в.

Да, но без подробностей. Сказал что все и сразу получить нельзя и ребята натюнили нужную им характеристику, и что ничего особо нового в этом ГЦ нету.

как-то аргументированно?

https://www.youtube.com/watch?v=q1h2g84EX1M

у го гц заточен под гугл и сетевые сервисы просто

а раз вам не подходит значит у вас не тот scale

это просто самый первый псевдоконкурентный сборщик изобретенный вот и вся заточка

они действительно делают ГЦ заточенный под сетевые сервисы, но не сделали еще

нигде не получилось, нормальной прелюдии я еще не видел

А Protolude?

universum приятная :)