A language that maps functions against a dimensional net of bits