Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Вт мар 19, 2024 09:54

...
Google Search
Forth-FAQ Spy Grafic

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




Ответить
Имя пользователя:
Заголовок:
Текст сообщения:
Введите текст вашего сообщения. Длина сообщения в символах не более: 60000

Размер шрифта:
Цвет шрифта
Настройки:
BBCode ВКЛЮЧЕН
[img] ВЫКЛЮЧЕН
[flash] ВЫКЛЮЧЕН
[url] ВКЛЮЧЕН
Смайлики ВЫКЛЮЧЕНЫ
Отключить в этом сообщении BBCode
Не преобразовывать адреса URL в ссылки
Вопрос
Теперь гостю придется вводить здесь пароль. Не от своей учетной записи, а ПАРОЛЬ ДЛЯ ГОСТЯ, получить который можно после регистрации на форуме через ЛС.:
Этот вопрос предназначен для выявления и предотвращения автоматических регистраций.
   

Обзор темы - Интересные ссылки
Автор Сообщение
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Математическую формулу нельзя, а метод/устройство, которое ее реализует - можно. Но патент будет относиться именно к той конкретной схеме, которая заявлена, или к наиболее характерному участку схемы, который тоже можно заявить. Показательный пример в патентоведении - игла для швейной машинки с ушком у острия. Как ни крути, это не обойти с помощью других элементов конструкции, потому что все равно ушко у острия получается, а оно защищено. Когда устройство сложнее, появляются и способы обойти патент.
Сообщение Добавлено: Ср дек 27, 2023 17:40
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Hishnik писал(а):
Такого достаточно много. У патентов есть две тонкости:
1. Это не гарантия, что кто-то возьмет и сразу купит. Даже у этого патента срок действия закончился из-за неуплаты пошлины.
2. Патент защищает в точности ту конструкцию или порядок действий, которые описаны. Изменения и улучшения выводят конструкцию из-под патента. Определенные виды сопряжения с другими устройствами выводят конструкцию из-под патента. Публикации с ранней датой, на основе которых можно сделать подобную конструкцию, выводят ее из-под патента. Ну и т.д.


Я в сфере авторского права и патентов мало что понимаю, но разве вообще математический метод/способ вычисления результата можно запатентовать?
Сообщение Добавлено: Ср дек 27, 2023 15:26
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Такого достаточно много. У патентов есть две тонкости:
1. Это не гарантия, что кто-то возьмет и сразу купит. Даже у этого патента срок действия закончился из-за неуплаты пошлины.
2. Патент защищает в точности ту конструкцию или порядок действий, которые описаны. Изменения и улучшения выводят конструкцию из-под патента. Определенные виды сопряжения с другими устройствами выводят конструкцию из-под патента. Публикации с ранней датой, на основе которых можно сделать подобную конструкцию, выводят ее из-под патента. Ну и т.д.
Сообщение Добавлено: Ср дек 27, 2023 13:35
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Смотрите, что нашёл)

Алгоритм перемножения многозначных чисел с помощью матрицы.

Да, метод (!) был запатентован!!!
Патент, правда истёк в 2013 году :D
Сообщение Добавлено: Ср дек 27, 2023 12:49
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Кто то решает задачи из текушего Advent of Code 2023
на Factor языке https://github.com/Kacarott/AOC
Сообщение Добавлено: Ср дек 13, 2023 15:44
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Интересно, что в 1986г. на AppleII компьютере эксперементировали с AI нейронами на Форте. :)
AppleII-AI_MachineLearning
Сообщение Добавлено: Вт дек 12, 2023 14:22
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Mirth
Цитата:
Mirth — это новый строго типизированный конкатенативный язык программирования.

Мирт вдохновлен Forth, Joy, Haskell, Lisp и теорией моноидальных категорий.

Этот репозиторий представляет собой находящуюся в разработке реализацию Mirth. Если вам интересно, поддержите разработку Mirth на Patreon. Спасибо за ваше время и щедрость.

Hello, world!
Цитата:

||| A simple hello world program to show off the mirth language.
module(examples.hello-world)
import(prelude)
import(platform.posix)

target-c99("hello-world.c",
"Hello, world!" str-print-ln!)


P.S. Вроде собирается в С файл из файла с ассемблером для сборки бинарного файла.

Интересно, что разработчик этого языка typeswitch-dev (предположительно из Португалии) отметился и на площадке code.golf на первом месте в решении задач на Форт языке что для многих,
судя по рейтингу не зашло, , а кто то сгeнерировал решения какой то авто-тулзой :)

Рядом на этой площадке представлен и язык Factor из конкатенативных.
Сообщение Добавлено: Вт дек 12, 2023 03:02
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
KPG писал(а):
Выводы, что это материал не от Российских студентов, которые не собрались и не сделали

:))
А что же я тогда курсовые уже не первый год подписываю, многие из которых классом выше? :) И что характерно, делаются на одного человека, а не на толпу, и без лишнего ажиотажа. Целая группа заданий - именно простые видеоигры, а "отлично" - это если подключаем к монитору, и на экране игра.

