E
Size: a a a
2020 March 20
NT
@EgorBo а есть возможность включить логирование всех DllImport-ов?
NT
именно загрузки их
E
@EgorBo а есть возможность включить логирование всех DllImport-ов?
да но хз как, как-то делал
NT
сделал враппер для dlsym - оно в какой-то момент сегфолтится
2020 March 21
Dv
где спека то что надо так делать ?
Дело в том, что в общем случае у тебя может быть несколько одинаково общих типов в разных ветках тернарного оператора (например, общий базовый класс и общий базовый интерфейс). Поэтому компилятор действительно в общем случае не может этого угадать.
Dv
потому что из двух веток тернарки возвращается сука потомок УКАЗАННОГО типа
Очевидно, что локальный вывод типов так просто не работает. Вероятно, для упрощения спецификации, или ещё по какому-то поводу.
AH
Очевидно, что локальный вывод типов так просто не работает. Вероятно, для упрощения спецификации, или ещё по какому-то поводу.
Там ниже есть пример когда локальный вывод типов работает
AH
Ещё 5 минут и форневер дочитает
ES
Ещё 5 минут и форневер дочитает
+
Dv
потому что спеку не обновляли с 5.0?
Есть черновик спеки на 6.0.
Dv
Гораздо новее чем у вас стопудово
Неправда. Последний черновик C#-спеки новее, чем у F#. Хотя и незначительно. В целом тут паритет примерный.
AH
Неправда. Последний черновик C#-спеки новее, чем у F#. Хотя и незначительно. В целом тут паритет примерный.
В фшарпе кто-то должен рфц в спеку внедрить
Dv
Там ниже есть пример когда локальный вывод типов работает
Где?
Dv
В фшарпе кто-то должен рфц в спеку внедрить
У C#, кажется, такое же состояние :(
AH
Ну вот когда ты делаешь
object Foo {
return "";
}
Компилятор догадается о том что стринга является подтипом обжекта и впилит имплисит каст здесь.
Инфа о возвращаемом типе метода у рослина стопудово есть
object Foo {
return "";
}
Компилятор догадается о том что стринга является подтипом обжекта и впилит имплисит каст здесь.
Инфа о возвращаемом типе метода у рослина стопудово есть
Dv
Ну вот когда ты делаешь
object Foo {
return "";
}
Компилятор догадается о том что стринга является подтипом обжекта и впилит имплисит каст здесь.
Инфа о возвращаемом типе метода у рослина стопудово есть
object Foo {
return "";
}
Компилятор догадается о том что стринга является подтипом обжекта и впилит имплисит каст здесь.
Инфа о возвращаемом типе метода у рослина стопудово есть
Не вижу тут ничего вообще про локальный вывод типов.