Is this a type error? (2)

Continuation of previous post: Is this a type error?.

I wrote a small lisp-like language. To create a variable in this language you would write:

1(define x 1)

in JavaScript, you would write:

1const x = 1;

Because define is structurally similar to a function, language handles it in the same manner (but it doesn’t evaluate the first argument).

It is possible to write, for example:

1(define 1 1)

But this is an error, first argument suppose to be “symbol”, not a number. So I added following check:

1if (typeof first !== "string") {
2  throw new TypeError(
3    `"${name}" expects symbol as the first argument, instead got "${first}"`
4  );
5}

In this language, this considered to be a type error, but in many other languages it would be a syntax error, for example, in JS:

1const 1 = 1
2// SyntaxError: missing variable name

I can change the code - move this check to the parser, then an error will become syntax error. On the other side if I will add quote and eval to the language I still can get this error (at eval stage):

1(eval (quote (define 1 1)))

Just another interesting case of how the same error can be interpreted as a type error or not depending on the point of view.

Except where otherwise noted, content on this site is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 4.0