Cтраница 2
В теории типов большое значение придается обеспечению корректности программирования. Особенно это существенно для бестиповых ( typeless) языков программирования, таких как Лисп, Пролог, Смолтолк и другие. В них программисты могут без ограничений определять и использовать объекты различных типов, контроль типов которых целиком осуществляется лишь во время выполнения программы. Теория типов создает предпосылки для автоматической проверки правильности вычислений без выполнения функций. Это в свою очередь необходимо для создания эффективных и надежных интерпретаторов и трансляторов, а также для синтеза программ. [16]
Согласно теории типов, различные радикалы, образующие молекулу, не обладают двумя противоположными зарядами; в связи с этим система Жерара получила название унитарной системы в противоположность представлениям Берцелиуса, нашедшим отражение в теории радикалов. [17]
Сама теория типов опиралась на следующие факты, подвергшиеся в ней обобщению. [18]
Согласно теории типов, различные радикалы, образующие молекулу, не обладают двумя противоположными зарядами; в связи с этим система Дерара получила название унитарной системы в противоположность представлениям Берцелиуса, нашедшим отражение в теории радикалов. [19]
Сама теория типов опиралась на следующие факты, подвергшиеся в ней обобщению. [20]
Согласно теории типов, различные радикалы, образующие молекулу, не обладают двумя противоположными зарядами; в связи с этим система Жерара получила название унитарной системы в противоположность дуалистическим представлениям Берцелиуса, нашедшим отражение в теории радикалов. [21]
По теории типов в зависимости от того, замещен ли атом водорода на отрицательный радикал или атом или же на положительный, образуется кислота или основание. [22]
По теории типов многообразие веществ сводится к нескольким типам простейших молекул: воды, аммиака, хлористого водорода, метана. Эти же молекулы Франклин принял за типовые вещества ( parent substance), производные которых составляют соответствующую систему соединений. [23]
В теории типов была сделана попытка построить систематику органических веществ и их реакций. Согласно этой теории, каждое органическое соединение по характеру типичных для него реакций можно-отнести к соответствующему типу. В качестве типичных соединений, под типы которых подводились все органические вещества, первоначально рассматривались простейшие, например: водород, вода, хлористый водород, аммиак, позднее-метан. [24]
Хотя теории типов Лорана и Дюма способствовали выполнению такой важной задачи того времени, как широкая классификация органических соединений, но из сказанного выше видно, что сам принцип, положенный в их основу, был ошибочен и малоплодотворен. [25]
Основоположник теории типов Жерар предложил разделить органические вещества на группы, близкие по своему типу к воде, хлористому водороду, аммиаку. [26]
Основоположник теории типов Жерар предложил разделить органические вещества на группы, близкие по своему типу к воде, хлористому водороду, аммиаку. Несколько позднее Кекуле ввел и тип метана. [27]
Основоположник теории типов Жерар предложил разделить органические вещества на группы, близкие по своему типу к воде, хлороводороду, аммиаку. [28]
Заслугой теории типов является уточнение понятий о гомологических рядах и химических функциях ( см. ниже), окончательно освоенных органической химией. [29]
Так возникла теория типов - та самая теория, кото-зая господствовала в органической химии, когда пре-юдавание ее в Петербургском университете поручили Менделееву. [30]