https://twitter.com/kot_2010/status/944483029250199553

https://twitter.com/kot_2010/status/944483029250199553

Это точно. Запускать в голове вывод типов бывает чертовски тяжело

А что, в статейках top-level определения не снабжают аннотациями? Часто?

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

Хотя я лично-таки чаще указываю

В Haskell вообще всё само выводится. Но top-level определения всегда аннотируются, ибо это правило хорошего тона (а если захотеть, то и warning/error)

Ага. Но в Haskell это как-то лучше выглядит

Хмм... Недостаточно удобный синтаксис может отбивать желание делать аннотации...

А в VS 2017 ещё и автозакрытия скобок для F# нету.)

Всегда аннотирую публичный API.

+

Было бы, конечно, неплохо иметь помощь со стороны редакторов и IDE.

Возможность быстро материализовать выведенные типы в аннотации.

+

Возможность быстро материализовать выведенные типы в аннотации.

Ну fsi-файл можно сгенерировать

Ну fsi-файл можно сгенерировать

Нет, я хочу, чтобы IDE мне по хоткею аннотировала определения.

И убирала аннотации, соответственно.

Ну да, я понял. Типа подстановка авто-выведенных типов

Нет, я хочу, чтобы IDE мне по хоткею аннотировала определения.

так в vs code такое есть

там и не по хоткею

так в vs code такое есть

А как?

Lens-же

Не, lens — это не то.

Я хочу материализованные аннотации, чтобы прям в файле с кодом были.

Возможно, в Ionide это будет несложно сделать. Нужно посмотреть.

а зачем сразу в файле, если он выводит над каждой функцией аннотацию?

Я всегда аннотирую публичный API. Это хороший стиль.

Хочу, чтобы IDE мне помогала в этом.

Потом это удобно читать в других местах, где нет кодлинз. ;)

+ когда точно знаешь входные и выходные значения, хорошо их указать, чтобы если вдруг где-то что-то перепутаешь, IDE тебе об этом сказала

Хотя можно всегда подсказки проверять

Так что это не очень причина

https://twitter.com/i/web/status/942427235356684288

@nevoroman Завтра твой пост? :)

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

https://twitter.com/FableCompiler/status/944504073910337536

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

ну вот, а потом пиши вам, ищи вас, спрашивай как дела и когда … так когда ожидается пост?)

https://twitter.com/sergey_tihon/status/944513423693492224

Хочу, чтобы IDE мне помогала в этом.

https://twitter.com/k_cieslak/status/892261017949880320 а это не то, что ты хочешь?

https://twitter.com/k_cieslak/status/892261017949880320 а это не то, что ты хочешь?

Не, я хочу чтобы определение let foobar x = x + 2 превращалось в let foobar (x: int) : int = x + 2 И наоборот. Пример глупый, но с телефона много не наберёшь. :)

Не, я хочу чтобы определение let foobar x = x + 2 превращалось в let foobar (x: int) : int = x + 2 И наоборот. Пример глупый, но с телефона много не наберёшь. :)

А, понятно. Фича реквест в ionide уже есть?

Не смотрел. Доберусь до дома.

Прикольный баг нашел, оказывается let x = """"abcd"""" не работает, хотя должно

Приходится писать let x = @"""abcd"""

Прикольный баг нашел, оказывается let x = """"abcd"""" не работает, хотя должно

Что значит "не работает"?

В шарплабе работает.

Не компилится

Прикольный баг нашел, оказывается let x = """"abcd"""" не работает, хотя должно

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

И не закрывается.

let x = """"abcd""" "

Почему не должно? https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/strings тут написано что можно оба способа юзать

Почему не должно? https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/strings тут написано что можно оба способа юзать

