thebookdescribeabouttypesystems,youcanlearnmoreaboutprogramminglanguage