which editor do you use for function programming?

о, даже @cblp_su перестал атомом пользоваться

да, VSCode меньше тормозит и глючит. фич тоже меньше, но все необходимые есть

да, VSCode меньше тормозит и глючит. фич тоже меньше, но все необходимые есть

а каких фич не хватает?

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

У меня создалось впечатление, что там либо из импортов работает, либо из файла, но не вместе.

У меня создалось впечатление, что там либо из импортов работает, либо из файла, но не вместе.

дополнение? в любом случае, не дополняются слова, встретившиеся в других файлах. в отличие от Атома и Саблайма

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

ещё не хватает настраиваемого отображения пробельных символов, как в Атоме

// Controls how the editor should render whitespace characters, possibilities are 'none', 'boundary', and 'all'. The 'boundary' option does not render single spaces between words. "editor.renderWhitespace": "none"

ICO, выпил, в тюрьму.

что за жуткий шрифт?

Боты вам всем мерещатся) суть вопроса ясна наверно - ищем разработчиков

Боты вам всем мерещатся) суть вопроса ясна наверно - ищем разработчиков

Тут

Это круто, но полный вопрос был в другом чате

А впрочем давайте про хаскель

Когда то этот чат был моим самым любимым чатом. Нет, правда. Здесь писало 30 человек в неделю. Пфф… Люди писали или по делу, или по вопросом коррелирующим с моими интересами. Это была какая-то магия. Сейчас этот чат превратился в форменный пиздец. Я не знаю как так сложилось. Почти всех участников тогдашнего чата я не знал лично. Я не могу сказать, что питал к вам ребята интерес потому что знал вас (или допустим слышал о ..). Но мне было интересно. Я копипастил высказывания в офисный чат, чем поражал сотрудников. Кто-то из них сейчас тут. Сейчас я открываю телеграм и вижу что чатики, на которые подписан живут своей жизнью. Как было ,скажем 1000 сообщений. Так примерно так же и осталось. Понятное дело я выражаюсь в относительных цифрах. У меня много чатиков в котрых я как минимум читатель. Однако этот чатик - здесь всегда было то что мне хотелось почитать. Я открывал телеграм, видел список чатов, рядом с каждым было кол-во непрочитаных сообщений. Рядом с этим было 20-30 сообщений. Каждое мне было интерсно. Я перематывал историю и читал. Все, даже дурачков которые сюда залетали. Сейчас я стараюсь не открывать этот чат. Тут тысячи сообщений о бурде. Честно. Люди несут какую то чушь. Где этот дух самого охренного чата? Кто все эти люди? О чем они говорят? Почему я вижу на пару порядков больше непрочитанных сообщений ежедневно? Почему читая их, я разочаровываюсь в потраченном времени? Я не знаю ребята. По моему мы скатываемся.

Когда то этот чат был моим самым любимым чатом. Нет, правда. Здесь писало 30 человек в неделю. Пфф… Люди писали или по делу, или по вопросом коррелирующим с моими интересами. Это была какая-то магия. Сейчас этот чат превратился в форменный пиздец. Я не знаю как так сложилось. Почти всех участников тогдашнего чата я не знал лично. Я не могу сказать, что питал к вам ребята интерес потому что знал вас (или допустим слышал о ..). Но мне было интересно. Я копипастил высказывания в офисный чат, чем поражал сотрудников. Кто-то из них сейчас тут. Сейчас я открываю телеграм и вижу что чатики, на которые подписан живут своей жизнью. Как было ,скажем 1000 сообщений. Так примерно так же и осталось. Понятное дело я выражаюсь в относительных цифрах. У меня много чатиков в котрых я как минимум читатель. Однако этот чатик - здесь всегда было то что мне хотелось почитать. Я открывал телеграм, видел список чатов, рядом с каждым было кол-во непрочитаных сообщений. Рядом с этим было 20-30 сообщений. Каждое мне было интерсно. Я перематывал историю и читал. Все, даже дурачков которые сюда залетали. Сейчас я стараюсь не открывать этот чат. Тут тысячи сообщений о бурде. Честно. Люди несут какую то чушь. Где этот дух самого охренного чата? Кто все эти люди? О чем они говорят? Почему я вижу на пару порядков больше непрочитанных сообщений ежедневно? Почему читая их, я разочаровываюсь в потраченном времени? Я не знаю ребята. По моему мы скатываемся.

