Интересные ссылки

KPG

Познавательная статья в тематике Форт (беллетристика)
Forth: The programming language that writes itself

P.S. И ещё статья Создаем свой блог на Github и Hugo

Victor__v

Hishnik писал(а):

Victor__v писал(а):

JIT? в форте Черезова?
А нафига он форте, где нативная компиляция + оптимизатор?
Не, сделать конечно можно, но смысл...

В Форте, в принципе, и так JIT, если разобраться.

Эм, можете пояснить?
JIT подразумевает развертку условного кода (шитой, байтовый и пр.) в нативный в целях ускорения производительности.

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

Hishnik

Victor__v писал(а):

JIT подразумевает развертку условного кода (шитой, байтовый и пр.) в нативный в целях ускорения производительности.

Формально JIT это просто "just in time", т.е. указание "что происходит", а не "зачем и как". Сравнение идет с интерпретацией, которая заменяется на лету на что-то более производительное. Я не встречал утверждения, что итогом должен быть обязательно нативный код. Форт, если разобраться, и такое может.

Victor__v писал(а):

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

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

Victor__v

Hishnik писал(а):

Формально JIT это просто "just in time", т.е. указание "что происходит", а не "зачем и как". Сравнение идет с интерпретацией, которая заменяется на лету на что-то более производительное. Я не встречал утверждения, что итогом должен быть обязательно нативный код. Форт, если разобраться, и такое может.

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

Hishnik писал(а):

Victor__v писал(а):

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

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

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

Hishnik

Victor__v писал(а):

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

Вот как раз с интерпретацией - корректно

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

Victor__v писал(а):

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

Ну вот СПФ пошел по пути воссоздания популярных подходов без общей концепции развития. Если с СПФ работать в режиме предварительной компиляции с сохранением exe, теряется очень много. По крайней мере, ранние GUI-приложения в примерах СПФ убирали консоль, и при этом ничего особенного не представляли в части оконного программирования. Просто воссоздание вызовов GDI, с ручным кодированием событий, регистрацией оконных классов и т.д. Это неинтересно.

KPG

https://www.youtube.com/@Forth2020

Hishnik

Дошел до запуска J1 на очередной плате с FPGA. Закрыл.

KPG

Hishnik писал(а):

Дошел до запуска J1 на очередной плате с FPGA. Закрыл.

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

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

Forth Computing on FPGA

Цитата:

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

Продукт, процессор F18, представляет собой программный процессор, разработанный в Verilog на основе процессора J1, разработанного Джеймсом Боуменом. В отличие от J1, ЦП имеет 18-битный набор инструкций, поэтому в набор команд можно легко добавить инструкции относительного перехода и вызова. Также был реализован интерфейс UART и специализированный интерфейс VGA для запуска простой игры в понг.

Hishnik

KPG писал(а):

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

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

KPG писал(а):

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

Ну и какие выводы?

Цитата:

Forth Computing on FPGA

GPIO, UART, VGA. Ну да, собрались группой, завели веб-страничку, сделали курсовую.

KPG

Hishnik писал(а):

Ну и какие выводы?

GPIO, UART, VGA. Ну да, собрались группой, завели веб-страничку, сделали курсовую.

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

а может и сделали, но положили на полку и забыли.

P.S. Teaching Stackmachines With A Slow Forth

Hishnik

KPG писал(а):

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

А что же я тогда курсовые уже не первый год подписываю, многие из которых классом выше?

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

KPG писал(а):

но положили на полку и забыли.

Есть вполне штатный репозиторий, с доступом для сотрудников. Но зачем из этого делать мировые новости, совершенно непонятно.

KPG

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 из конкатенативных.

KPG

Интересно, что в 1986г. на AppleII компьютере эксперементировали с AI нейронами на Форте.

AppleII-AI_MachineLearning

KPG

Кто то решает задачи из текушего Advent of Code 2023
на Factor языке https://github.com/Kacarott/AOC

Victor__v

Смотрите, что нашёл)

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

Да, метод (!) был запатентован!!!
Патент, правда истёк в 2013 году

Интересные ссылки

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