I am regularly impressed with range of dialects available in Racket. For example, strongly typed without parens: https://github.com/takikawa/sweet-racket