все вернулось на круги своя.

Эх!

кстати, хочет кто постить в f# канал всякие интересности?

Эх!

Вот. вы уважаемый, например за твиттером следите, а там много фшарпоновостей

@neftedollar Без проблем. А что, есть такой канал?

https://t.me/F_Sharp

@neftedollar Без проблем. А что, есть такой канал?

вступай) Я добавлю в администраторы

@neftedollar Вступил.

готово

combot.org/chat/-1001116883766

Чуваки, а есть кто юзает FAKE?

Меня периодически очень печалит, что FAKE не умеет пересобирать артефакты по мере надобности (как это делает make, например).

Меня периодически очень печалит, что FAKE не умеет пересобирать артефакты по мере надобности (как это делает make, например).

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

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

Да нет, вопрос вполне нормальный. Я просто не знаю, как это одним словом назвать. Обычный make написан так, чтобы не пересобирать объектник, если не изменился соответствующий исходник. Например, если у тебя make производит *.obj из *.c, то конкретный файл xxx.obj будет изменён только если поменялся xxx.c или какая-то из зависимостей.

FAKE этого не умеет, потому что основную логику инкрементальной сборки отдаёт на откуп в msbuild.

Но мне чаще всего хочется прикрутить FAKE туда, где для msbuild тасков не написано. LaTeX там какой-нибудь собрать или ещё чего.

А понял. Ты можешь сам написать чтоб он собирал только то что нужно, но тут правда придется попотеть. Обычно он собирает все что ты ему скажешь

А понял. Ты можешь сам написать чтоб он собирал только то что нужно, но тут правда придется попотеть. Обычно он собирает все что ты ему скажешь

глупый интернет) ПРислал только первое твоей сообщение

Но мне чаще всего хочется прикрутить FAKE туда, где для msbuild тасков не написано. LaTeX там какой-нибудь собрать или ещё чего.

Всеравно только самому, FAKE просто вызывает билдеры, это билд скрипт, а билдит или мс биолд или gulp или еще кто-то

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

Впрочем, я уже, кажется, захекал всё, что было нужно, на повершелле :)

@angmarr http://rflechner.github.io/SlackTypeProvider/#/1

@angmarr http://rflechner.github.io/SlackTypeProvider/#/1

Прикол, провайдеры заработали на core (вроде)

Прикол, провайдеры заработали на core (вроде)

Круто! Без них жизнь не та

Круто! Без них жизнь не та

Я не проверял, просто в твоей презентации юзается VSCode

Я не проверял, просто в твоей презентации юзается VSCode

Там, mono может быть

@neftedollar Что-то из области "потому что могу"?

@neftedollar Что-то из области "потому что могу"?

Не понял вопроса.

@neftedollar Я про слэк провайдер.

Как и 80% провайдеров, которые я видел :)

@neftedollar Я про слэк провайдер.

Ага) но оно вполне юзабельно при использовании с fake например.

Воу-воу! Don Syme провайдер очень полезный!

XD

http://fsprojects.github.io/SwaggerProvider/ этот дико полезный

Эирик ЦарьПалис новый пост написал.

https://eiriktsarpalis.wordpress.com/2017/04/02/programming-in-the-point-free-style/

Первый раз увидел запись на языке теории категорий. :)

Ну, и еще презентация про FSharpPlus классная.

https://angrydexterous.github.io/typeclassish.html#/

https://angrydexterous.github.io/typeclassish.html#/

Полезность

Ага. Давно хотел разобраться. :)

@fvnever Напомни, пожалуйста, то, что предлагает FSharpPlus -- это не совсем тайпклассы, потому что мы не можем добавить новые операции и типы, не трогая существующий код?

Без костылей в виде newtype (single case DU).

По-моему, да. Если там ничего не поменялось.

https://github.com/Microsoft/visualfsharp/issues/2766

Я там отписался :3

А я не помню.

:(

Как же так!

Давай-ка вспоминай, иначе! .\ _ /.

А я вот как-то пробовал Скалу, там как-то всё сложно (особенно тулы в то время, SBT - это всё, ещё и тормозит жутко). Но концепция понравилась и начал искать что-то из этой же оперы. Haskell не осилил, а вот F# зашёл на ура

А я вот как-то пробовал Скалу, там как-то всё сложно (особенно тулы в то время, SBT - это всё, ещё и тормозит жутко). Но концепция понравилась и начал искать что-то из этой же оперы. Haskell не осилил, а вот F# зашёл на ура

+1. Лично мне тоже после скалы F# действительно легче воспринимается. Скала как то перегруженный что ли

А я вот как-то пробовал Скалу, там как-то всё сложно (особенно тулы в то время, SBT - это всё, ещё и тормозит жутко). Но концепция понравилась и начал искать что-то из этой же оперы. Haskell не осилил, а вот F# зашёл на ура

А ты на чем на работе пишешь?

Я пробовал ФП начиная с Хаскеля, и сразу не осилил. Потом понемножку изучил Эрланг, и с этого места попёрло. Все остальные языки (Scala, F#, Haskell) хорошо и просто зашли.

А ты на чем на работе пишешь?

C# + TypeScript, на F# скрипты если какие-то CSV выгруженные с баз надо переработать.

Я пробовал ФП начиная с Хаскеля, и сразу не осилил. Потом понемножку изучил Эрланг, и с этого места попёрло. Все остальные языки (Scala, F#, Haskell) хорошо и просто зашли.

тебе не показался эралнг не безопасным?

Да, разумеется, показался.

Но в функциональную парадигму меня ввёл именно он :)

Да, разумеется, показался.

и как ты справился?) Я не могу заставить себя доеврять други людям которые писали тот код, если он не прочекан компилятором

C# + TypeScript, на F# скрипты если какие-то CSV выгруженные с баз надо переработать.

OK, просто Scala и .net (F#) это разные платформы, редко кто скачет между.

и как ты справился?) Я не могу заставить себя доеврять други людям которые писали тот код, если он не прочекан компилятором

Как справился? Да просто перестал писать на Эрланге, когда надоело, да и всё :)

