Dv
Чтобы nullability можно было определять per type use, а не per type.
Size: a a a
2020 September 13
AH
о, те можно будет писать string! или как?
Будет со знаком вопроса
I
В фшарп 5 будет поддержка нуллабл реф типов и сишарп типы смогут быть не налл!
мм, чёт не могу найти ссылку нормальную. Есть на InfoQ, но я не вижу ни RFC, ничего
Г
Будет со знаком вопроса
а, как в C# сейчас с опцией компилятора
AH
мм, чёт не могу найти ссылку нормальную. Есть на InfoQ, но я не вижу ни RFC, ничего
Да ты шутишь
AH
fslang-design/FS-1060-nullable-reference-types.md at master · fsharp/fslang-design · GitHub
https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1060-nullable-reference-types.md
https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1060-nullable-reference-types.md
I
да, я додич
I
очень приятно познакомиться, люди!
AH
а, как в C# сейчас с опцией компилятора
Да, сейчас фшарп типы не налабл, а все конское из сишарпа и стд либы - налабл и это проблема
Г
Чтобы nullability можно было определять per type use, а не per type.
вообще одно фактически сахар над другим :^)
Dv
Да, сейчас фшарп типы не налабл, а все конское из сишарпа и стд либы - налабл и это проблема
Можно сказать, что у тебя тип — налабл
Dv
Ну и не забывай про прекрасный флаг
UseNullAsTrueValue.AH
Можно сказать, что у тебя тип — налабл
В фшарпе? Да, можно
AH
Но лучше не надо
Dv
В фшарпе? Да, можно
Да, про F#.
Г
Ну и не забывай про прекрасный флаг
UseNullAsTrueValue.о, это что такое
Dv
о, это что такое
Это флаг, который применён к типу
option, и как раз отвечает за волшебную конверсию None → null.Dv
Я не думаю, что его имеет смысл использовать где-то ещё.