https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html Доступен (https://blog.rust-lang.org/2017/10/12/Rust-1.21.html) релиз языка программирования Rust 1.21 (http://www.rust-lang.org), развиваемого проектом Mozilla. Язык сфокусирован на безопасной работе с памятью, обеспечивает автоматическое управление памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime. <br><br><br><br><br>По структуре язык Rust напоминает C++, но существенно отличается в некоторых деталях реализации синтаксиса и семантики. Автоматическое управление памятью избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Для распространения библиотек, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo (http://blog.rust-lang.org/2014/11/20/Cargo.html), позволяющий получить нужные для https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#111 Thu, 19 Oct 2017 21:37:42 GMT Простите. nginx отвалился по таймауту пока постил, и я прежде чем подумать, зачем-то ещё раз отправил. Тупанул, каюсь.<br> https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#110 Thu, 19 Oct 2017 21:24:57 GMT Во. С этого надо было начать. Я с самого начала подозревал некорректное использование редукционизма, но никак не мог вас из этого вытянуть в явном виде. А спорить со своими спорными интерпретациями у меня нет никакого желания: есть немалый печальный опыт подобных споров, и сегодня я тщательно избегаю его повторения.<br><br>[disclaimer #1. Я накатал стену текста, за что простите, но у меня выдалось тут несколько свободных часов, и я решил предаться своей любимой графомании. За это я приношу извинения, но, написав, я подумал стоит ли постить, и решил, что я ведь никого не обязываю читать всё это. Я свой кайф от написания уже получил. А если вам не доставляет кайфа это читать, то мне, как заядлому графоману, это в общем-то уже и не очень важно. С другой стороны, может вы таки прочитаете, и это окажется полезным.]<br>[disclaimer #2. Стену я накатал, потом подумал, и решил дополнить неким пояснением, которое может быть будет полезным. Нам недоступна реальность для непосредственного восприятия. Из-за этого, в большинстве https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#108 Thu, 19 Oct 2017 17:25:50 GMT небольшое дополнение:<br><br>на той же "Машине Тьюринга" можно выполнить любой разрешимый алгоритм? там есть понятие "типа"?<br><br> https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#107 Thu, 19 Oct 2017 17:15:22 GMT &gt;&gt;Ну это закономерный приём.<br><br>ну я в принципе ждал ответа вроде этого: "тип" - это .....<br><br>Приведу выдержку из википедии (по вашему совету):<br><br>""" Теория типов<br>В математике, логике и компьютерных науках теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов.<br><br>Теория типов &#8212; математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности &#955;-исчисление с типами.<br><br>Современная теория типов была частично разработана в процессе разрешения парадокса Рассела и https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#106 Thu, 19 Oct 2017 05:58:36 GMT &gt; коментарий без единого слова "тип" ))<br><br>Ну это закономерный приём. Если оппонента смущает какое-то слово, надо пользоваться синонимами.<br><br>&gt; с выше описанным - соглашусь, есть <br>&gt; понятие свойства (свойства как элементов, так и самих множеств), а давайте <br>&gt; уйдём в начало, зачем нужен тип и для чего Рассел ввёл <br>&gt; это понятие (якобы во избежания найденный им же парадоксов (антиномий) в <br>&gt; теории множеств). Советую прочитать соответствующий трёхтомник Рассела.<br><br>Почему лишь Рассела, а не сразу Декарта? Или даже лучше Сократа наверное почитать. Обязательно ведь взять какую-нибудь древность и читать её: чем раньше автор умер, тем больше он понимал в том, о чём писал, так ведь? И даже в том, о чём он не писал, он понимал лучше, надо только хорошенько поискать в его текстах, понимая его слова не прямо, а метафорически.<br><br>Кстати математики вполне себе одолели парадокс Рассела, зайдя к теории множеств несколько иначе. Там вся проблема была в неопределённом местоимении "все".<br><br>&gt; пс: в программирование понятие https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#105 Wed, 18 Oct 2017 20:17:53 GMT коментарий без единого слова "тип" )) с выше описанным - соглашусь, есть понятие свойства (свойства как элементов, так и самих множеств), а давайте уйдём в начало, зачем нужен тип и для чего Рассел ввёл это понятие (якобы во избежания найденный им же парадоксов (антиномий) в теории множеств). Советую прочитать соответствующий трёхтомник Рассела.<br><br>пс: в программирование понятие "тип" сводится всего лишь к размеру занимаемой памяти. И говоря о разном типе строк я считаю - не правильным, так как эти якобы разные типы строк в памяти могут занимать один и тот же размер, и иметь одинаковые значения как минимум всё из нулей и единиц.<br> https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#104 Tue, 17 Oct 2017 16:14:04 GMT &gt;&gt;&gt;То есть, смущает то, что тип имеет несколько разных свойств?<br>&gt; )) так у нас уже "тип" имеет свойство?<br><br>А почему нет? Мы объединяем элементы в множество по каким-то принципам, так? Все эти элементы имеют какие-то общие для них свойства. Я не вижу ничего странного в приписывании этих свойств элементов всему множеству -- с точки зрения теории множеств это может быть не хорошо, за строгостью речи надо следить и всегда различать множество и элемент множества, но с чисто практической точки зрения это удобно. Ну, или если ты не согласен с этими вольностями речи, я могу перефразировать своё предыдущее сообщение, с тем чтобы формулировки были бы достаточно строгими.<br><br>[add]<br>Хотя, бывают свойства и у множеств. Если взять множество целых чисел, то у него есть свойство замкнутости по сложению: сумма любых двух элементов этого множества будет элементом этого множества. Это не свойство какого-то элемента, это свойство именно множества. Впрочем, если мы говорим о том, что байт имеет восемь бит, но это всё же, скорее https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#103 Tue, 17 Oct 2017 15:48:17 GMT &gt;&gt;То есть, смущает то, что тип имеет несколько разных свойств?<br><br>)) так у нас уже "тип" имеет свойство?<br><br> https://ssl.opennet.dev/openforum/vsluhforumID3/112498.html#102 Tue, 17 Oct 2017 14:22:04 GMT &gt;&gt; Если он станет популярен,<br>&gt;уже стал.<br><br>И что же значимое на нём написали? Не начали переписывать, а мля доделали? Ничего?<br>