Solenoid functional language