В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

803 membersпожаловаться на группу
2020 February 03

AT

Alexander Tchitchigin in Compiler Development
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
Если "типизированный язык" подразумевает строгую типизацию, то таких программ полно. Например, сложение, умножение, вычитаение и деление строк.
источник
13:21пожаловаться#1

DF

Dollar Føølish in Compiler Development
Понятно. А нельзя это заменить на сложение умножение вычитание деление Any?
источник
13:22пожаловаться#2

YS

Yuriy Syrovetskiy in Compiler Development
Alexander Tchitchigin
Если "типизированный язык" подразумевает строгую типизацию, то таких программ полно. Например, сложение, умножение, вычитаение и деление строк.
но даже в Хаскеле это можно типизировать
источник
13:23пожаловаться#3

AK

Andrei Kurosh in Compiler Development
Alexander Tchitchigin
Если "типизированный язык" подразумевает строгую типизацию, то таких программ полно. Например, сложение, умножение, вычитаение и деление строк.
Разве? Ведь в динамическом варианте никто не подразумевает деление строк, подразумевается неявное приведение
источник
13:23пожаловаться#4

YS

Yuriy Syrovetskiy in Compiler Development
наверно, когда говоришь о требованиях к типизации, надо формулировать, где проходят границы типов, а не просто "есть типы"
источник
13:24пожаловаться#5

DF

Dollar Føølish in Compiler Development
Да, логично
источник
13:24пожаловаться#6

AK

Andrei Kurosh in Compiler Development
Если просто переписать эту программу на строго типизированном языке, это будет не эквивалентная программа, т.к. семантика потеряется
источник
13:24пожаловаться#7

DF

Dollar Føølish in Compiler Development
Я за типизацию сам, мне просто сомнительно , что бестиповый формализм не более мощен чем любой типизированный.
источник
13:26пожаловаться#8

DF

Dollar Føølish in Compiler Development
Мне сказали что они равномощны т.к. можно навесить Any на все значения просто
источник
13:26пожаловаться#9

YS

Yuriy Syrovetskiy in Compiler Development
Dollar Føølish
Я за типизацию сам, мне просто сомнительно , что бестиповый формализм не более мощен чем любой типизированный.
отсутствие ограничение = присутствие 0 ограничений
источник
13:27пожаловаться#10

DF

Dollar Føølish in Compiler Development
Хех
источник
13:27пожаловаться#11

EM

Evgenii Moiseenko in Compiler Development
Dollar Føølish
Я за типизацию сам, мне просто сомнительно , что бестиповый формализм не более мощен чем любой типизированный.
в вашей постановке вопрос как-то теряет смысл,
надо зафиксировать язык и систему типов, её правила вывода, тогда можно что-то конкретное сказать
источник
13:27пожаловаться#12

EM

Evgenii Moiseenko in Compiler Development
так очевидно, что не всякая система типов позволяет вам любые программы выражать, самый простой пример simply typed lambda calculus
источник
13:28пожаловаться#13

DF

Dollar Føølish in Compiler Development
Да
источник
13:28пожаловаться#14

YS

Yuriy Syrovetskiy in Compiler Development
Evgenii Moiseenko
так очевидно, что не всякая система типов позволяет вам любые программы выражать, самый простой пример simply typed lambda calculus
разве STLC любые программы выражает?
источник
13:28пожаловаться#15

DF

Dollar Føølish in Compiler Development
Значит ответ либо да либо нет в зависимости от системы типов?
источник
13:28пожаловаться#16

EM

Evgenii Moiseenko in Compiler Development
Yuriy Syrovetskiy
разве STLC любые программы выражает?
это как раз пример, когда не выражает
источник
13:28пожаловаться#17

DF

Dollar Føølish in Compiler Development
Если так то действительно равномощны
источник
13:29пожаловаться#18

YS

Yuriy Syrovetskiy in Compiler Development
Dollar Føølish
Если так то действительно равномощны
математически да, равномощны друг другу и машине Тьюринга. но на практике это свойство бесполезно
источник
13:30пожаловаться#19

DF

Dollar Føølish in Compiler Development
Ну конечно никто на практике не будет писать any над каждым значением)
источник
13:31пожаловаться#20