Ayrat
доку уже дополнили про match!
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/computation-expressions#match
Pavel
лично мне и лишний let! не в падлу было написать)
Vasily
Не,match! это круто
gsomix
Я жду, когда не нужно будет yield писать в списках.
Pavel
x
ответ модератора прекрасен: https://forums.perforce.com/index.php?/topic/5657-p4merge-feature-request-respect-bom-presenceabsence-in-utf-8-files/
Vasily
Уфф, вроде завелся нормально ui на акторах
gsomix
Ух ты, билдеры снова вернулись в основной.
Vasily
Ненадолго :)
Romɑn
Только теперь они называются ce
Vladislav
ке
Vasily
К сожалению, конструктор объекта вида (a,b,c,..n) нельзя привести к виду a->b...
Vasily
А ведь можно было бы делать красиво
Ayrat
ну, это логично. Конструктор должен быть как бы атомарен.
Vasily
Он атомарен будет
Vasily
Пока все параметры не заданы, его как бы нет
gsomix
Ayrat
т.е. способ получения объекта при наличии ТОЛЬКО b
Romɑn
Нет
Ayrat
Батл
Vasily
Я согласен с нефтепродуктом
Romɑn
Ты забываешь, что а -> б -> с
Превращаясь в б -> с хранит а в замыкании
Vasily
Короче, я бы внес что-нить вроде op_Constructor
Vasily
В компилятро
Romɑn
Vasily
В общем, кто готов запилить?
Ayrat
Я бы другое сделал, автообёртку для всех функций из ванила либы вида:
System.File.IO.WriteAllText(string path, string content)
Хочу я например вот так делать
object
|> serialize
|> fun x -> System.File.IO.WriteAllText(path, x)
а хотелось бы так
object
|> serialize
|> System.File.IO.WriteAllText path
Vasily
Чтобы конструктор можно было получать паршиал апплаем
Vasily
Ну это из той же оперы
Ayrat
но чтобы это компилировалось в обычный некарированный вид.
просто удобный интерфейс из F#
Vasily
Но, помнится, @gsomix приводил аргументы против
Vasily
Только я их уже не помню
Ayrat
да я уверен тут подстав много, но мне вот хочется
Vasily
Ну мне тоже хочется такого
Vasily
Только надо обдумать, в каком виде
Vasily
То ли через спец атрибут
Ayrat
да не, просто mscorlib весь)
Ayrat
другие либы не надо
Vasily
Всегда можно написать tp
Vasily
На типах
Vasily
Кстати
Ayrat
О.о
Vasily
КОторый этим будет аниматься
Vasily
Ну, когда tp by types появятся
Vasily
Т.е. суешь ему объект
Vasily
И он конструктор и методы в виде паршиал апплаев представляет
Vasily
И все довольны
Ayrat
https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878
gsomix
gsomix
Ок, и примеры надуманные опять.
Vasily
Я из статьи не понял, шо это
Romɑn
Внезапно
Romɑn
Vasily
Шо, опять? (с)
Ayrat
Мы чот алкаши, да. Но специально не договаривались)
Dmitry
Я из статьи не понял, шо это
А мне статья подтвердила моё представление о зависимых типах, но все ещё я не уверен, что это представление верное. Кстати - dependent types = HKT?
Dmitry
Анна
А можно глупенький вопрос? чем отличаются такие проекты в плане философии? я думала, что это просто чтобы писать на чём-то нормальном, а потом транслировать в JS и запускать на каждом утюге
Анна
Ещё есть elm конечно, но там совсем другая философия.
Doge
Первые части совсем простые, их можно быстро пройти
gsomix
@AnutaU Elm крутится вокруг идеи замены JS, который нужно спрятать подальше.
gsomix
Свой тулчейн, свои пакеты.
gsomix
Fable и Bucklescript/Reason стараются наборот попроще взаимодействовать с JS.
Анна
а, чтобы ничего JSного вообще не трогать в процессе?
gsomix
gsomix
Взамен получаешь гарантии — контроль эффектов.
Анна
Но идея глобально одинаковая - писать фронт на том же что и бэк/ писать фронт на чём-то приятном, сильно типизированном и т п?
gsomix
Анна
окей :)
gsomix
Чем я и хочу сейчас заняться!
Анна
я тоже примерно этим уже неделю хочу заняться
Анна
но происходит какой-то дурдом
Анна