FAQ about the Egel Language

This is a FAQ where I preemptively try to answer questions I think people will have and document some design decisions.

No type system? Are you serious?

Yes, and no. Or, no and yes. There isn’t a type system for various reasons:

Eager rewriting? Surely modern math would suggest a lazy system?

What is this combinator rewriting you talk about?

Do you support tail calls?

I am implementing cool product X. Should I include Egel for scripting?

Combinators are represented as C++ objects? Isn’t this too expensive?

Why do you reference count?

Your bytecode doesn’t support standard arithmetic?

There’s no concurrency in the VM? Where’s the stack?