Теперь можно писать на хаскеле и даже иметь в одном модуле два типа с одинаковыми полями
а не нем есть работа не в ммм крипте?
Vladislav
Vladislav
с другой стороны на фшарпе работы так же нихуя поэтому наезд от меня нечестный
Ayrat
Свинья везде грязь найдет!
Ilya
с другой стороны на фшарпе работы так же нихуя поэтому наезд от меня нечестный
Зато ты можешь говорить об этом со знанием дела.
Vladislav
Кстати, есть, но не прям много.
печально конечно, я бы наверно по этическим причинам не пошел работать писать криптохрень очередную
Doge
печально конечно, я бы наверно по этическим причинам не пошел работать писать криптохрень очередную
Ну крипта - это не всегда какие-нибудь скам ICO.
Tako
Свинья везде грязь найдет!
Мне тоже кажется если сильно хотеть то работу можно найти на чем угодно.Хоть на фшарпе хоть на авалонии,хоть вместе
Ayrat
Vladislav
Ну крипта - это не всегда какие-нибудь скам ICO.
ну я понимаю, у нас там в другом чате сидят пишут блохчейн для эвентлогов на F*
Vladislav
незнаю как но пишут
Ayrat
шоблять
Tako
даже мне нубасу столько вакансий скидывают что мне лень уже отвечать всем
Tako
На фшарпе и хаскеле?
нет,но если хочешь то работа сама тебя находит как по мне.Я вот сидел в чате по авалонии пару месяцев и тут бац я на авалонии пишу
Ilya
нет,но если хочешь то работа сама тебя находит как по мне.Я вот сидел в чате по авалонии пару месяцев и тут бац я на авалонии пишу
А, аналогии в качестве аргументов. Ну хорошо.
Tako
вы такие зануды что вас хрен перенудишь
Vasiliy
ну я понимаю, у нас там в другом чате сидят пишут блохчейн для эвентлогов на F*
https://www.youtube.com/watch?v=PXUS1TP36LM
Vladislav
он написал в итоге
Ayrat
и потом у него взорвалось от фстара и отсутствия подсветки лол
Ayrat
(хотя непонятно чо он ожидал)
Tako
ну да,но конечная цель достигнута ведь!
Ilya
Мог бы и сам подсветку на фстаре сделать, а не взрываться.
Ilya
Начинали, да. Пару лет назад.
https://github.com/Invisible-Rabbit-Hunter/vscode-language-fstar
Ayrat
ну вот ладно бы только подсветка, там еще и лсп нерабочий
Ayrat
и короче единственный способ это писать в чернобелом варианте и вызывать компилятор чтобы узнать ошибки
Ayrat
ну короче старый добрый олдовый метод
Ilya
А, вот чуть более живое.
https://github.com/FStarLang/fstar-mode.el
Ayrat
да ладно, если ты до фстара дотянешь, лсп там особо погоды не сделает.
Ayrat
ну да, удобнее
Ayrat
но такое.
Ilya
Деды без LSP писали, и ты пиши.
Ayrat
давайте откровенно, фстар не для продакшна, а для рнд
Ayrat
ну вот да, поэтому не вижу особых проблем.
Ayrat
Ну точнее вижу, но шо делать
Ayrat
если надо, то надо
Anonymous
давайте откровенно, фстар не для продакшна, а для рнд
Кто знает чем он станет через пару лет
Крылатый
Безусловно, он как пример приведён.
Sergey
И у новичка нет возможности без сообщества понять, что он вообще что-то не то делает
А оверлоад разве не спасает?
Anonymous
Doge
{-# LANGUAGE OverloadedStrings #-}
Ну тут речь про то, что у тебя из коробки в языке и в проекте не подключены bytestring и Text
Doge
И новичок не факт, что узнает, что они вообще нужны
Ayrat
Бля, как эти люди на фронте работают. Герои нахуй
Ayrat
Лучше бы в проституки шли
Hog
Бля, как эти люди на фронте работают. Герои нахуй
Я бы воздержался от таких комментариев. 9 мая скоро.
Ayrat
И то правда
Hog
А то запишут сейчас тебя в недружественные иноагенты
Ilya
А есть дружественные?
IdiocyAcceptance
бля, я только сейчас осознал что мой лептоп с 16гб памяти. Какой пиздец
на линухе вообще не замечаю, на удивление (nvme ssd, но далеко не топовый). Своп как-то адекватно работает что ли. А вот на винде пиздец что творится
Anonymous
https://gcc.gnu.org/pipermail/gcc/2021-April/235922.html
Vasiliy
а Дон все пушит коммиты по task !!!
Ayrat
Его не остановить!!!111
Ilya
Через годик релизнутся.
Vasiliy
будет интересно смотреть как потом это все мержить
Vladimir
Ayrat
будет интересно смотреть как потом это все мержить
Ну обычно люди делают так чтобы мержилось!!11
Vasiliy
Ну обычно люди делают так чтобы мержилось!!11
ответ прям в стиле как засунуть жирафа в холодильник
Vasily
Vasiliy
вот щас прям еще один запушил!
Mikhαil
Это какой-то новый жанр? Коллективное смотрение за чьими-то коммитами в режиме реального времени
Mikhαil
На твиче стрим смотрите?
Ilya
Весна же.
Ilya
Не знаю, у меня PornIdentityServer.
Hog
SplitIdentityServer
Oleksandr