@fsharp_flood - страница 425

Igor

Ух, что может быть интереснее, чем посравнивать языки. :)

Сравнение платформ 😉

Hog

Ну как бы много раз уже говорили: "это разные кэмпы". F# это совсем не улучшенное ООП из C#, тут нужно по др думать. А по фичам C# и так догоняет F#

Ооп кстати в ф# мне больше нравится. Особенно как в жаве - имплементация интерфейса по месту. Прям руки чешутся куда-нить воткнуть.

ect"==typeof module.exp

Ух, что может быть интереснее, чем посравнивать языки. :)

Нидерландский лучше немецкого! :) (Один знаю второй нет)

gsomix

Мне кажется, что выбор конкретных языка и технологии — это выбор социально-психологический, а не инженерно-технический.

gsomix

И объективно обсуждать тут особо нечего.

Igor

Мне кажется, что выбор конкретных языка и технологии — это выбор социально-психологический, а не инженерно-технический.

есть такое (а то бы сейчас все на жабе или php писали)

A64m

Ну как бы много раз уже говорили: "это разные кэмпы". F# это совсем не улучшенное ООП из C#, тут нужно по др думать. А по фичам C# и так догоняет F#

ну, в f# нету современных средств организации кода вроде параметризованных модулей и тайпклассов, только сишарповый оопе, так что да, это сишарп с человеческим лицом

Hog

И объективно обсуждать тут особо нечего.

Это как с машинами :) почему такое разнообразие? Был бы какой-нить форд т-34 и всё:)

Hog

ну, в f# нету современных средств организации кода вроде параметризованных модулей и тайпклассов, только сишарповый оопе, так что да, это сишарп с человеческим лицом

Вот он! Тони Морис Младший :)

Igor

ну, в f# нету современных средств организации кода вроде параметризованных модулей и тайпклассов, только сишарповый оопе, так что да, это сишарп с человеческим лицом

> параметризованных модулей и тайпклассов Это факт (как и hkt). На сколько это нужно что бы написать веб сервис, вопрос открытый... Тайп-класссы в каком-то виде должны завести, наверное ближе к C# 9.0 (тк в него планируют что-то похоже).

ect"==typeof module.exp

ну, в f# нету современных средств организации кода вроде параметризованных модулей и тайпклассов, только сишарповый оопе, так что да, это сишарп с человеческим лицом

А расскажите что такое тайпклассы? Словно мне 5 лет

A64m

А расскажите что такое тайпклассы? Словно мне 5 лет

когда компилятор подставляет в неявный параметр функции рекорд с функциями, подходящий по типу

ect"==typeof module.exp

Тоесть типа как duck typing только для функций?

A64m

нет

Igor

когда компилятор подставляет в неявный параметр функции рекорд с функциями, подходящий по типу

А я тут кстати недавно узнал, что в Haskell нельзя в одном модуле у двух рекордов сделать поля с одинаковыми названиями. А вот в F# можно 😎

gsomix

А я тут кстати недавно узнал, что в Haskell нельзя в одном модуле у двух рекордов сделать поля с одинаковыми названиями. А вот в F# можно 😎

Расширение же.

A64m

"типа как дак тайпинг" это структурная типизация, когда какой-то существующий рекорд с функциями можно подставить в параметр, который способен его принять

A64m

тайпклассы, это когда какой набор функций привязать к какому типу надо явно декларировать

Hog

Это как пофиг какой на самом деле тип, но если у него есть определённый набор свойств, то можно впендюрить.

Igor

Расширение же.

Какие?

A64m

А я тут кстати недавно узнал, что в Haskell нельзя в одном модуле у двух рекордов сделать поля с одинаковыми названиями. А вот в F# можно 😎

можно (но было время, когда было нельзя, да)

Igor

можно (но было время, когда было нельзя, да)

А как сейчас можно?

A64m

DuplicateRecordFields

Hog

Звучит как эксепшон!

Igor

DuplicateRecordFields

А еще это & Что нельзя было сделать как у людей через |> ?

A64m

два символа для конвейерного комбинатора - это слишком много мусора же

Hog

А казачок-то - засланый!

Hog

два символа для конвейерного комбинатора - это слишком много мусора же

В юникоде есть символы нулевой ширины

Igor

два символа для конвейерного комбинатора - это слишком много мусора же

Igor

ну фиг знает, один или два, а зато смысл выражает (а еще есть красивая лигатура)

Igor

https://i.gyazo.com/c036910947e8515aa424f872698899b7.png Ну красота же

A64m

нет, конечно

Hog

Beauty is in the eye of the beholder.

Igor

Да он просто завидует (у них там сплошные . и $ )

Igor

Hog

нет, конечно

Это всё субъективно, но мне тоже пайпы нравятся!

Hog

|>(+)<|

Ayrat

|>(+)<|

Нормалин

A64m

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

Igor

Это всё субъективно, но мне тоже пайпы нравятся!

Да всем нравятся. Даже JS-ры C#-ты хотят их себе затащить (пропозалы пишут), а точки и долары никому не нужные, потому что они не стильные 🙅

Hog

Ща проверил :) у нас можно использовать zero width space в идентификаторах!

Hog

Это ж поле непаханое для обфускации!

Hog

Открываешь код :) а там все биндинги к х, y и z :))))

Андрей

Нидерландский лучше немецкого! :) (Один знаю второй нет)

Нидерландский для немцев звучит весело, что-то вроде белорусского, или как бобруйский диалект