Всегда бесило такое поведение

на F# прям красота надо запостить в примеры кода

Оно вполне понятное, тут вам на C++!

Не JS ?

В тайпскрипте, например, вопрос типизации такого выражения не стоит, потому что числовой тип только один :(

Оно вполне понятное, тут вам на C++!

угу но тем не менее в стандартную либу обходные пути, чтоб можно было делать такие методы

а если бы ещё запелили что-то типа where T : int or double or float

угу но тем не менее в стандартную либу обходные пути, чтоб можно было делать такие методы

Есть разговоры про тайпклассы в C#. Тогда это будет работать.

У меня была мысль обрисовать ситуацию с помощью тайпклассов, но я решил наших C#-друзей не пугать этими раздутыми (пока) определениями :)

Дети, а вот это лямбда-2!

Вот реализация на "тайпклассах" (в такой код бы развернулся тайпкласс из имеющегося пропозала на тайпклассы в C#): https://hastebin.com/ujatihazus.cs Обратите внимание на трюк с new TypeClass(), который возможен благодаря struct constraint.

Тайпклассы — это то, что появится сначала в C#, а только потом в F#.

Тайпклассы — это то, что появится сначала в C#, а только потом в F#.

?

Вот реализация на "тайпклассах" (в такой код бы развернулся тайпкласс из имеющегося пропозала на тайпклассы в C#): https://hastebin.com/ujatihazus.cs Обратите внимание на трюк с new TypeClass(), который возможен благодаря struct constraint.

Странная реализация, имхо лучше вместо min/max сделать less/more (из них можно сделать min/max) Это же вроде называется “упорядоченная полугруппа”

Ну, я тут конкретную задачу решал. Если нужно было бы ещё более обобщённое решение, и у меня были бы стандартные тайпклассы, то можно было бы сделать и поизящнее.

На F# можно ботов для телеграма писать?

На F# можно ботов для телеграма писать?

Уже четвёртый за последнюю пару дней! :) Да, можно, народ из этого чата пишет.

Уже четвёртый за последнюю пару дней! :) Да, можно, народ из этого чата пишет.

На чем именно? Какие либы для этого есть? Понятно что на любом языке можно гольными запросами херачить, но меня интересуют конкретные библиотеки-обертки над апи.

На чем именно? Какие либы для этого есть? Понятно что на любом языке можно гольными запросами херачить, но меня интересуют конкретные библиотеки-обертки над апи.

Все либы для .NET работают с F#.

@Dolfik эфшарповую либу для этих целей писал, не знаю, дописал или нет.

@Dolfik эфшарповую либу для этих целей писал, не знаю, дописал или нет.

Пишу, там наверное ещё ничего не работает :D

Времени совсем нет, вчера вечером только вернулся домой, дел куча :)

Но PR приветствуются)

Но PR приветствуются)

Ссылку-то дай на репозиторий!

https://github.com/Dolfik1/Funogram

Вот это работает? Хз? https://github.com/monad/TeleFone

Чёт не по понятиям сделано: DLL залиты в репу, мейкфайл, ридми нету...

↑

Это в прошлом месяце было уже :)

Вот это работает? Хз? https://github.com/monad/TeleFone

Там методов толком нет

Имхо эти все либы от лукавова, есть же интеропт ? (и проработанные C# либы)

getUpdates, и то не со всеми аргументами, и sendMessage

И тоже не со всеми аргументами)

Плюс не будет работать на .Net Core

Плюс не будет работать на .Net Core

Кстати насчет DSL и option параметров. Можешь посмотреть на апи которое предоставляет Fable для React(Native). Там очень “интересный” подход со списками и фабриками параметров. Кода наверное будет очень много, зато расширяемость на высоте. Можно хоть 100 новых опциональных параметров добавить к запросу.

Кстати насчет DSL и option параметров. Можешь посмотреть на апи которое предоставляет Fable для React(Native). Там очень “интересный” подход со списками и фабриками параметров. Кода наверное будет очень много, зато расширяемость на высоте. Можно хоть 100 новых опциональных параметров добавить к запросу.

Ок, спасибо)

