Experimental functional programming language