Give me a list of the most "high brow" programming languages meaning those that are utilizing some of the highest concepts from computer science. There should be exactly 2 paragraphs separated by the markdown divider: ***.
user