Мне у них логотип не нравится. :(

+++

Какой-то нехипстерский.

Ух, а я думал, я один такой.

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

Надо попросить того чела, который логотип для Giraffe сделал, придумать логотип для Fable. Ну или автора логотипа Suave.

Надо попросить того чела, который логотип для Giraffe сделал, придумать логотип для Fable. Ну или автора логотипа Suave.

Достаточно убрать блики и ABLE из логотипа, сразу хипстерским станет.

Не, мне лично как раз-таки эта драконистая футуристичная F не нравится.

Недостаточно современно

Ну а насчёт бликов согласен

Не, мне лично как раз-таки эта драконистая футуристичная F не нравится.

драконы и компиляторы с интерпретаторами по моему очень давно вместе)

LOL

и тд

Похоже, эти авторы — любители драконов и рыцарей.

Иначе не объяснишь столь странный выбор иллюстраций.

могу предположить выбор лого LLVM был связан с одной из ранних книг про компиляторы)

Но тут дракон уже, вроде, кибернетический

есть такое

TIL https://github.com/fsharp/fslang-suggestions/issues/611#issuecomment-332529197

Оказывается, active patterns можно как параметры передавать.

Оно и понятно, active patterns — это просто функции + сахар. Но все равно!

Я вот идею вкинул про struct active patterns, а теперь думаю, как выглядеть будет.

Добавить атрибут? [<Struct>] let (|Even|Odd|) input = if input % 2 = 0 then Even else Odd

да, выглядит логично

Норм с атрибутом.

И для partial? [<Struct>] let (|Integer|_|) (str: string) = let mutable intvalue = 0 if System.Int32.TryParse(str, &intvalue) then StructSome(intvalue) else StructNone

Выглядит очень стрёмно, но что поделать — Сайм любит такие штуки :(

Так, стопэ. А что это вообще будет делать? Просто будет возвращать struct Option?

StructOption и StructChoice.

Не сможем ли мы сделать так, чтоб вообще не было изменений в коде, а?

Ну чтоб оно всегда генерило обе функции, например (struct и обычную)?

Это как?

Хотя, блин, как их тогда резолвить потом

Не, не пойдёт, наверное.

Еще непонятно, как кейсы у новых DU называть.

Можно сделать чуть больше магии. Чтобы компилятор сам заменял Some на StructSome и так далее. [<Struct>] let (|Integer|_|) (str: string) = let mutable intvalue = 0 if System.Int32.TryParse(str, &intvalue) then Some(intvalue) else None

Будет только аннотацией и типом отличаться.

Мне не нравится аннотация :(

Ненавижу аннотации. Начиная с F# 4.1 весь код приходится ими обмазывать.

Ну, плохие дефолты. :)

Мы не можем тут поведение поломать, я считаю.

Типы у наших паттернов поменяются, нужно как-то различать.

Так может наоборот? По дефолту struct, а аннотация, чтобы сделать ссылочный option, choice ?

Так может наоборот? По дефолту struct, а аннотация, чтобы сделать ссылочный option, choice ?

Потеряешь совместимость.

Ненавижу аннотации. Начиная с F# 4.1 весь код приходится ими обмазывать.

Непонятно, почему вместо [<Struct>] нельзя везде ключевое слово struct использовать.

Непонятно, почему вместо [<Struct>] нельзя везде ключевое слово struct использовать.

Дону не нравится!

Для кортежей же почему-то сделали.

Непонятно, почему вместо [<Struct>] нельзя везде ключевое слово struct использовать.

Дон очень не любит новые кейворды. :)

Или старые кейворды в новых местах.

struct уже есть

Давайте, у нас интересная задачка, облазить design space при таких жестких ограничениях. :)

Дону не нравится!

Так это же не новое ключевое слово, а уже существующее. Я думал, он против введения новых ключевых слов. И это объяснимо. А вот почему бы не использовать уже существующие ключевые слова по возможности, объяснений не нахожу. Хотя я ещё слишком молод, и могу не знать каких-то важных деталей.

Да не нужен там Struct

Давайте, у нас интересная задачка, облазить design space при таких жестких ограничениях. :)

по мне и с атрибутом норм, не зря же они существуют

Для кортежей же почему-то сделали.

Неплохо сделали, но не дожали. У нас полиморфизма по struct нету, а могли бы сделать!

Там проще | заменить на ||

Допустим

Там проще | заменить на ||

Вглядываться неудобно. :(

Ну {

И вообще, это ж парсер дописывать.

Неплохо сделали, но не дожали. У нас полиморфизма по struct нету, а могли бы сделать!

"Полморфизм по struct" как понимать?

"Полморфизм по struct" как понимать?

Чтобы можно было реализовать, например, fst и для обычного кортежа, и для struct.

А, это да.

У нас, кстати, для struct кортежей вообще fst нет!

Да

Вообще, в принципе неплохо бы какой-то совместимости для struct и обычных типов завести.

Чтобы тот же Option был как struct, так и обычный, но при этом с одним и тем же набором функций.

Ненавижу аннотации. Начиная с F# 4.1 весь код приходится ими обмазывать.

++

Еще лучше, конечно, в F#5 поломать совместимость и кучу всего вычислить!

Э, не, ломать совместимость — плохо.

Неправильные дефолты, депрекейтнутые и устаревшие конструкции.

Давайте оставим для совместимости вариант со struct, но поменяем дефолт.

Если бы было автозакрытие [< >], то можно и потерпетьи аннотации.)

Дефолты поменять — это дело.

Дефолты поменять — это дело.

Это ломает же совместимость, нет?

Там проще | заменить на ||

let (\o/ Even \o/ Odd \o/) (str:string) = ...

\o/

Это ломает же совместимость, нет?

Надо ещё смотреть, в какой мере.

Ну, давайте я в RFC два варианта предложу: аннотация и поменять дефолт.

Это ломает же совместимость, нет?

да, но как по мне самая прекрасная сторона F# - хорошие дефолты. Ради такого дела можно и поломать :)

Кстати , а что мешает объявлять как let |struct Integer| ?

Кстати , а что мешает объявлять как let |struct Integer| ?

Не слишком большое усовершенствование над аннотацией, я думаю.

Это имело смысл для кортежей.

Надо придумать префикс

А шаблоны мы отдельно объявляем.

Который бы указывал на value type

let (︴Even︴Odd︴) ⇸ …

Я предалагю эмодзи.

Я предалагю эмодзи.

Вот это подходит для 2к17!

let ⚠️ (|Even|Odd|) = … ⚠️ будет означать то же, что [<Struct>]

ЪЪ

Тогда уж что-нить вроде !@

Чтобы можно было реализовать, например, fst и для обычного кортежа, и для struct.

надо сделать интерфейс ITupebel отнаследовать от него коретежи и let fst<T>(T:where T is ITupebel) .

Чтобы можно было реализовать, например, fst и для обычного кортежа, и для struct.

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

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

Но как это поможет в шаблонах?