KPG писал(а):
но положили на полку и забыли.

Есть вполне штатный репозиторий, с доступом для сотрудников. Но зачем из этого делать мировые новости, совершенно непонятно.
Сообщение Добавлено: Вс дек 10, 2023 22:51
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Hishnik писал(а):
Ну и какие выводы? :)
GPIO, UART, VGA. Ну да, собрались группой, завели веб-страничку, сделали курсовую.

Выводы, что это материал не от Российских студентов, которые не собрались и не сделали и тем более не сделали и видео :)
а может и сделали, но положили на полку и забыли.

P.S. Teaching Stackmachines With A Slow Forth
Сообщение Добавлено: Вс дек 10, 2023 20:43
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
KPG писал(а):
т.е. не добрался до просмотра видео от разработчика DuskOS?

"Библиотека системного программиста, том 6". Вот там все уже было описано в 1990-каком-то году. Может быть и интересно мигать курсором на черном экране "из своей ОС", но дальше домашнего развлечения это не уйдет.
KPG писал(а):
А, в видео про J1 - некоторая проба оценить бенчмарк этого решения и сделать ещё какие то выводы.

Ну и какие выводы? :)
Цитата:
Forth Computing on FPGA


GPIO, UART, VGA. Ну да, собрались группой, завели веб-страничку, сделали курсовую.
Сообщение Добавлено: Вс дек 10, 2023 17:22
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Hishnik писал(а):
Дошел до запуска J1 на очередной плате с FPGA. Закрыл.

т.е. не добрался до просмотра видео от разработчика DuskOS? :)

P.S. А, в видео про J1 - некоторая проба оценить бенчмарк этого решения и сделать ещё какие то выводы.

Forth Computing on FPGA

Цитата:
Целью этого проекта является разработка Arduino-подобной платы/платформы на основе программного процессора на базе FPGA с набором команд, специально разработанным для FORTH.

Продукт, процессор F18, представляет собой программный процессор, разработанный в Verilog на основе процессора J1, разработанного Джеймсом Боуменом. В отличие от J1, ЦП имеет 18-битный набор инструкций, поэтому в набор команд можно легко добавить инструкции относительного перехода и вызова. Также был реализован интерфейс UART и специализированный интерфейс VGA для запуска простой игры в понг.
Сообщение Добавлено: Вс дек 10, 2023 14:09
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Дошел до запуска J1 на очередной плате с FPGA. Закрыл.
Сообщение Добавлено: Сб дек 09, 2023 20:37
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
https://www.youtube.com/@Forth2020
Сообщение Добавлено: Сб дек 09, 2023 19:09
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Victor__v писал(а):
Эм? ИМХО сравнение с интерпретацией некорректно сейчас все интерпретируемые языки позволяют создавать функции, которые так или иначе интерпретационный текст преобразуют в условный промежуточный код.

Вот как раз с интерпретацией - корректно :) Потому что если уж интерпретируемые языки начинают компилировать, то они уже перестают быть чистыми интерпретаторами. С Фортом вопрос в том, что сочетание простейших приемов трансляции дает постфиксную запись на входе и конкатенативную компиляцию "на лету" в части создания кода.

Victor__v писал(а):
Это, конечно, понятно, yо контекст был конкретно про один конкретный форт – СПФ.

Ну вот СПФ пошел по пути воссоздания популярных подходов без общей концепции развития. Если с СПФ работать в режиме предварительной компиляции с сохранением exe, теряется очень много. По крайней мере, ранние GUI-приложения в примерах СПФ убирали консоль, и при этом ничего особенного не представляли в части оконного программирования. Просто воссоздание вызовов GDI, с ручным кодированием событий, регистрацией оконных классов и т.д. Это неинтересно.
Сообщение Добавлено: Пт дек 08, 2023 17:51
  Заголовок сообщения:  Re: Интересные ссылки  Ответить с цитатой
Hishnik писал(а):
Формально JIT это просто "just in time", т.е. указание "что происходит", а не "зачем и как". Сравнение идет с интерпретацией, которая заменяется на лету на что-то более производительное. Я не встречал утверждения, что итогом должен быть обязательно нативный код. Форт, если разобраться, и такое может.


Эм? ИМХО сравнение с интерпретацией некорректно сейчас все интерпретируемые языки позволяют создавать функции, которые так или иначе интерпретационный текст преобразуют в условный промежуточный код.

Hishnik писал(а):
Victor__v писал(а):
Зачем JIT нужен в форте, который компилирует непосредственно машинный код?

Создание исполняемого файла в Форте как раз не основной режим. А вот компиляция на лету и работа в интерактивном режиме, в том числе с докомпиляцией пользовательского ввода уже существенно отличается от чисто компилируемых языков, у которых такого вообще нет. Соответственно, и вопрос, зачем делать из Форта неудобный и медленный Си, когда можно сделать удобный интерпретатор командной строки с динамической компиляцией.


Это, конечно, понятно, yо контекст был конкретно про один конкретный форт – СПФ. :D
Сообщение Добавлено: Пт дек 08, 2023 17:23

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


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