Когда то этот чат был моим самым любимым чатом. Нет, правда. Здесь писало 30 человек в неделю. Пфф… Люди писали или по делу, или по вопросом коррелирующим с моими интересами. Это была какая-то магия. Сейчас этот чат превратился в форменный пиздец. Я не знаю как так сложилось. Почти всех участников тогдашнего чата я не знал лично. Я не могу сказать, что питал к вам ребята интерес потому что знал вас (или допустим слышал о ..). Но мне было интересно. Я копипастил высказывания в офисный чат, чем поражал сотрудников. Кто-то из них сейчас тут. Сейчас я открываю телеграм и вижу что чатики, на которые подписан живут своей жизнью. Как было ,скажем 1000 сообщений. Так примерно так же и осталось. Понятное дело я выражаюсь в относительных цифрах. У меня много чатиков в котрых я как минимум читатель. Однако этот чатик - здесь всегда было то что мне хотелось почитать. Я открывал телеграм, видел список чатов, рядом с каждым было кол-во непрочитаных сообщений. Рядом с этим было 20-30 сообщений. Каждое мне было интерсно. Я перематывал историю и читал. Все, даже дурачков которые сюда залетали. Сейчас я стараюсь не открывать этот чат. Тут тысячи сообщений о бурде. Честно. Люди несут какую то чушь. Где этот дух самого охренного чата? Кто все эти люди? О чем они говорят? Почему я вижу на пару порядков больше непрочитанных сообщений ежедневно? Почему читая их, я разочаровываюсь в потраченном времени? Я не знаю ребята. По моему мы скатываемся.

Когда то этот чат был моим самым любимым чатом. Нет, правда. Здесь писало 30 человек в неделю. Пфф… Люди писали или по делу, или по вопросом коррелирующим с моими интересами. Это была какая-то магия. Сейчас этот чат превратился в форменный пиздец. Я не знаю как так сложилось. Почти всех участников тогдашнего чата я не знал лично. Я не могу сказать, что питал к вам ребята интерес потому что знал вас (или допустим слышал о ..). Но мне было интересно. Я копипастил высказывания в офисный чат, чем поражал сотрудников. Кто-то из них сейчас тут. Сейчас я открываю телеграм и вижу что чатики, на которые подписан живут своей жизнью. Как было ,скажем 1000 сообщений. Так примерно так же и осталось. Понятное дело я выражаюсь в относительных цифрах. У меня много чатиков в котрых я как минимум читатель. Однако этот чатик - здесь всегда было то что мне хотелось почитать. Я открывал телеграм, видел список чатов, рядом с каждым было кол-во непрочитаных сообщений. Рядом с этим было 20-30 сообщений. Каждое мне было интерсно. Я перематывал историю и читал. Все, даже дурачков которые сюда залетали. Сейчас я стараюсь не открывать этот чат. Тут тысячи сообщений о бурде. Честно. Люди несут какую то чушь. Где этот дух самого охренного чата? Кто все эти люди? О чем они говорят? Почему я вижу на пару порядков больше непрочитанных сообщений ежедневно? Почему читая их, я разочаровываюсь в потраченном времени? Я не знаю ребята. По моему мы скатываемся.

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

oomkiller

Я хотел бы предложить сделать этот чат приватным. Это позволит сохранить в нем то зерно, которое изначально и позволило зародить этот чатик. То, зачем многие изначально появились тут. Но боюсь большинство меня не поддержит.

а тут есть место математике?

Вы с идрис-чатом не попутали? Вот там была математика до водворения культа Павла

плиз, давайте без реинкарнации срача

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

retainers при -prof.

Вы с идрис-чатом не попутали? Вот там была математика до водворения культа Павла

Инициатива наказуема, запили

Ну ты хотя бы вики разверни, создай статью клапауций там