Первые встреченные """ заканчивают строку.

аа, понял, тогда да)

А, понятно. Фича реквест в ionide уже есть?

https://github.com/ionide/ionide-vscode-fsharp/issues/173

http://inchingforward.com/2017/12/getting-started-with-fable-pixijs/

спасибо, откомментил

всегда радует когда добавляют биндинги в других языках

я всеми руками за использование пикси через js-interop и преписывании отдщельных кусков на нужный язык

@neftedollar А кто это?

@neftedollar А кто это?

Один из основных контрибьюторов в пикси и моему

Привет.

привет

Народ я помню MS research пилили аналог Apache Spark 2года назад. Название не помню. очередной раз плевался от скалы, что-то вспомнил про эту инициативу. Не вкурсе что и как?

Народ я помню MS research пилили аналог Apache Spark 2года назад. Название не помню. очередной раз плевался от скалы, что-то вспомнил про эту инициативу. Не вкурсе что и как?

Prajna

Проект не живой

ок пасибо

Народ я помню MS research пилили аналог Apache Spark 2года назад. Название не помню. очередной раз плевался от скалы, что-то вспомнил про эту инициативу. Не вкурсе что и как?

Есть ещё mbrace

Плевался от скалы? Я вот на неё как раз перелезть подумываю?

Но он по моему не ставится на локальный кластер

Плевался от скалы? Я вот на неё как раз перелезть подумываю?

так в реальнотси и приходится на скале и питоне писать. просто тоскую по синтаксису F#

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

Но привыкнуть наверное можно

Я тут взял Giraffe и MongoDB (вернее, CosmosDB в Ажуре с монго-интерфейсом) и решил на этом попробовать написать базовый блого-сайтик. Что из этого получается, можно посмотреть https://github.com/tabakerov/maybeninja

Нравится ли писать html через скобочки квадратные? (Я пока что себя не пересилил и использую Razor)

https://twitter.com/FableCompiler/status/944504073910337536

Я попробовал. Подтормаживает. http://fable.io/fable-repl/

Нравится ли писать html через скобочки квадратные? (Я пока что себя не пересилил и использую Razor)

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

Нравится ли писать html через скобочки квадратные? (Я пока что себя не пересилил и использую Razor)

А чем не нравится?

@azazeo Отформатировать бы код немного.

@azazeo Отформатировать бы код немного.

Я Райдер пробую и в нём жму "reformat code"

Я Райдер пробую и в нём жму "reformat code"

Уже работает?

Я помню, у них какая-то своя сборка фантомаса в райдере.

Уже работает?

ну вот как есть, так и форматирует

Порядок файлов EAP не умеет ещё

Хм, вьюхи совершенно бестолково форматирует.

Хм, вьюхи совершенно бестолково форматирует.

gsomix, привет! А что используешь для вьюх? Fable.Elmish.React?

gsomix, привет! А что используешь для вьюх? Fable.Elmish.React?

XAML. Не, серьезно, это был комментарий к коду @azazeo. У него там GiraffeViewEngine.

А много тут кто прямо на работе F# использует?

Я!

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

Не могу с этим согласиться. Я лично часто вижу решения в синтезе ФП и ООП-подходов.

Всегда аннотирую публичный API.

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

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

Если нужна помощь, то свистни, допилим всем миром.

Не, я хочу чтобы определение let foobar x = x + 2 превращалось в let foobar (x: int) : int = x + 2 И наоборот. Пример глупый, но с телефона много не наберёшь. :)

Очень хорошая идея!

Порядок файлов EAP не умеет ещё

Кажись, это перенесли в 2018 :(

Утро. https://twitter.com/brandewinder/status/944775653798199297

Не могу с этим согласиться. Я лично часто вижу решения в синтезе ФП и ООП-подходов.

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

Не могу с этим согласиться. Я лично часто вижу решения в синтезе ФП и ООП-подходов.

Если "ООП" здесь, это подход к моделированию доменной области, то да, в ФП можно объектный подход применять. Если же ООП - "мейнстримовое", т.е. локальное (инкапсулированное в объекты) мутабельное состояние, то не стоит даже пытаться применять ФП ибо будет только хуже - и асбстракции потекут с точки зрения ООП, и нужных предусловий для применения ФП тоже не будет (я про иммутабельность, явное преобразование данных)

Я практик прежде всего. У меня в ФП-языке есть классы, интерфейсы, наследование, перегружаемые методы. Я вот всё это беру и использую :3

Если ФП используется, как синтаксический сахар для map/filter, то это не ФП

А вот с мутабельным состоянием надо очень аккуратно работать, это абсолютно верно. Но это относится к совершенно любому коду — что ООП, что ФП.