Ciao 是一個用于一般用途的編程語言，支持邏輯、常量、函數、高階和面向對象編程風格。提供強大的表達式、可擴展性、安全性和可靠性。