Телеграмм чат группы typeslife страница 616

Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

505 membersпожаловаться на группу

2021 November 01

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Так диспатч-то — это безусловный переход! Отсюда и разница. 😁

источник

15:17пожаловаться #1

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни

У разных языков программирования разные системы типов, общего у них только, если взять TAPL, то, что

A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.

Определить тип как "kind of values phrases compute" можно, конечно, но это будет не очень полезно

источник

15:23пожаловаться #2

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

А у некоторых языков никакой системы типов нет вовсе. 😉

источник

15:24пожаловаться #3

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

Система типов только синтаксический сахар. )

источник

15:25пожаловаться #4

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

так условный переход это сложение плюс безусловный переход

источник

15:25пожаловаться #5

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

плюс-минус подёргать арифметику

источник

15:25пожаловаться #6

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

1. берём байт условия (0 или 1)
2. индексируем этим байтом таблицу переходов из двух вариантов
3. безусловно переходим на полученное значение

источник

15:26пожаловаться #7

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Вот на арифметике и экономим! 😂

На самом деле даже простейшая картина динамической проверки типов сильно сложнее, чем Ваше утверждение.

источник

15:27пожаловаться #8

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни

ну, их можно и за языки программирования не считать

источник

15:27пожаловаться #9

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

сложение, чтение по адресу и безусловный переход, никаких условий

источник

15:27пожаловаться #10

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

ну это уже детали реализации

источник

15:27пожаловаться #11

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

В этом чате мы всех считаем. 😊

источник

15:27пожаловаться #12

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни

Сильное утверждение
Проверять его вы, конечно же, не будете

источник

15:27пожаловаться #13

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

Мои теор.построения это утверждают.

источник

15:28пожаловаться #14

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Так Вы про детали реализации и рассуждаете. На концептуальном уровне-то вообще ничего общего. 🤷‍♀️

источник

15:28пожаловаться #15

Nikita Repeev in Типы в языках программирования, моделирования, представления знаний и жизни

А они сейчас с нами? В этой комнате?

источник

15:28пожаловаться #16

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

я с вами и они тут )

источник

15:29пожаловаться #17

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

А почём Вам знать, что @Alex_Bur_Kent — НЕ AGI-бот?

источник

15:29пожаловаться #18

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

концептуально проверка типов вроде

if isinstance(rhs, str):
    # ...
else:
    # ...

ничем не отличается от

{str: ...}.get(type(rhs, ...))()

источник

15:29пожаловаться #19

Nikita Repeev in Типы в языках программирования, моделирования, представления знаний и жизни

Как его можно было бы проверить?

источник

15:29пожаловаться #20