Телеграмм чат группы fprog

Size: a a a

fprog_spb

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

2018 February 26

Alexander Vershilov in fprog_spb

их поинт в том, что там не называют такие языки скриптовыми явно (как я понял)

источник

13:53пожаловаться #1

Alexander Vershilov in fprog_spb

кана

вот не пример завтипов, но то, что сложно описать без нужных возможностей
некая функция принимает объект с люыми (но известными во время компиляции) ключами, где все элементы имеют тип forall A. E -> A, нужно отдать функцию E -> B, где B - тот самый объект с теми же ключами, но значения элементов - A

простой ответ: сделай как в динамических — введи T - это множество всех выразимых в языке объектов. Функции типа E -> T, и сделать E -> B просто

источник

13:54пожаловаться #2

Alexander Vershilov in fprog_spb

требует zero-time на создание и мышление, предоставляет те же гарантии, потом добавь fromT

источник

13:55пожаловаться #3

λO

λeonid Onokhov in fprog_spb

из вашей же википедии
> The term "scripting language" is also used loosely to refer to dynamic high-level general-purpose languages, such as Perl,[1] Tcl, and Python,[2]

источник

13:55пожаловаться #4

λO

λeonid Onokhov in fprog_spb

loosely норм

источник

13:56пожаловаться #5

Alexander Vershilov in fprog_spb

чтобы переходить из "динамической" части в "статическую" с проверкой инвариантов

источник

13:56пожаловаться #6

λO

λeonid Onokhov in fprog_spb

опять же ява скрипт

источник

13:56пожаловаться #7

Alexander Vershilov in fprog_spb

при этом сразу же писать всю программу на T, как предлагают последователи принципа all-or-nothing не обязательно

источник

13:57пожаловаться #8

Andrey Ivanov in fprog_spb

ну про скрипт - это железный аргумент конечно ))))

источник

13:57пожаловаться #9

Alexander Vershilov in fprog_spb

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

источник

13:57пожаловаться #10

Alexander Vershilov in fprog_spb

т.е. это хотя бы понятно, почему мы не воюем и куда идём

источник

13:58пожаловаться #11

Alexander Vershilov in fprog_spb

а то, как на докладе было абстрактно больно и понятно почему встречено так

источник

13:58пожаловаться #12

АГ

Александр Гранин in fprog_spb

Существуют ли языки, имеющие сразу и статическую, и динамическую типизацию, но разграничивающие эти области по аналогии с тем, как хаскельный IO разграничивает чистые и нечистые вычисления?

источник

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

Alexander Vershilov in fprog_spb

есть gradual typing

источник

13:59пожаловаться #14

A64m AL256m qn[cores] in fprog_spb

Alexander Vershilov

их поинт в том, что там не называют такие языки скриптовыми явно (как я понял)

Ну да, но другого синонима для "динамически типизированный язык" вроде нету?

источник

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