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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1583 membersпожаловаться на группу
2021 June 12

O

Ortofax in Haskell
eval(getUserInput())
источник
00:27пожаловаться#1

к

кана in Haskell
так нельзя же, анализатор должен как минимум форсить проверку на то, что это функция, иначе никак
источник
00:27пожаловаться#2

O

Ortofax in Haskell
вот и посмотрели
источник
00:27пожаловаться#3

AF

Alexey Fedotov in Haskell
Хорошо, перефразирую. В гипотетическом JS-без-eval информация о типах присутствует (неявно).
источник
00:27пожаловаться#4

к

кана in Haskell
но стой, не очень понимаю этот довод
источник
00:27пожаловаться#5

O

Ortofax in Haskell
получается разделение на функции и нефункции?
источник
00:27пожаловаться#6

ЗП

Зигохистоморфный Пре... in Haskell
а nasm не вариант?
https://www.nasm.us/pub/nasm/releasebuilds/2.15.05/macosx/
источник
00:28пожаловаться#7

к

кана in Haskell
в жс вполне валиден код
const a = 1;
a();

он упадет эксепшеном, синтаксически это нормальный код
источник
00:28пожаловаться#8

t

toriningen in Haskell
ну так смотрим на тип getUserInput() 🙂

затипизировать eval статически можно, наверное, но система типов должна позволять выражать произвольные жабоскрипт-конструкции на уровне типов
источник
00:28пожаловаться#9

t

toriningen in Haskell
и если результат getUserInput() является подмножеством всех возможных строк, которые эвалятся в функции, то почему бы и нет
источник
00:28пожаловаться#10

O

Ortofax in Haskell
getUserInput :: () -> IO String
источник
00:28пожаловаться#11

к

кана in Haskell
ну просто про поведение nasm я ничего не знаю, а в фасме просидел пару лет, могу хотя бы нести ответственность за свои слова
источник
00:28пожаловаться#12

t

toriningen in Haskell
garbage in, garbage out
источник
00:29пожаловаться#13

t

toriningen in Haskell
если на вход string, то и на выходе any
источник
00:29пожаловаться#14

[

[BRM]White Rabbit in Haskell
тогда уж просто IO String
источник
00:29пожаловаться#15

O

Ortofax in Haskell
не, если просто IO String, то просто getUserInput, а тут getUserInput()!
источник
00:29пожаловаться#16

t

toriningen in Haskell
хотя я не знаю, сложный дедуктивный вывод типов существует в каком-нибудь языке?
источник
00:29пожаловаться#17

t

toriningen in Haskell
чтобы для констрейнта по результату аппликации функции вывести тип аргумента
источник
00:30пожаловаться#18

t

toriningen in Haskell
хотя, наверное, для этого вычисления внутри функции должны быть адиабатическими...
источник
00:30пожаловаться#19

t

toriningen in Haskell
или нет?
источник
00:30пожаловаться#20