Rakentaja (ohjelmointi)

datakonstruktori on staattinen -funktio, jossa on tyhjä runko ja joka muodostaa algebrallisen tietotyypin objektin . Tyyppikonstruktori on tyypitetty muodollinen kielirakenne , joka rakentaa uusia tyyppejä vanhoista.