Ask HN: Anyone to try new languages for the upcoming AoC?

I think I'll use the upcoming AoC as an excuse to learn Racket or C++ (I code mainly in Python at work and Haskell for play). But I might try something exotic like Idris or Agda too