никак не врубаюсь для чего нужны монады(

что бы мухлевать с эффектами

что бы мухлевать с эффектами

что? какими эффектами? о_О

что? какими эффектами? о_О

Имеется в виду понятие "эффектов" из некоторых развитых систем типов. Там под эффектами обычно понимают всякие интересные взаимодействия — ввод-вывод, например.

разными - исключениями, вводом-выводом, логами, изменяемым состоянием, недетерминированными вычислениями

никак не врубаюсь для чего нужны монады(

Тут доходчиво объясняется https://youtu.be/PlFgKV0ZXoE (хотя лучше смотреть весь плейлист сначала)

никак не врубаюсь для чего нужны монады(

Вообще говоря, монада — это способ абстракции некоторых видов вычислений. Точно такой же способ, как, например, цикл.

Тут доходчиво объясняется https://youtu.be/PlFgKV0ZXoE (хотя лучше смотреть весь плейлист сначала)

нееее... только не хаскел...

Про цикл же всё понятно, правда? И никто не делает из циклов какого-то культа.

я до сих пор не знаю что это такое, но пользуюсь

нееее... только не хаскел...

Ну не знаю, так в чате бессмысленно объяснять. Ты либо ничего не поймёшь или поймёшь неправильно. А в виде целый час расжевывается на простых примерах.

Вообще говоря, монада — это способ абстракции некоторых видов вычислений. Точно такой же способ, как, например, цикл.

просто вот например говорят что типа монада MayBe избавляет от проверок на null, но ведь не правда же... они просто заменяются на проверки типа HasValue

просто вот например говорят что типа монада MayBe избавляет от проверок на null, но ведь не правда же... они просто заменяются на проверки типа HasValue

А циклы избавляют от условного goto!

null это такой очень грязный вариант Maybe

В смысле, ну правда, избавляют же.

Хотя он там под капотом и остаётся.

Я тут кстати пытаются всосать "свободные монады" (free monads). Есть у кого опыт?

а исключения в C#/Java это такой странный вариант типов-сумм

писать a.HasValue длиннее чем a != null

Так никто не пишет

Так никто не пишет

Я и так, и эдак пишу, по настроению :)

@DarkByte2016 Ты путаешь контейнер и монаду.

нееее... только не хаскел...

Ты в чатике ЭфШарпа не хочешь слышать про Хаскель?

Ты в чатике ЭфШарпа не хочешь слышать про Хаскель?

ну, это же чатик не про хаскел верно?

Ну, в данном случае ссылка и правда совершенно уместная. Лекции Бартоша — хорошие, даже если ты не знаешь хаскеля.

ну, это же чатик не про хаскел верно?

Как будто очень много различий.

Монады по крайней мере и там и там есть.

Ха, не совсем!

Хм?

@DarkByte2016 Я могу попробовать объяснить, когда здесь потише будет. :)

В F# есть куда более прагматичная штука — computation expressions. Они позволяют в числе прочего реализовать и монады.

ERROR: S client not available

А что в хаскеле непрагматичного?

Как будто очень много различий.

Дохера. У хаскела вырвиглазный синтаксис это раз, его нигде на практике не используют, а соответственно нет смысла его учить это два, F# работает на платформе .NET это еще один плюс в его карму.

Но Дон специально нигде про монады не говорит, потому что это слишком расплывчатое понятие, и он не хотел им пугать новичков.

А что в хаскеле непрагматичного?

Я хочу с помощью монады сделать await. Как?

@DarkByte2016 Слушай, мы тут не любим субъективную критику. :(

С помощью computation expression сходу понятно, как. Реализуешь метод await, и всё.

А для монады нужно ещё что-то думать!

Вот когда _думать_ — это непрагматично.

(хотя и полезно, и хаскель хороший, я его не критикую, не подумайте)

Afaik просто оборачиваешь все что нужно в Async и все

@DarkByte2016 У Haskell нормальный синтаксис, его используют, в том числе и в больших компаниях.

Но это чат не про Haskell.

Все верно.

Да, я уже начал скатываться в холивор. Сматываю удочки!

Дохера. У хаскела вырвиглазный синтаксис это раз, его нигде на практике не используют, а соответственно нет смысла его учить это два, F# работает на платформе .NET это еще один плюс в его карму.

Вырвиглазный синтаксис?

Ты разжечь что ли решил?

Обычный окамл

Дохера. У хаскела вырвиглазный синтаксис это раз, его нигде на практике не используют, а соответственно нет смысла его учить это два, F# работает на платформе .NET это еще один плюс в его карму.

Ну в Касперском его активно юзают

Про прагматичность computation expressions и сравнение с монадами мне кто-то недавно показывал вот этот папер: http://tomasp.net/academic/papers/computation-zoo/ Предлагаю всем интересующимся ознакомиться, а потом продолжим разговор.

@DarkByte2016 приходи посмотреть на живых хаскелистов)) https://gitter.im/ruHaskell/forall

@DarkByte2016 У Haskell нормальный синтаксис, его используют, в том числе и в больших компаниях.

У хаскель просто чудовищный синтаксис и никто в мире не убедит меня в обратном. От одного взгляда на код на хаскеле в дрожь бросает. И да, его реально нигде не юзают. От слова совсем. Ни одной вакансии не найти в интернете по нему. Зачем учить язык по которому нельзя найти работу? Все равно любые языки без практики забываются за пару недель.

@DarkByte2016 приходи посмотреть на живых хаскелистов)) https://gitter.im/ruHaskell/forall

Еще тут Haskell @haskellru

@DarkByte2016 Пожалуйста, не разжигай тут.

Мы твое мнение с первого раза поняли.

Да. Господа, пожалуйста, обсуждение хаскелевакансий перенесите в другой чат.

У хаскель просто чудовищный синтаксис и никто в мире не убедит меня в обратном. От одного взгляда на код на хаскеле в дрожь бросает. И да, его реально нигде не юзают. От слова совсем. Ни одной вакансии не найти в интернете по нему. Зачем учить язык по которому нельзя найти работу? Все равно любые языки без практики забываются за пару недель.

Админ забань троля

Да, давай один на один в лс если не зассал!

))

Да, давай один на один в лс если не зассал!

?

Оч жирно

Из монитора прям хлещет

@fvnever А еще на CE можно немонадические штуки делать. Как в Freya. :)