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

Да, в статье про это написано.

(ну и это и так понятно, ага)

F# тоже хороший, но немножко про скрещивание ужа с ежом

Типа Scala, если писать чисто на нем все в шоколаде, но когда приходит интероп...

Кстати, а можно писать Windows-сервис без C# и разнообразных графических конструкторов?

Можно!

А как?

Типа Scala, если писать чисто на нем все в шоколаде, но когда приходит интероп...

Го в @kotlin_lang мы тебе раскидаем за 100%* интеропт с java

Во-первых, я делал вот такое на чистом фреймворке: https://github.com/ForNeVeR/Tracktor/blob/363a7eeb469a933e92b8cd1d8ae4355f3a197c71/Tracktor.Service/Program.fs#L33-L38 (см. реализацию сервиса https://github.com/ForNeVeR/Tracktor/blob/363a7eeb469a933e92b8cd1d8ae4355f3a197c71/Tracktor.Service/TracktorWindowsService.fs)

(там проект своих задач не выполняет совсем, но все запчасти рабочие, я их отлаживал)

(Ну про котлин я наверно погорячился, но там тоже не все гладко. Я писал на нем, знаю.)

А как?

...а во-вторых, посмотри на Topshelf.

Во-первых, я делал вот такое на чистом фреймворке: https://github.com/ForNeVeR/Tracktor/blob/363a7eeb469a933e92b8cd1d8ae4355f3a197c71/Tracktor.Service/Program.fs#L33-L38 (см. реализацию сервиса https://github.com/ForNeVeR/Tracktor/blob/363a7eeb469a933e92b8cd1d8ae4355f3a197c71/Tracktor.Service/TracktorWindowsService.fs)

Простите, там, правда, используется Unity-обвязка для WCF, потому что я тогда ничего другого не умел. Безусловно, можно и без Unity.

Я смотрел и до сих пор ничего не понимаю, а его фшарповая обвязка вообще без единого комментария

А там есть ещё и F#-обвязка? Интересно, чем она отличается от обычной.

Судя по коду только именами функций с маленькой буквы

Нашёл сэмпл: https://github.com/haf/Topshelf.FSharp/blob/master/src/Topshelf.FSharp.Example/Program.fs

Ну и там чуток побольше, чем просто переименование функций, но всё равно довольно просто всё. И комментариев с документацией и правда нет :) https://github.com/haf/Topshelf.FSharp/blob/master/src/Topshelf.FSharp/FSharpApi.fs

@DarkByte2016 Но про монады мы все равно можем позже пообщаться.

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

Это не оно? https://ghc.haskell.org/trac/ghc/wiki/MonadComprehensions

Это не оно? https://ghc.haskell.org/trac/ghc/wiki/MonadComprehensions

Очень похоже!

Хотя не, подожди. А кастомных методов туда не завезли?

Хотя я не уверен, обязательно ли это нужно.

Это не оно? https://ghc.haskell.org/trac/ghc/wiki/MonadComprehensions

Короче, читай статью Томаша, стр. 5 :)

Есть много разных классов кроме Monad (MonadError/MonadFail, MonadPlus, MonadArrow), в зависимости от использованных операторов требуются разные классы.

[спойлеры] > Haskell and its extensions support monad comprehensions [13] and “do” notation for monads, idiom brackets [14] for applicatives and arrows [16]. These are similar to computation expressions in that they are not tied to concrete computations. However, they differ syntactically – they add multiple new notations, while computation expressions add a uniform notation resembling standard language structures. Adding arrows to computation expressions is an open question.

Интересно, а где-нибудь кроме F# это есть?

Я нигде не встречал. Но, с другой стороны, если у тебя в языке есть do-нотация и monad comprehensions или аналог — то, может быть, именно такое расширение тебе не особо нужно. И потому их не добавляют.

Мне кажется я видел нечто подобное в Coq (Сорри, я не могу сейчас читать, только искать внешние сходства.)

Ну т.е. выразительность поверх монад можно и по-другому сделать. Дон сделал вот так, и, вроде, нормально получилось. В других языках делают по-другому, и тоже никто не жалуется.

Интересно, а те кто хочет монады, понимает зачем они их хотят или просто потому что у др они есть?))

Ну я вот тайпклассы хочу. И понимаю, зачем. Монад отдельно от тайпклассов — не хочу, спасибо :)

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

Ещё один вариант использования монад - это абстракция на фоннеймоновской архитектурой, в Haskell вроде cell называется в f# реализована как ref(хот яхт в f# это полноценная монада или нет)

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

This

Ну я вот тайпклассы хочу. И понимаю, зачем. Монад отдельно от тайпклассов — не хочу, спасибо :)

А я вот честно говоря уже и забыл зачем я хотел type class Вообще у меня был бзик по IO монаде, но после “болонхилл” я понял что pure functions лучше (а перефирия это фигня и можно там без IO). Помню еще в одном видео Эрик Майер говорил, что функ. программисты не любят монады, тк если в одном месте их добавить, то они расползаются по коду.

А я вот честно говоря уже и забыл зачем я хотел type class Вообще у меня был бзик по IO монаде, но после “болонхилл” я понял что pure functions лучше (а перефирия это фигня и можно там без IO). Помню еще в одном видео Эрик Майер говорил, что функ. программисты не любят монады, тк если в одном месте их добавить, то они расползаются по коду.

А я хочу тайпклассы, чтобы обобщённо писать примеры типа сегодняшнего min(max).

Ты ж понимаешь, что это просто пример такой удачный попался, что он просто реализуется на F#. А шаг влево-вправо — и он сломается. Например, если там вместо b - 1 было бы b - 500.

Есть мнение что для IO достаточно корекурсии, но насколько оно авторитетно я пока не могу оценить)

