VK
Size: a a a
2020 March 01
AH
В порнонет закинь
VK
В порнонет закинь
2020 March 02
SN
это называется Type Extension, если сделано в пределах одного модуля, то оно будет частью одного типа
за пределами тоже
SN
тут скорее в пределах одной сборки
AH
тут скорее в пределах одной сборки
Пруфы я предоставлю завтра. Или голову с пеплом. Но скорее пруфы.
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
SN
Пруфы я предоставлю завтра. Или голову с пеплом. Но скорее пруфы.
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
расширяется любой тип вообще-то. я могу расширить Option (и часто расширяю)
AH
расширяется любой тип вообще-то. я могу расширить Option (и часто расширяю)
Не, это понятно. Я сам так делаю
AH
Но это не будет частью типа
SN
Пруфы я предоставлю завтра. Или голову с пеплом. Но скорее пруфы.
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл.
Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа.
Я пойду посплю с этой мыслью и завтра накидаю пруф
а какая разница, как они скомпилены? семантически это часть типа, ктоторый может и не я объявлял даже
SN
Но это не будет частью типа
почему вдруг? если расширения втащены в текущую область видимости - то система типов вполне считает это частью типа
AH
а какая разница, как они скомпилены? семантически это часть типа, ктоторый может и не я объявлял даже
Тогда у нас бы давно были тайп классы..
AH
почему вдруг? если расширения втащены в текущую область видимости - то система типов вполне считает это частью типа
См выше
SN
Тогда у нас бы давно были тайп классы..
ЭТО ДРУГОЕ
AH
ЭТО ДРУГОЕ
Ну почему же.
type Option with
interface IMonoid ...
type Option with
interface IMonoid ...
AH
Следуя твоей логике, это должно стать частью типа (нет)
SN
а это не экстешен, вроде бы
AH
а это не экстешен, вроде бы
type X with
AH
Семантика та же самая