AZ
i'm done
Size: a a a
2020 March 03
Т8
На практике понятия должны что-то значить, если решить, что динамический "тип" это тип, то понятие типа ничего не значит
Из Википедии, а она ссылается на стандарт
"Тип - множество значений и операций над этими значениями"
"Тип - множество значений и операций над этими значениями"
p
На практике понятия должны что-то значить, если решить, что динамический "тип" это тип, то понятие типа ничего не значит
Я даже комментировать этот бред не буду
Т8
@Psilon тут снова срач про динамическую типизацию намечается :))
p
К слову вопрос:
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
p
К слову вопрос:
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Т8
К слову вопрос:
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Думаю, разные
AZ
Т-34 85
@Psilon тут снова срач про динамическую типизацию намечается :))
срача нет, динамичкая типизация это оксюморон согласно Пирсу
λ
Т-34 85
Из Википедии, а она ссылается на стандарт
"Тип - множество значений и операций над этими значениями"
"Тип - множество значений и операций над этими значениями"
Множество операций над значениями как определяется? Например в жсе можно написать
[] + {}, является ли в таком случае + операцией заданной на объектами и массивами?AZ
К слову вопрос:
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
в зависимости от типа типизации - структурной или номинальной - ответ будет да и нет соответственно.
Т8
срача нет, динамичкая типизация это оксюморон согласно Пирсу
А если менее формально?
EG
Множество операций над значениями как определяется? Например в жсе можно написать
[] + {}, является ли в таком случае + операцией заданной на объектами и массивами?Является. Результат тебе не нужен, но является.
p
в зависимости от типа типизации - структурной или номинальной - ответ будет да и нет соответственно.
Тогда с первой точки зрения типы в питоне есть
λ
К слову вопрос:
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
Есть
class Foo {
data: i32;
fn bar() {}
}
class Bar {
data: i32;
fn bar() {}
}
Foo и Bar это один тип с точки зрения теории типов?
С точки зрения теории типов есть разные типизации, структурная и номинативная. Так что всё зависит от того, какая система типов в конкретном языке
Т8
Множество операций над значениями как определяется? Например в жсе можно написать
[] + {}, является ли в таком случае + операцией заданной на объектами и массивами?А там вообще слабая типизация, я хз
λ
Является. Результат тебе не нужен, но является.
Ну так в жсе можно операцию + применить к любым двум значениям.
Т8
Ну так в жсе можно операцию + применить к любым двум значениям.
Пушто слабая типизация. В питоне так попробуй
EG
Ну так в жсе можно операцию + применить к любым двум значениям.
Так там типов мало
EG
И определять новые нельзя
λ
Т-34 85
А там вообще слабая типизация, я хз
Возьмём "сильную" типизацию, в случае такой типизации интерпретатор динамического яп будет бросать эксепшн. Является ли в таком случае операция определенной на всём множестве значений в языке?