И бкз nullreference, pls

В Go NRE может же быть

А ты глянь там секцию Limitations. Похоже, что оно не может скомпилять в LLVM методы, которые содержать try / catch?

Вроде try/catch пофиксили

https://bugzilla.xamarin.com/show_bug.cgi?id=37273

let printUpdate = Option.bind (fun x -> printfn "%A" x.Text)

В чём косяк?

Ругается на "%A" x.Text Type mismatch. Expecting a 'a -> 'b option but given a 'a -> unit The type ''a option' does not match the type 'unit'

Логично

блин, вот и пиши после этого не в студии

let printUpdate = Option.bind (fun x -> printfn "%A" x.Text)

замени на let printUpdate x = match x with | Some(x) -> printfn "%s" x.Text | _ -> ()

Да, это работает

Можно красивее. Но без студии не вспомню)

Немного расплывчатый вопрос, но скажите хоть куда смотреть: А можно в F# передавать в функции неявные (implicit) параметры или как-то говорить что она исполняется в каком-то контексте?

Немного расплывчатый вопрос, но скажите хоть куда смотреть: А можно в F# передавать в функции неявные (implicit) параметры или как-то говорить что она исполняется в каком-то контексте?

Подробностей? Псевдоскод?

Кстати звонки в телеграмме врубили.

Немного расплывчатый вопрос, но скажите хоть куда смотреть: А можно в F# передавать в функции неявные (implicit) параметры или как-то говорить что она исполняется в каком-то контексте?

Nit

Ну типа implicit в Scala или this в extension-lambda в Kotlin (говорит о чем-то?)

Ну типа implicit в Scala или this в extension-lambda в Kotlin (говорит о чем-то?)

Нет)

let implicit func a = a+a

По моему валидно

Вот чувак задает похожий вопрос https://fslang.uservoice.com/forums/245727-f-language/suggestions/5810569-add-support-for-implicit-parameters

let implicit func a = a+a

Не. Там другой кейворд

Не. Там другой кейворд

ты про inline?

точно

а нет

Вопрос вроде поднимали уже, но напомните как в F# живут без type class?

тут проскальзывало уже. Пиво выиграл кто-то)

легко)

а нет

точно inline

легко)

Это понятно, в Java и С# тоже не жалуются. Но интересно как эмулируют, если очень хочется?

let inline (»=) a = a + a;; val inline ( »= ) : a: ^a -> ^b when ^a : (static member ( + ) : ^a * ^a -> ^b) так не подходит?

Есть некий https://github.com/gusty/FSharpPlus

но он не добавляет type classes

http://cloudsharper.com давно ребята пишутся

Это понятно, в Java и С# тоже не жалуются. Но интересно как эмулируют, если очень хочется?

Думаю комбинацией экстеншн методов и inline

Думаю комбинацией экстеншн методов и inline

ok

@angmarr А что ты хочешь сделать?

Полноценных тайпклассов не получить, но часть задач, где нужен просто ad hoc полиморфизм, можно решить через inline/SRTP.

Ну, как это делают в FSharpPlus.

Полноценных тайпклассов не получить, но часть задач, где нужен просто ad hoc полиморфизм, можно решить через inline/SRTP.

SRTP?

Statically Resolved Type Parameters

https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/statically-resolved-type-parameters

Secure Real-time Transport Protocol

:)

https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/statically-resolved-type-parameters

Ого, я не знал об этой штуке

т.е. можно много чего сделать, правда

@angmarr @neftedollar Вот пост чувака, который FSharpPlus пилит. http://nut-cracker.azurewebsites.net/blog/2011/11/15/typeclasses-for-fsharp/

Может будет полезно.

https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/statically-resolved-type-parameters

а как ее правильно в констрейнтах использовать?

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

@angmarr А что ты хочешь сделать?