OK, просто Scala и .net (F#) это разные платформы, редко кто скачет между.

да ладно)

Как справился? Да просто перестал писать на Эрланге, когда надоело, да и всё :)

а как начал-то?))

да ладно)

Ну в этом чате, не среднестатистические программисты сидят ?

Ну в этом чате, не среднестатистические программисты сидят ?

Мы элита! XD

а как начал-то?))

Вот этого уж не помню. Хотелось чего-нибудь интересного изучить, вот и взял тогда Эрланг. Написал на нём несколько пет-прожектов.

OK, просто Scala и .net (F#) это разные платформы, редко кто скачет между.

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

Думаю, Котлин попробовать - написать что-нибудь нативное под Андроид, посмотреть как там люди живут

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

Это всё сильно зависит от проектов и того, как применяется язык.

так я про то же

Думаю, Котлин попробовать - написать что-нибудь нативное под Андроид, посмотреть как там люди живут

Я на нем в проде уже полгода пишу (а до этого еще годик для себя) - лучше конечно чем Java, но до Scala не дотягивает. Трудно будет новую работу искать, тк уже не могу себя заставить юзать Java.

Если ты делаешь какие-то изолированные проектики для конечных пользователей — то, конечно, всем пофиг, на каких ты платформах их делаешь, покуда ты с работой справляешься. Хоть каждый день новый язык бери. А если тебе надо в энтерпрайз-стек свою подпрограмму воткнуть — там требования другие. Даже пускай эффективность пониже, а совместимость повыше, например.

Я на нем в проде уже полгода пишу (а до этого еще годик для себя) - лучше конечно чем Java, но до Scala не дотягивает. Трудно будет новую работу искать, тк уже не могу себя заставить юзать Java.

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

Я на нем в проде уже полгода пишу (а до этого еще годик для себя) - лучше конечно чем Java, но до Scala не дотягивает. Трудно будет новую работу искать, тк уже не могу себя заставить юзать Java.

иди сразу в JetBrains

Я на нем в проде уже полгода пишу (а до этого еще годик для себя) - лучше конечно чем Java, но до Scala не дотягивает. Трудно будет новую работу искать, тк уже не могу себя заставить юзать Java.

у меня так с C#. Есть проект, на него как посмотрю, так плакать хочется иногда, там столько бойлерплет кода просто ужас

иди сразу в JetBrains

Точно, иди в JB и сделай нам там поддержку F# в Rider :)

иди сразу в JetBrains

Юзать язык и разрабатывать его это очень разные вещи (да и ненужны им мобильные разработчики (у них одно приложение и то на ReactNative))

Когда закончишь с поддержкой F# в Rider — сразу не убегай, у меня для тебя ещё задания будут.

Когда закончишь с поддержкой F# в Rider — сразу не убегай, у меня для тебя ещё задания будут.

xD

:)

Когда закончишь с поддержкой F# в Rider — сразу не убегай, у меня для тебя ещё задания будут.

какие?

какие?

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

Когда закончишь с поддержкой F# в Rider — сразу не убегай, у меня для тебя ещё задания будут.

Да, но только после поддерки Xamarin в Rider

Предудыщие агенты, которых я направил в JetBrains, меня не слушаются :(

Ну блииииин, в браузере пол-часа тыкал сайт, думая что VS подключила профилировщик. Переключаюсь в студию - "Connectiong the profiler"...

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

Кстати, я прям начинаю чувствовать что мне скалы не хватает (может конечно и Frege/Eta). Эта ограниченность Kotlin как "better-java" вылазиет из всех углов, когда хочется программировать функционально. Через пару лет Одерски закончит dotty и может, я на нее перелезу даже в мобильной разработке (телефоны к тому времени станут 10 ядерными ?)

Ок, понятно, тогда лучше я ещё раз скалу попробую (её же и на андроиде тоже нормально можно?)

Кстати, я прям начинаю чувствовать что мне скалы не хватает (может конечно и Frege/Eta). Эта ограниченность Kotlin как "better-java" вылазиет из всех углов, когда хочется программировать функционально. Через пару лет Одерски закончит dotty и может, я на нее перелезу даже в мобильной разработке (телефоны к тому времени станут 10 ядерными ?)

а есть jvm ocaml?

Ок, понятно, тогда лучше я ещё раз скалу попробую (её же и на андроиде тоже нормально можно?)

Я (давненько) пробовал Скалу на Андроиде, и всё было плохо и тормозило. Однако сейчас есть чуваки, которые утверждают, что много пишут в продакшен на Скале для мобилок, и у них всё прекрасно.

а есть jvm ocaml?

Есть даже лучше! Idris!

https://github.com/mmhelloworld/idris-jvm

Я (давненько) пробовал Скалу на Андроиде, и всё было плохо и тормозило. Однако сейчас есть чуваки, которые утверждают, что много пишут в продакшен на Скале для мобилок, и у них всё прекрасно.

Про Groovy тоже и сейчас говорят, он он динамический язык.

https://github.com/mmhelloworld/idris-jvm

Этот же чувачок контрибьютил во Frege, он классный.

Есть даже лучше! Idris!

ну хз

https://github.com/penberg/fjord