Ну некоторые вещи в Фшарпе посложнее объяснить будет. В частности, всякие там монады, функторы и т.п.

Я хочу простой курс. С кодом в духе старого-доброго ML.

Ну некоторые вещи в Фшарпе посложнее объяснить будет. В частности, всякие там монады, функторы и т.п.

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

но фп легче процедурного программирования

Мне нравится .NET Core, небольшой кроссплатформенный рантайм, CLI тулзы.

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

А так и сам до сих пор не пробовал Core

Ну, в принципе, если будут инструменты для разработки рабочие, в частности, VS, то вполне себе.

ну так никто не мешает бахать тебе на винде в vs и деплоить это все в docker

вроде это так все планировалось

лол в F# нет тайпклассов?

Гайс, а лайтовый веб на фшарпе с каким фреймворком пишут обычно? Suave, nancy?

лол в F# нет тайпклассов?

Ага

лол в F# нет тайпклассов?

Нету.

а что вместо них использвать, если например хочешь (эндо)функтор сделать?

По-моему, это самая "скандальная" тема.

но фп легче процедурного программирования

что такое монады? что такое зависимые типы? (можем продолжить в @dotnet_chat, чтобы не офтопить здесь)

что такое монады? что такое зависимые типы? (можем продолжить в @dotnet_chat, чтобы не офтопить здесь)

монада это контейнер с композицией и identity

зависимые типы это типы которые образовываются зависимо от определенного значения параметра

ты просто привык к процедурному программированию и тебе оно кажется проще

Давайте этот разговор перенесем в другое место.

Как ни старайся, но эта тема всё равно регулярно поднимается.)

Гайс, а лайтовый веб на фшарпе с каким фреймворком пишут обычно? Suave, nancy?

Гайс, а лайтовый веб на фшарпе с каким фреймворком пишут обычно? Suave, nancy?

Да, Suave.

Но он медленный. :)

Ну бота для телеграмма ведь подержать сможет?)

Я, кстати, привык что обычно лайтовые фреймворки быстрее своих старших собратьев

Ну бота для телеграмма ведь подержать сможет?)

Конечно. Можешь @angmarr спросить.

Есть еще https://github.com/dustinmoris/Giraffe , интерфейс как у суавы, но работает на kestrel и .net core.

а suave разве не на kesterl?

Давайте этот разговор перенесем в другое место.

ну оно про фп же

Ну бота для телеграмма ведь подержать сможет?)

А зачем для бота веб фреймворк?

а что вместо них использвать, если например хочешь (эндо)функтор сделать?

Ну, если у тебя нет какого-то средства обобщения, то ты пишешь конкретные реализации.

а suave разве не на kesterl?

Как один из вариантов, вроде.

У суавы есть своя реализация хттп сервера, но вроде есть какой-то недоделанный порт на кестреле

А, даже недоделанный?

Ну, если у тебя нет какого-то средства обобщения, то ты пишешь конкретные реализации.

а полиморфизм как работает тогда?

А зачем для бота веб фреймворк?

маленький сайтик и бот рядом как дополнительный клиент

ну оно про фп же

Я не думаю, что ФП евангелизм здесь уместен :)

Я не думаю, что ФП евангелизм здесь уместен :)

завтипы не относятся к фп

лол

а полиморфизм как работает тогда?

Какой? Параметрический и subtyping как везде работают, есть простой ad hoc полиморфизм -- через duck typing.

Какой? Параметрический и subtyping как везде работают, есть простой ad hoc полиморфизм -- через duck typing.

если ты про ограничения на inline функциях, то это же не duck typing, a скорее structural.

Я не думаю, что ФП евангелизм здесь уместен :)

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

если ты про ограничения на inline функциях, то это же не duck typing, a скорее structural.

Да, про них. А в чем разница? Я в терминологии не силен.

завтипы не относятся к фп

Да. Для них есть отдельный чат.

Какой? Параметрический и subtyping как везде работают, есть простой ad hoc полиморфизм -- через duck typing.

интерейсы?

ну duck скорее про динамические языки и проверку в рантайме, у нас все же проверка есть в компайл тайме

