Pure
Pure is a functional programming language that supports static typing and algebraic data types. It is primarily used for academic purposes and research in the area of functional programming and type systems.
Hello, world code example:
using system;
puts "Hello world!\n" ;
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.