Я хочу писать функции, которые исполняются в каком-то контексте (окружение). Сейчас контекст приходится явно передавать из функции в функцию, через параметр. Вот М.Одерский (автор Scala) говорит о похожей проблеме в компиляторе - https://youtu.be/iobC5yGRWoo?t=36m3s У него Context передается как параметр в 2641 функцию. У меня кода меньше, но повторение (/копипаста/бойлерплейт) надоело ?

@angmarr Ну, тогда классы и методы.

@angmarr Ну, тогда классы и методы.

Это мне нужен будет класс Context с 100 методов. Да и если бы мне нужны были классы, я бы на C# остался.

@angmarr Классы -- это вполне идиоматичный F#.

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

https://eiriktsarpalis.wordpress.com/2017/03/20/why-oo-matters-in-f/

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

Раскидывается.

Странно, не вижу в VS Add Folder

@angmarr Ну, и тебе нужен будет не один класс Context, а набор классов, параметризуемых контекстом.

https://eiriktsarpalis.wordpress.com/2017/03/20/why-oo-matters-in-f/

Я бы сказал, в F# "OO matters" только потому что в нем нет type class, на да ладно.

Это мне нужен будет класс Context с 100 методов. Да и если бы мне нужны были классы, я бы на C# остался.

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

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

А что это меняет?

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

или завернуть в какую-нибудь ридер-монаду

или как правильно пишут, можно сделать класс и в него нафигачить методов

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

или завернуть в какую-нибудь ридер-монаду

Вот я тоже склоняюсь к риадер монаде

с точки зрения системы типов F# ничего сильно интересного не может. тот же окалм мощнее. фишарп - это типо просто и практично

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

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

Грэм является автором так называемого «Парадокса Блаба» («Blub paradox»), ссылки на который нередко встречаются на тематических ресурсах, посвящённых обсуждению новых и ограниченно популярных языков и механизмов программирования. «Парадокс Блаба» описан в очерке «Побеждая посредственность». Его сущность состоит в том, что программист, знающий некоторый язык («Блаб»), «думает на Блабе» — выражает решение любой задачи в средствах Блаба, а имеющиеся в более мощном языке дополнительные средства в его глазах ничего не стоят, так как он не умеет их применять. Только когда программист по каким-то внешним, дополнительным причинам изучит более мощный язык, он получит возможность смотреть на Блаб «сверху вниз» и увидит его ограниченность. Таким образом, ограниченность Блаба сама по себе не может стать стимулом для изучения более мощного языка, так как для осознания этой ограниченности необходимо уже знать такой язык. Этим Грэм объясняет то, что программисты обычно не желают изучать более эффективные инструменты программирования, чем те, которыми они уже владеют (в частности, непопулярность Лиспа).

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

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

Сохранил. Спасибо)

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

Подходит и при споре о введении фич в язык, кстати

лел. мысли синхронны https://twitter.com/backendsecret/status/847557264802185217

У нас в EPAM в СПб бывают проекты на F#.

Я могу у коллеги узнать. Знаю только, что для международной фарма компании. Целенаправленно не набираем с F#. Ребята, которые писали на F#, были web full-stack с опытом на F#. А тут проект такой зашёл, где было актуально.

@Dolfik Какую версию VS используешь?

@Dolfik https://github.com/Microsoft/visualfsharp/pull/2692

В 2017 над этим еще работают.

@Dolfik Какую версию VS используешь?

2015

@Dolfik VF# Power Tools установлен?

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

Для 2017 я так понял пока вообще нет возможности создавать папки, ибо эти тулзы только в 2015 работают

@Dolfik В 2017 все сложно. Там переезжают на roslyn-project-system.

Но со временем поддержка F# там будет лучше, чем в 2015+VFPowerTools.

F# сообщество опять штормит в твиттере. :)

Чо там?

Непонимание сути OSS как обычно. :)

Бывает,чо

@gsomix линки на штормящее сообщеество

https://twitter.com/alfonsogcnunez/status/847405212755124224

Интересно, почему F# Foundation в GSoC не участвуют?

Надо в слаке спросить как-нибудь.

Окей. У FSF есть планы по участию в GSoC.