А я хочу тайпклассы, чтобы обобщённо писать примеры типа сегодняшнего min(max).

Я вот честно говоря использую F# исключительно для написания прикладных программ и не представляю где мне там пригодится твой пример.

А я даже пример показывал! :)

Ещё один вариант использования монад - это абстракция на фоннеймоновской архитектурой, в Haskell вроде cell называется в f# реализована как ref(хот яхт в f# это полноценная монада или нет)

(State)

А я даже пример показывал! :)

Я видел, но не понял как это помешает мне написать web сервер и xamarin forms клиента для сайта.

Я вот честно говоря использую F# исключительно для написания прикладных программ и не представляю где мне там пригодится твой пример.

Я хотел тайпкласс для вот этой функции: https://github.com/ForNeVeR/EvilPlanner/blob/dd44d11895b3d61b592fb4599117367ed57c2222/EvilPlanner.Logic/DatabaseExtensions.fs#L15-L33 Чтоб её можно было безболезненно расширять для любых новых типов, не трогая этот конкретный участок кода.

Это обычный, простой серверный код, без выпендрежа.

Можно написать библиотеку и нигде не указать конкретный тип для обработки ошибок

Хочешь в Either клади, хочешь в Maybe, хочешь ещё во что

Тоже верно.

Полиморфные константы опять же.

А вспомнил, я хотел тайп классы что бы отказаться от OOP интерфейсов/наследования/override/virtual methods и писать строго функциональный код как в haskell. Так что я тоже за type class (но не за монады).

Тут стоит вспомнить, что по заветам Сайма не чисто функциональным кодом единым жив F#. А, так сказать, прагматичной связкой ООП и ФП.

Для инженеров.

Недавно в слэке инженеров вспоминали, в разговоре о HKT.

Говорят, когда самолеты конструируют, то инженеры проводят сложные математические расчеты. А к программистам требования поменьше, и многие боятся современных математики и computer science.

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

(я тоже их боюсь)

Говорят, когда самолеты конструируют, то инженеры проводят сложные математические расчеты. А к программистам требования поменьше, и многие боятся современных математики и computer science.

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

Я про другое.

Инженеры очень мало используют современной математики.

У них вполне понятный набор абстракций.

Я про другое.

Ну я и про то что “ сложные математические расчеты… и computer science.” на самом деле нужен только готовый в библиотечках. А для практической разработки это не нужно. Ну да ок, это мое imho.

Под "современных математики и computer science" я имел в виду теории типов, категорий и прочу абстракную алгебру.

Это попытка сравнить то, что используют инженеры и программисты. Не конкретно, а по сути.

У программистов вполне понятные абстракции — это, например, функции, модули, ADT, параметрический полиморфизм. Этого даже много, но уровень абстракции не очень высокий. И на этом можно строить сложные программы.

У инженеров — это, наверное, трехмерное пространство, дифференцируемые функции, какие-нибудь сплайны, сетки для численных расчетов. Тоже ничего сложного, PhD не нужно для этого.

И на этом можно строить сложные расчеты.

ERROR: S client not available

У инженеров — это, наверное, трехмерное пространство, дифференцируемые функции, какие-нибудь сплайны, сетки для численных расчетов. Тоже ничего сложного, PhD не нужно для этого.

Не уверен (про всех), инженеры тоже люди с узкой специализацией. Хотя ладно, я не специалист рассуждать о таких материях)) Надеюсь только F# не станет языком, только для математиков.

@angmarr F# неинтересен с точки зрения современных CS и математики.

И не думаю, что станет.

Но и немного любви со стороны, например, C# программистов ему не помешало бы. :)

Ладно. Что-то меня не туда завернуло.

Может тут кто нибудь знает. При вызове Console.SetCurrentPosition(0, 0) выдает System.ArgumentOutOfRangeException: Value must be positive and below the buffer width.

Что в C# что в F#

Mono то везде один и тот же))

Может тут кто нибудь знает. При вызове Console.SetCurrentPosition(0, 0) выдает System.ArgumentOutOfRangeException: Value must be positive and below the buffer width.

А на core clr?

А на core clr?

что это?

.NET Core?

У меня арч. Тут он не работает.

@DarkByte2016 SetCursorPosition?

@DarkByte2016 SetCursorPosition?

что?

@DarkByte2016 У тебя названии метода нет опечатки?

@DarkByte2016 У тебя названии метода нет опечатки?

нет)))

пардон Console.SetCursorPosition

ну не суть

У меня арч. Тут он не работает.

Я честно говоря не думаю что это совпадение) .NET не любит арч Ищи багрепорты на багтрекере mono

Я честно говоря не думаю что это совпадение) .NET не любит арч Ищи багрепорты на багтрекере mono

походу нашел ? http://lists.ximian.com/pipermail/mono-bugs/2009-August/091182.html

че-то баг от 2009 года и до сих пор не исправлен

печалька

@DarkByte2016 Этот баг починили.

@DarkByte2016 Этот баг починили.

Как же он у меня воспроизводится тогда?))

Видимо, проблема в чем-то другом.

Вау! Кажется до меня дошло!!! Проблема была в том что я запускал код из Rider. А там своя консоль. Видимо там эта штука не пашет. А вот из обычной консоли запустил и никаких ошибок - курсор переместился! ?

Отлично.

@DarkByte2016 Заодно чекни BufferWidth/BufferHeight в Rider.

Как же он у меня воспроизводится тогда?))

Скинь, код я на маке проверю

Скинь, код я на маке проверю

Console.SetCursorPosition(0, 0)

https://blog.jetbrains.com/dotnet/2017/05/08/rider-is-now-also-an-fsharp-ide-adding-fsharp-support/

А кто-нибудь дебажил xunit?