обычно файлики небольшие, bind для List не используется. нужно тебе нескольк своих bind сделай »= >=> =» >-

обычно файлики небольшие, bind для List не используется. нужно тебе нескольк своих bind сделай »= >=> =» >-

Это не смешно. Так и получают васянскую нечитаемую монадическую нотацию

есть читаемая. Для OPtion обычно он не нужна там где нужна можно описать »= локально

шэдоуинг никто не отменял

есть читаемая. Для OPtion обычно он не нужна там где нужна можно описать »= локально

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

@GnuFreedom Еще раз повторю, в fslang-suggestions.

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

Уважаемый в 10 раз повторю посмотрите на monadic expresions

Ну, и со всеми другими вопросами уровня "почему F# не хаскель".

@GnuFreedom Еще раз повторю, в fslang-suggestions.

По опыту знаю - обычно это бесполезно

@GnuFreedom Здесь это еще более бесполезно обсуждать.

На этом предлагаю закрыть тему.

Хочется поныть о дизайне языка -- в твиттер.

@GnuFreedom Здесь это еще более бесполезно обсуждать.

Не, тут можно поплакать о насущных проблемах, отвести душу. Так что точно не безполезно

Уважаемый в 10 раз повторю посмотрите на monadic expresions

Computation expressions вы хотели сказать?

Ну так это только инструмент для их создания

Ну так это только инструмент для их создания

нет

нет

Что нет? Тогда какая это монада?

https://www.youtube.com/watch?v=dMAeX0MCQmI

Что нет? Тогда какая это монада?

Это стандартный синтаксис для работы с монадами, называй это do нотацией если хочешь. Option - монада, но в ее реализации нет монадических выражений.

Что нет? Тогда какая это монада?

Я не говорил что монадические выражения это монада. В целом вместо таких срачей лушче почитать msdn сразу станет понятно. Третий раз уже отправляю туда.

Шо, опять религиозные войны?

О какой популяризации языка F# может идти речь если в такой маленькой комьюнити столько споров о языке )

Шо, опять религиозные войны?

Нет. Тут monadic expression называют средством для создания монад. И сожалеют о том что нет стандартного синтаксиса использования монад. И это забавно)

О какой популяризации языка F# может идти речь если в такой маленькой комьюнити столько споров о языке )

Это не споры, это ликбез)

Забей, Сеня (с)

@SherievAkhmed Да нет споров, у F# есть BDFL, все остальное просто жалобы на его видение развития языка.

Что такое BDFL?

В стандартную библиотеку чего-то не завезли, тайпклассы не сделали, где мои макросы...

@fvnever Великодушный пожизненный диктатор

Дон Сайм?

Ага.

В стандартную библиотеку чего-то не завезли, тайпклассы не сделали, где мои макросы...

:D

В стандартную библиотеку чего-то не завезли, тайпклассы не сделали, где мои макросы...

твои вижу, а мои где?

А файлы сигнатур нужны только для ООП? Иди как-то применимо в ФП?

А файлы сигнатур нужны только для ООП? Иди как-то применимо в ФП?

честно, ни разу ими не пользовался.

В теории, они позволяют более чисто описывать контракты данных

Которые библиотека выставляет наружу

На практике хз

Ясно, спасибо

@Dolfik Ради интереса можно почитать про модули в OCaml, там сигнатуры большую роль играют.

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

@Dolfik Ради интереса можно почитать про модули в OCaml, там сигнатуры большую роль играют.

Это конечно всё безумно интересно, но мне бы для начала в F# разобраться

Ну и подставлять тот или иной модуль в качестве реализации сигнатуры.

@fvnever И функторы!

