Scheme

Type System: Dynamically typed
Memory Management: Garbage Collected (Automatic)

Features

• S-expression based syntax
• Hygenic macro system
• Proper tail recursion
• First class continuations
• First class functions (closures)
• Full numerical tower

References

https://schemers.org/Documents/Standards/R5RS/HTML/