Судя по всему, автор просто прокрастинирует

https://dr-knz.net/finding-the-right-language.html

и это точно не Филл? лул

Судя по всему, автор просто прокрастинирует

автор comp scientist

есть гипотеза, что в compsci идут потому, что можно лежать на диване и всем говорить, что работаешь

Я потому и пришел в айти

есть гипотеза, что в compsci идут потому, что можно лежать на диване и всем говорить, что работаешь

+++

Непонятно, зачем где-то работать, чтобы можно было лежать на диване и говорить, что работаешь.

Непонятно, зачем где-то работать, чтобы можно было лежать на диване и говорить, что работаешь.

Деньги

Непонятно, зачем где-то работать, чтобы можно было лежать на диване и говорить, что работаешь.

Чтобы не работать

@AnutaU смотри, кто-то тоже тупанул за рулём

Кто-то явно повернул не туда

Может на ней поплавать хотели.

Непонятно, зачем где-то работать, чтобы можно было лежать на диване и говорить, что работаешь.

иначе денег не платят

иначе денег не платят

Ещё и начинает общество порицать и осуждать

Хотя сейчас уже не так сильно конечно

"код должен быть слабосвязным, но наш код будет жить только в ReaderT Env IO"

Так у него фри монады, а не ReaderT

Ещё и начинает общество порицать и осуждать

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

Кто-то явно повернул не туда

Норм, мне до такого пилотажа как до луны 🌚

Так у него фри монады, а не ReaderT

у него там все есть. а ReaderT - это по одной из его ссылок, в блоге Сноймана

у него там все есть. а ReaderT - это по одной из его ссылок, в блоге Сноймана

Я на самом деле не очень понимаю, как можно на полном серьезе топить за то использование Free, что он пропагандирует. Там бойлерплейта будет дофига во всех нетривиальных случаях + ощутимый удар по перформансу и гц

Может на ней поплавать хотели.

Тогда все в порядке да

Я на самом деле не очень понимаю, как можно на полном серьезе топить за то использование Free, что он пропагандирует. Там бойлерплейта будет дофига во всех нетривиальных случаях + ощутимый удар по перформансу и гц

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

А он разве не в Касперском работает?

А он разве не в Касперском работает?

Гранин?

Если Гранин то нет

Опять мой мозг меня подвёл. Плохой мозг.

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

Изи

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

Ну я начал топить за радикальное ФП после долгой работы в энтерпрайзе. В особенности за ссылочную прозрачность и т.п. Потому что подавляющие большинство серьезных и дорогих багов было связано с отсутствием этих хороших свойств. Хотя, с другой стороны, сейчас я вообще на расте пишу, который слабое отношение к ФП имеет. Поэтому непонятно, насколько я вообще радикально за это топлю, раз уж взял раст для проекта, а не хаскель

Опять мой мозг меня подвёл. Плохой мозг.

ЭКЗАМЕН ПО БИОГРАФИИ ГРАНИНА НЕ СДАН ПОСЛЕ СЕССИИ НА ПЕРЕСДАЧУ

Всё ок, он работал в лаборатории касперского, у него на хабре написано.

Я сдал!

Я сдал!

Нет. По разделу Новейшая биография Гранина неуд Подготовьтесь, спрошу основательно

Остальные разделы зачтём так и быть

https://thanos.codes/blog/using-fslexyacc-the-fsharp-lexer-and-parser/

А он разве не в Касперском работает?

Это Василий-2 в нём

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

type [<Measure>] _Id type Id = string<_Id> module Id = let toString (value : Id) : string = %value let parse (value : string) : Id = let raw = value in % raw type [<Measure>] entityId type EntityId = string<entityId> module EntityId = let toString (value : EntityId) : string = %value let parse (value : string) : EntityId = let raw = value in % raw

Я так до сих пор и не понял что оно делает.

Но понял, что теперь надо быть вэри эксплисит когда работает с идентификаторами.

Я так до сих пор и не понял что оно делает.

Компайл тайм чеки что типы разные у стрингов. В рантайме их нет

Компайл тайм чеки что типы разные у стрингов. В рантайме их нет

Да, это я понял, но чем просто синоним типа плох?

Да, это я понял, но чем просто синоним типа плох?

Тем что алиас не проверяет типы

type Id = string

Тем что алиас не проверяет типы

Ааа

type Id = string

Я в такой Id могу любую стрингу пихануть

И даже другой алиас на стрингу

Я в такой Id могу любую стрингу пихануть

А там наверху надо быть вери эксплисит, я понЕл

Ну че, может и удобно для кого-то, у кого в домене тыщи идентификаторов.

достаточно пяти

когда я к себе завёз типизированные айдишники - выловил 3 бага

я вам покажу прикол про дарт (помните язык такой у меня в проде?)

PS C:\Users\A\AppData\Local\Temp\dart.test> cat .\main.dart void main() { var objects = ['Sun', 42, ['Earth', 'Moon']]; if (objects is List<String>) { print('OOPS'); } else { print('FINE'); } }

на версии 1.24 пишет OOPS, на версии 2 - FINE. Угадайте какая у меня в проде =)

Кстати вопрос Этот дарт вообще можно юзать ?

я слышал очень нелестные вещи о компиляторе

вроде того что выше

на версии 1.24 пишет OOPS, на версии 2 - FINE. Угадайте какая у меня в проде =)

2 ?

на версии 1.24 пишет OOPS, на версии 2 - FINE. Угадайте какая у меня в проде =)

1.24

ходят слухи (в доке дарта пишут), что самые прибильные проекты гугла на нём написаны

1.24

бинго!

ходят слухи (в доке дарта пишут), что самые прибильные проекты гугла на нём написаны

так

версию 2.* не щупал. 1.24 - говно, не трогать вообще никак, если есть возможность.

почему же все не пишут на нем ?

если все так круто

я хз.

почему же все не пишут на нем ?

пушто пиздеж скорее всего

ну я с сарказмом

я к тому что какие конкретно подводные

вообще не удивлюсь, если 99% проектов гугла работают в убыток, поэтому самые прибыльные из них — те, что генерируют меньше всего убытков, т.е. имеют наименьший импакт на что бы то ни было. И возможно они как раз написаны на дарте)

вообще не удивлюсь, если 99% проектов гугла работают в убыток, поэтому самые прибыльные из них — те, что генерируют меньше всего убытков, т.е. имеют наименьший импакт на что бы то ни было. И возможно они как раз написаны на дарте)

Неплохая теория!

почему же все не пишут на нем ?

Когда я заходил в гиттер "дарт на сервере", там было 200 человек

круто

тут даже во флудилке больше

в русской флудилке в телеграме, попрошу заметить!

Вот вот

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

про джет слышали мол

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

ну только качество немножко различается

так нам хочется верить)