Кстати знает кто легкие (уровня c# программиста) видео по теор. категорий? Типа таких "Category Theory": http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

https://twitter.com/tomaspetricek/status/852518386160500736

Томаш крутой.

https://skillsmatter.com/conferences/8053-f-sharp-exchange-2017#program и правда дико полезно.

https://skillsmatter.com/conferences/8053-f-sharp-exchange-2017#program и правда дико полезно.

А там выдосики то есть?

Нажимаю "Watch now!" и ничего не проиходит.

Есть.

Нужно только зарегистрироваться.

Нужно только зарегистрироваться.

А на youtube их не выкладывают?

можно немнокш переделать тайппровадеры и они заработают. https://github.com/jfrijters/Managed.Reflection

распаковывайте ваши коммитилки господа

ну можно положняк

смотрящий F#

блатные - C++

мужики - C#, Java

Чуханы - PHP

Простите)

можно немнокш переделать тайппровадеры и они заработают. https://github.com/jfrijters/Managed.Reflection

Кстати, для работы type provider реально нужна рефлексия?

Кстати, для работы type provider реально нужна рефлексия?

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

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

Мне кажется ТП вообще как-то ортогональны нормальному фун. программированию (что-то типа кодогенерации в C#) Хотя я конечно вкатился в F# с coreclr и никогда не видил ТП в живую.

Мне кажется ТП вообще как-то ортогональны нормальному фун. программированию (что-то типа кодогенерации в C#) Хотя я конечно вкатился в F# с coreclr и никогда не видил ТП в живую.

да, но это оч удобно особенно для исследования данных.

да, но это оч удобно особенно для исследования данных.

Вот, просто бинго. Я НЕ касаюсь data-sience никоем образом.

Вот, просто бинго. Я НЕ касаюсь data-sience никоем образом.

таких тп просто больше. видел тайппровайдеры к COM объектам. К HDFS WSDL, json-api, csv, RDBMS, swagger. Все они удобны и для разработки

Там одна проблема - они компайл тайма.

Т.е. динамический тп не напишешь

Т.е. динамический тп не напишешь

А зачем динамический ТП? Там же основная фишка в кодкомплит.

Ну, например, написать провайдера к произвольному wsdl

Или odata

Ну, например, написать провайдера к произвольному wsdl

Да, если что-то измнится, то все упадет.

вышел релиз akka.net https://github.com/akkadotnet/akka.net/releases/tag/v1.2

Кстати знает кто легкие (уровня c# программиста) видео по теор. категорий? Типа таких "Category Theory": http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Есть ещё курс лекций Брагилевского: https://vk.com/mmcs_math (видео на тытрубе, задачки с практики во вконтаче)

@neftedollar @angmarr http://fsprojects.github.io/SwaggerProvider/

Пример провайдера не для дейтасаенса. :)

Ну, и всякие провайдеры для SQL.

И еще RegexProvider!

Кстати, для работы type provider реально нужна рефлексия?

Нужен Emit для тайппровайдеров, которые код генерируют.

Нужен Emit для тайппровайдеров, которые код генерируют.

В целом,тут бы рослин помог

@angmarr Когда сами провайдеры пишешь, то нужны ProvidedTypes.fs, в котором куча бойлерплейта запрятана, quotations и рефлексия на уровне typeof и FSharpType.

Есть ещё курс лекций Брагилевского: https://vk.com/mmcs_math (видео на тытрубе, задачки с практики во вконтаче)

@the_RAMZAY, тебе это может показаться интересным, кстати. ↑

О, аригато!

@fvnever А мне?

@gsomix а ты есть во втентаклике?

@fvnever А мне?

Я не припомню, чтобы ты интересовался теоркатом. К тому же, тебя видно в чате, и поэтому ты моё сообщение наверняка и так прочитал :)

@the_RAMZAY Да. Меня везде можно найти по никнейму.

@gsomix сейчас кину инвайт во френдлист ^^

/me почистил стенку на всякий случай.

@gsomix более того, я вообще не берусь тебе что-то такое советовать. В тех областях, которыми ты интересуешься, ты и так разбираешься гораздо лучше меня.

@fvnever Ладно, ладно. Ты слишком серьезный. :)

Знакомая фамилия

бывает

а ты из перми?