Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Пт мар 29, 2024 03:45

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 101 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7  След.
Автор Сообщение
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Вс май 17, 2015 17:20 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
gudleifr писал(а):
Рассматривать FORTH не как язык, а как метод. Мур:

Рассматривать можно сколько угодно. Делать-то что? Метод - это совокупность действий, поэтому без конкретных реализаций все равно не обойтись. К тому же метод, разработанный 40-50 лет назад, явно нуждается в пересмотре, тем более в такой динамичной области, как программирование. А то, ссылаясь на Мура, можно и на блоках настаивать, и даже прецеденты на форуме были. Полезного у Мура то, что он предъявил практическую работоспособность связки "стек + регулярная грамматика + словарь на связанном списке". Дальше надо уточнять самостоятельно, применительно к аппаратуре и ОС.

gudleifr писал(а):
Скорее, по мере роста сложности решаемых задач, программист, независимо от того, писал ли он на FORTH-языке, приходит к пониманию FORTH-метода.

А на практике он может в свободное время заниматься функциональными языками, многопоточным программированием и облачными вычислениями. И на вопрос "когда же будет Форт" удивится и расскажет, какой это неправильный, нефункциональный, необъектный, нетипизированный и необлачный язык. Поэтому надо сначала определиться, нужно ли действительно развивать форт-методологию, или за этим скрывается желание представить себя, любимого, как носителя сакрального знания, непонятного простым смертным. В этом качестве можно с придыханием говорить не только о Форте, но и о лямбде, CUDA или Nemerle - тоже модно. А вот чтобы развивать, надо сначала спросить у людей, что же им надо (безотносительно Форта), и из их ответов составить перечень мероприятий, которые им искомое дадут. И при этом не пытаться заткнуть любую дыру, "потому что Форт - суперязык".


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Вс май 17, 2015 17:49 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:19, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Вс май 17, 2015 18:13 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
gudleifr писал(а):
Давайте замнем, пока это не отмодерируют в отдельную тему. Ведь, Вы уже на целый раздел CS наговорили. Даром, что ерунду.

Ну, если у Вас адреналин кончился, и остались только ярлыки, можно и закончить :)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Вс май 17, 2015 18:17 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:19, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 06:36 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
Выйдет нереентерабельно, а значит в принципе непригодно к многозадачности.
??? "Нереентерабельность" циклов BEGIN... Вас же не беспокоит?
Они реентерабельны.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 06:55 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
У меня есть массив в 256 ячеек. И я прыгаю с ячейки на ячейку, перебирая их в конструкции "DO обработка прыжок +LOOP". Должен ли цикл заканчиваться при переходе от 250 ячейки к 5-й (ведь для 8-разрядного компьютера значения прыжка -245 и +11 неразличимы, и хотя первое вылезает за пределы разрядности, считается-то оно корректно и вполне может случиться)?
Так это зависит от того какой предел цикла. Предел цикла в вопросе не назван.
И какой из двух разных правильных подходов к DO +LOOP используется. Я же писал, что подходов разных правильных ровно два. Назовем эти походы АНСИ-стиль и Фиг-стиль. Так вот.

Если предел 0, то цикл завершается в обоих стилях.
Если предел +20, то не завершается ни в одном стиле.
А вот если -20, то в Фиг-стиле завершается, а в АНСИ-стиле нет.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 10:37 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:19, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:12 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
чтобы
DO ... LOOP
было эквивалентно
DO ... 1 +LOOP
+LOOP по ANSI-94 должен дополнительно проверять знак приращения.
Ни фига все не так. Что в ANSI-стиле, что в Фиг-стиле DO LOOP это в точности DO 1 +LOOP . Но проверять знак нужно только в Фиг-стиле. Поскольку только в Фиг-стиле нулевое приращение может завершить цикл именно из-за того, что у 0-ля условно есть положительный знак.


Последний раз редактировалось Ethereal Ср май 20, 2015 16:20, всего редактировалось 1 раз.

Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:15 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
Так это зависит от того ... какой из двух разных правильных подходов
Наличие двух разных правильных подходов, дающих различные результаты, тоже называется неразрешимостью.
Нет, это называется вопросом выбора. Это как выбор между использованием обратного или дополнительного кода в ЭВМ. Никто не называет этот выбор неразрешимостью.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:17 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
Они реентерабельны.
Значит, реентерабельность не обязательно связана с использованием стека циклов? Логично?
Реентерабельность связана с отсутствием нереентерабельности. Вот это логично.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:25 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:20, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:53 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
в ANSI-стиле
Проверяется пересечение границы между "границей минус один" (в арифметическом смысле) и "границей", чего в общем случае нельзя сделать, не зная знака.
Можно. И именно так и делается.
Я вычитаю из индекса предел цикла. Меняю знаковый разряд результата вычитания на противоположный. Получаю нечто. Тут не глядя извлекаю из цилиндра приращение и прибавляю к нечто. Если произошло переполненение при сложении, то цикл завершился. А знака приращения я так и не узнал. Да и собственно все равно каким он был.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:56 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:20, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 16:59 
Не в сети
Аватара пользователя

Зарегистрирован: Ср фев 23, 2011 20:42
Сообщения: 600
Откуда: Карелия
Благодарил (а): 3 раз.
Поблагодарили: 24 раз.
gudleifr писал(а):
Ethereal писал(а):
Реентерабельность связана с отсутствием нереентерабельности.
А причем тут стек циклов или его отсутствие?
Если переменные цикла хранить на стеке, то код реентерабелен. А если сделать переменные цикла именно переменными, ну как в Си и Паскале, то тогда программист может их объявить как локальными, так и глобальными, а если они окажутся глобальными, то тогда код не реентерабелен.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Ошибки в известных реализациях Форта и их исправление.
СообщениеДобавлено: Ср май 20, 2015 17:06 
<удалено из-за того, что коллега mOleg этого не понял>


Последний раз редактировалось gudleifr Пн июн 08, 2015 21:20, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 101 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7  След.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 14


Вы не можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB