我正在为我创建的静态类型语言编写解释器。解释器是用 C 语言编写的。为简单起见，我将仅列出两种基本数据类型，int 和 float。
我需要某种可以存储的结构：
types 可以只是基本数据类型之一，也可以是数组或函数。因此，一个函数返回一个返回一个 int 的函数是有效的。
我知道我可以使用联合存储基本数据类型，但我不知道如何存储函数、数组和类型声明。
【问题讨论】：
标签： c arrays data-structures struct interpreter
阅读SICP，然后阅读Lisp In Small Pieces。它们很好地涵盖了您的问题。
您可能还想阅读Programming Language Pragmatics 和Dragon Book
一个基本概念是closure。您需要拥有它们（如果您想要一流的函数值和更高级别的函数）。
请注意，类型声明主要是源代码。你想要abstract syntax trees (AST)，也许就像s-expressions 一样简单。您可以拥有symbol table，或者可以拥有一流的symbols（以interned strings 开头）。
您不需要像 C 中那样简单的 union-s，而是需要 tagged unions 或 sum 类型。你当然想要garbage collector。你可以使用Boehm's GC。
寻找简单的Scheme-like 解释器，例如here。学习SIOD。
研究现有free software 解释器的源代码，例如Lua，Guile，等等等等……
【讨论】：
在objective-c中，所有对象（不是像int这样的原语）基本上都是一个结构，其中第一个对象是指向名为isa的元对象的指针，所以类似于（这在没有元对象的情况下被简化，只是一个类型指示符int）：
typedef struct{
int isa;
int intVal;
float floatVal;
} ObjectType;
#define INT_TYPE 1
#define FLOAT_TYPE 2
ObjectType * newObject(int type, int intVal, float floatVal)
{
ObjectType * r = calloc(sizeof(ObjectType *),1);
r->isa=type;
if (type == INT_TYPE)
{
r->intVal=intVal;
}else if (type == FLOAT_TYPE)
{
r->floatVal=floatVal
}else{
free(r);
return NULL;
}
return r;
}
然后为 float 和 int 创建一个 getter...这将是一个非常简单的开始。
【讨论】：