Dr. Friedrich
больно видеть
На самом деле, если это спрячется за синтаксисом, то видеть уже не будет больно.
Dr. Friedrich
Да, очень "удобно".
Это схема кодирования; пропозалом подразумевается, что всю жуть будет генерировать компилятор.
Dr. Friedrich
Хотя про HKT они там не уверены ещё
Критерий
впрочем, если всё спрячется, то выводиться им придётся
Dr. Friedrich
А уж какие весёлые приключения в потрошках декомпилятора нас ожидают, м-м-м…
Ayrat
Больше вопросов на собесы в галерах
Критерий
в принципе декомпилятор можно обучить распознавать паттерны, характерные для тайпклассов
Dr. Friedrich
Критерий
фарш не столь популярен
Dr. Friedrich
фарш не столь популярен
Знаешь, я глубоко не уверен, что программирование с тайпклассами на C# будет популярнее, чем просто программирование на F#.
Dr. Friedrich
Даже если сделают, это будет удел исчезающей прослойки миноритариев.
Ayrat
Тут за тыщу лет так и не смогли придумать декомпилятор для F#
Я где-то слышал историю что у одной фирмы лондонского финтеха он есть в приватном доступе вместе с анализатором уязвимостей...
Ayrat
Но как-то не верится
Критерий
кстати надо попробовать non-nullable references
Ilya
Не стоит. Больше проблем, чем пользы пока. Больше атрибутов надо.
Vladimir
Doge
Даже если сделают, это будет удел исчезающей прослойки миноритариев.
Так основной плюс для тайпклассов в шарпе будет в том, что такое кодирование вроде сделает их зеро-кост. Без виртуальных вызовов и т.п.
Nuxs🏴‍☠️
Есть ли аналог nameof в F#?
Ilya
Есть. В F# 5
Nuxs🏴‍☠️
Почему его только в pre добавили?
Nuxs🏴‍☠️
Вещь же нужная
Nuxs🏴‍☠️
Почему в олимпиадном программировании нигде не используется F#?
Nuxs🏴‍☠️
Nuxs🏴‍☠️
нет
Да я сам учавствовал в олимпиаде и использовал C#
Sergey
Да я сам учавствовал в олимпиаде и использовал C#
https://rg.ru/2020/03/11/kak-popast-na-chempionat-po-sportivnomu-programmirovaniiu-i-pobedit.html
Sergey
посл строка
Ilya
Почему в олимпиадном программировании нигде не используется F#?
Давай уж сразу спрашивай, почему F# менее популярен, чем C#)
Ilya
Кому как.
Sergey
Nuxs🏴‍☠️
Тебе норм, что про F# знает полтора человека?
Nuxs🏴‍☠️
Всё же, коммюнити побольше, чем у haskell, но всё равно
Ilya
это классика
Но олимпиадное программирование разное бывает. Не всегда оно на хай перф ориетировано.
Sergey
Алгоритмы.
за лучшую скорость и память
Sergey
так то есть и фп олимпиады
Nuxs🏴‍☠️
за лучшую скорость и память
и поэтому в олимпиадах юзают питон
Ilya
Почему бы и нет? Там половина библиотек на C написана.
Sergey
и поэтому в олимпиадах юзают питон
да и там по времени ему выделяют больше)
Ilya
А другую половину не используют для хай перфа)
Nuxs🏴‍☠️
берём в питоне и возводим 3 ** 3 ** 3 ** 3
Ilya
Интересная задача.
Ilya
обычно либы нельзя
Ок, это я уже в сторону хакатонов ушёл.
Sergey
смысл спорить почему там нет шарпов если все всё1равно фигачат на плюсах
Ilya
Смотря где, всё же.
Nuxs🏴‍☠️
ещё pascal и basic есть
Ilya
И перл!
Nuxs🏴‍☠️
ещё pascal и basic есть
стильно, модно, молодёжно
Ilya
У меня в универе на олимпиаде можно было юзать сишарп, паскаль, перл и плюсы.
Sergey
Смотря где, всё же.
ну основные что есть плюсы ну и для разбора офк могут не их юзать) icpc volga petrozavodsk и прочие сборы
Sergey
Не вижу смысла настолько ограничивать круг олимпиад, но ок.
ну тогда можно взять все и сказать что где то есть фарш)
Ilya
Может быть и есть!
Ilya
Вот сделаем олимпиаду в рамках этого чата, и будем всем потом рассказывать.
Nuxs🏴‍☠️
Будем вербовать дотнетчиков в F#
Ilya
Зачем?
Sergey
Может быть и есть!
да нне может быть
Sergey
а есть)
Nuxs🏴‍☠️
Sergey
@zuzukp @CHXIII https://en.wikipedia.org/wiki/ICFP_Programming_Contest 2011 год
Sergey
бтв как то многовато с++ в фп там)
Ilya
Тебе норм, что про F# знает полтора человека?
Я решил. Мне норм. Но может быть ты сможешь раскрыть проблему и переубедить меня.
Nuxs🏴‍☠️
Наконец, определил последовательность Фибоначчи
Nuxs🏴‍☠️
let rec fibs = seq { 1; 1; yield! Seq.map2 (+) fibs (Seq.tail fibs) }
Vasily
Молодец, а теперь представь, что у тебя GC делает вжух
Vasily
https://ncase.me/covid-19/
Vasily
Хотя тут проще представить, что алгоритм несколько сложнее, чем фибоначчи и его надо поддерживать
Nuxs🏴‍☠️
Блин
Nuxs🏴‍☠️
Я запустил свой скрипт и у меня комп повис
Vasily
Что логично
Ayrat
Кто бы мог подумать