ну duck скорее про динамические языки и проверку в рантайме, у нас все же проверка есть в компайл тайме

Понял.

интерейсы?

По наличию методов и свойств.

Ребята @dotnet_chat простаиваете (я чую они давно соскучились по f#/фп дисскусиям)

Кстати может кто не в курсе, есть рус. подкаст по ФП https://itunes.apple.com/ru/podcast/%D0%B1%D0%B0%D0%BD%D0%B0%D0%BD%D1%8B-%D0%B8-%D0%BB%D0%B8%D0%BD%D0%B7%D1%8B/id1037879859?l=en&mt=2 https://bananasandlenses.net/

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

Мне только одна ветка разговора не нравится. Про то, что что-то проще чего-то.

Все сложно и непонятно. :)

А так и сам до сих пор не пробовал Core

Сейчас уже можно пробовать. Но нормальная поддержка есть только со стороны VSCode+Ionide.

Совсем недавно починили поддержку netstandrad2.0

Только сегодня утром проверял.

Видели? https://github.com/fsprojects/Paket/pull/2638 По идее скоро paket не будет в каждый проект накачить все зависимости локально.

О, это круто

Уже готово? Отлично!

А то, помню, ставишь FsLab — и папка с проектом весит под 200-300 Мб

В .NET Core папка packages может быть нужна исключительно для совместимости.

А REPL пока и так не работает. :)

Сейчас уже можно пробовать. Но нормальная поддержка есть только со стороны VSCode+Ionide.

Это хорошо. Но, думаю, попробую, когда поддержку VS сделают. Всё равно пока нет необходимости.

Вы же читали о планах расширить директивы в скриптах, чтобы можно было сразу ссылаться на пакеты?

А где все зависимости будут храниться, если не в проекте?

А где все зависимости будут храниться, если не в проекте?

В кэше нугета.

В т.ч. разные версии одного и того же пакета?

Да.

Вы же читали о планах расширить директивы в скриптах, чтобы можно было сразу ссылаться на пакеты?

Да, классная идея

Ещё бы автокомплит туда — и почти идеально будет.

Гайс, а лайтовый веб на фшарпе с каким фреймворком пишут обычно? Suave, nancy?

Freya!

Giraffe ещё есть

Это какой-то очень долго выжидающий бот

Это какой-то очень долго выжидающий бот

Похоже он убил их

?

Фридрих спас мир

Чо было то?

Ничего особенного, спамобот.

Они теперь какую-то странную тактику выбрали

Долго выжидать и атаковать в самый неожиданный момент

Чо было то?

Лично ты можешь почитать удалённые сообщения где-то в отдельной вкладке в телеге (у меня это называется Recent Actions).

Долго выжидать и атаковать в самый неожиданный момент

А нам без разницы. Мы агримся не на заходы пользователей, а на сообщения. И всё читаем.

Поэтому у нас тут спам не проскочит.

лол, в своем чате простого бота сделал - если чувак заходит и первым сообщением шлет ссылку, или контакт, или forward сообщения, сразу в бан улетает

жизнь проще становится

Сейчас боты научились сначала говорить "привет" и через 10-30 минут кидать ссылку

таких ситуаций пока не было :)

лол, в своем чате простого бота сделал - если чувак заходит и первым сообщением шлет ссылку, или контакт, или forward сообщения, сразу в бан улетает

Слишком жёстко. Человек может прийти из другого чата, и принести с собой форвард своего вопроса оттуда. Такое бывает, я много таких видел. Это всё добрые люди.

ну я все равно мониторю че он там удаляет

просто были такие случаи

лол, в своем чате простого бота сделал - если чувак заходит и первым сообщением шлет ссылку, или контакт, или forward сообщения, сразу в бан улетает

в бигдате есть такой бот

по итогу он трет не флуд\спам, а людей

Это очень неприветливо, вот что. Будет нагнетать обстановку, а у нас тут нагнетать не нужно. У нас доброе комьюнити.

Привет

лол, в своем чате простого бота сделал - если чувак заходит и первым сообщением шлет ссылку, или контакт, или forward сообщения, сразу в бан улетает

а если ссылка на github gist или другой подобный сервис?