commit f9e0659d358ead3e91dc204585d465fa23440a38
from: Aleksey Ryndin <continue@to.any-key.press>
date: Mon Oct 28 16:11:07 2024 UTC

Add /capsule/forth/preForth.gmi

commit - 3ed57848e51fe3bc22e8f2a6c074a5f709f6bc90
commit + f9e0659d358ead3e91dc204585d465fa23440a38
blob - 4cf1ae339dbbaa4b6f52daacf4994d01b68bee73
blob + 3879308da7584de4ee44bea4c3012c5a9efe1596
--- capsule/atom.xml
+++ capsule/atom.xml
@@ -8,7 +8,13 @@
         <name>continue</name>
         <email>continue@to.any-key.press</email>
     </author>
-    <updated>2024-10-16T11:48:56.083067+00:00</updated>
+    <updated>2024-10-28T16:01:43.965865+00:00</updated>
+    <entry>
+        <id>gemini://any-key.press/forth/preForth.gmi</id>
+        <link href="gemini://any-key.press/forth/preForth.gmi" rel="alternate"/>
+        <title>Forth 🏰 "Новый синтез" / "New synthesis": preForth, seedForth</title>
+        <updated>2024-10-28T16:01:43.965865+00:00</updated>
+    </entry>
     <entry>
         <id>gemini://any-key.press/vostok/lonk.gmi</id>
         <link href="gemini://any-key.press/vostok/lonk.gmi" rel="alternate"/>
blob - da503ec4fcca9a77389c70a0dcb74e73a46494e9
blob + 262608c28a1b7559a7657356d1332c40a9a5a996
--- capsule/forth/index.gmi
+++ capsule/forth/index.gmi
@@ -8,6 +8,7 @@
 
 В этом разделе капсулы собраны материалы, которые прямо или косвенно относятся к языку программирования и интегрированной среде разработки Forth.
 
+=> preForth.gmi "Новый синтез" / "New synthesis": preForth, seedForth
 => cf2023.gmi colorForth: радикальный минимализм Чака Мура
 => retro.gmi Retro: современный диалект Forth
 => introduction.gmi Моё знакомство с Forth
blob - /dev/null
blob + 6635951e71f357136f2ca0c0f0e4770cd0591d5d (mode 644)
--- /dev/null
+++ capsule/forth/preForth.gmi
@@ -0,0 +1,36 @@
+# "Новый синтез" / "New synthesis": preForth, seedForth
+
+В федимире промелькнуло сообщение, которое напомнило о том, что на FOSDEM в 2020 году было отличное выступление, которое провёл Ulrich Hoffmann. В своей небольшой лекции он рассказал о симпатичной реализации Форт-системы: preForth и seedForth. 
+
+Внешние ссылки:
+=> https://www.youtube.com/watch?v=5vYUTQAfzr4 Запись выступления на youtube, где есть довольно подробное текстовое описание проекта.
+=> https://mirrors.dotsrc.org/fosdem/2020/AW1.125/forth_new_synthesis.mp4 Видео запись выступления (mp4, 142.2 MiB)
+=> https://mirrors.dotsrc.org/fosdem/2020/AW1.125/forth_new_synthesis.webm Видео запись выступления (webm, 112.6 MiB)
+=> https://github.com/uho/preForth Репозиторий с исходным кодом на github
+
+Проект разделил реализацию Форт-системы на два компонента:
+* preForth: минималистичное неинтерактивное ядро Forth, которого должно быть достаточно для сборки самого себя ("can bootstrap itself"). По заявлениям авторов preForth может использоваться как портируемая основа для полной реализации Forth или реализации других языков программирования. С моей точки зрения эти требования не выполнены (смотри следующий раздел).
+* seedForth: уже более комплексная реализация виртуальной машины Forth.
+
+## preForth
+
+preForth это проект небольшого минимально ядра Forth. Собирается он из preForth.asm, который не храниться в репозитории, а генерируется с использованием gforth. Потом полученный preForth.asm ассемблируется fasm'ом, а результирующий объектный файл компоновщиком ld превращается в исполняемый ELF. На Linux это выглядит как-то так:
+
+```
+cat preForth-i386-rts.pre preForth-rts.pre preForth-i386-backend.pre preForth.pre \
+    | gforth load-i386-preForth.fs > preForth.asm
+
+fasm preForth.asm preForth.Linux.o
+
+LDEMULATION=elf_i386 ld -arch i386 -o preForth.Linux \
+   -dynamic-linker /lib32/ld-linux.so.2 \
+   /usr/lib/i386-linux-gnu/crt1.o /usr/lib/i386-linux-gnu/crti.o \
+   preForth.Linux.o \
+   -lc /usr/lib/i386-linux-gnu/crtn.o
+```
+
+Получилось, как по мне, жирновато для минималистичного бустрапера (gforth + fasm + ld). Про использование докера я промолчу, ведь никто не требует сборку именно в нём.  Но заявление авторов о "can bootstrap itself" в отношении preForth с учётом требования fasm и компоновщика из gcc выглядит немного преувеличенным.
+
+Да, стоит отметить, что собирается это все в 32-х разрядном режиме. Могу предположить, что идея была в том, что бы одним asm файлом охватить i386 и amd64 Linux-системы. Но, например, на OpenBSD такой фокус не пройдёт. С другой стороны arm, arm64, да и riscv системы уже не редкость (я, откровенно говоря, не в курсе совместимости elf файлов для i386 с этими аппаратными архитектурами в Linux).
+
+Честно говоря у меня в голове уже давно маринуется идея написать что-то похожее, но без начального требования какого-либо Forth на системе. Плюс мне не нравится зависимость от внешнего ассемблера. Поэтому, хотя именно эта конкретная реализация меня не устроила, проект preForth даёт положительный пример того, что это в каком-то виде реализуемо.