FedSearch - Federated network search engine

這系列最後要處理的是流程控制結構。說實在有點不太想寫這一段，有看過前年我寫的那堆東西的話應該可以感受到 forth 的控制流程有不少細節要注意。而且在 HN 那篇原文中，作者寫到這邊時也開始偷懶了...但是一個程式語言連流程控制都沒辦法做的話，實在很難拿來做複雜一點的工作，想了想也只好把這個坑填完了。

好在原作者只介紹了一點迴圈的部分，也提供了偷懶用的 opcode，我直接參考原作者給出的脈絡來填坑就好。至於分支流程就當成作業了。不過原文中打算實作的 do ... while 迴圈語法，在 forth 裡應該是不存在的。雖然 forth 中有 do 也有 while ，但搭配起來的結果可能跟作者想像的不太一樣。所以這邊我就直接改成實作 forth 中真正存在的迴圈語法了。

#forth #自己満足

#自己満足 #forth

Last updated 2 years ago

Original post

stackvm · @letoh

12 followers · 128 posts · Server pawoo.net

花了一點時間，總算讓 RPN 計算機進化成解譯器了：
https://pawoo.net/@letoh/109748740030152674

雖然已經可以在裡面編寫新程式，卻需要直接更動原始碼並重新編譯，更糟糕的是需要人腦編譯。這些問題的解答只有一個，就是加上一個編譯器。

#forth #自己満足

#自己満足 #forth

Last updated 2 years ago

Original post

stackvm · @letoh

12 followers · 128 posts · Server pawoo.net

現在的 RPN 計算機就真的只能計算而已，距離一般認知的程式語言還有點遠。接下來要將計算機改造成真正的 forth 解譯器，加入簡單的編寫程式能力。

能編寫程式後代表系統內會存在兩種程式碼：系統原生提供的程式碼，以及基於前者編寫的程式碼。在 forth 中一般會稱為低階的 primitive word 與高階的 forth word。由於兩種 word 依賴的 runtime 不同，要用同樣的核心來執行並不是簡單的事。用低階語言實作的 forth 的確有一些設計技巧可以盡量消除兩種程式碼間的差異，但這些技巧在高階語言實作的 forth 中不太好重現。

要解決這個問題，原文中使用了比較暴力的方法：直接分開處理。直接在字典中增加一個 flag 來判斷哪一種程式碼，並且增加儲存不同種類程式碼的欄位：

struct DictEntry
{
char *word;
int c_flag;
int (*func)(void);
int *def;
int deflen;
};

#forth #自己満足

#自己満足 #forth

Last updated 2 years ago

Original post

stackvm · @letoh

11 followers · 103 posts · Server pawoo.net

今年的作文題目是年假前決定的，準備寫一點實作 forth 的介紹。起初是上個月在 HN 看到的一篇回應：

https://news.ycombinator.com/item?id=13082825

沒想到有人用幾個回應建構出一個 forth 的雛形，看了有點手癢；再來就是黃大一博士的消息，想起小時候看的 F83 入門有點懷念。所以就這麼定下來了。過去嘗試幾次整理實作 forth 的文章，但一直都沒有成功寫完過... 就像實作 monad 的文章一樣，我一直覺得玩 forth 的人不管實作過幾套 forth，至少也該寫過一篇 forth 實作的文章才算圓滿XD

用傳統方法來實作 forth 其實是一種有趣的體驗。哪怕這輩子根本不會再有機會使用 forth，也絕對值得走上一遭，親自體驗一下為什麼玩 forth 的人老是在說這東西不是程式語言，老是排斥用高階語言實作 forth... 以及為什麼玩 forth 的人到最後變得只會實作 forth。

#forth #自己満足

#自己満足 #forth

Last updated 2 years ago

Original post