程序法属于什么类型的法律？

程序法是为保障实体法所规定的权利和义务的实现而制定的诉讼程序的法律，它属于公法范畴。公法主要是调整国家与公民、组织之间关系以及国家机关及其组成人员之间关系的法律。程序法通常规定了如何进行法律诉讼的步骤和方法，确保司法过程的公正、有序进行。

从法律体系的分类来看，程序法和实体法是相对应的概念。实体法规定了人们在政治、经济、文化和社会生活等方面的权利和义务，比如民法规定了平等主体之间的人身关系和财产关系；刑法规定了犯罪和刑罚。而程序法就是为了保障实体法规定的权利和义务能够得以实现而存在的。

我国有一系列重要的程序法，像《中华人民共和国民事诉讼法》，它规定了民事诉讼的程序，当公民之间、法人之间、其他组织之间以及他们相互之间因财产关系和人身关系发生纠纷时，就依据这部法律来进行诉讼。还有《中华人民共和国刑事诉讼法》，它保障了刑法的正确实施，规定了刑事案件的侦查、起诉、审判等程序。另外，《中华人民共和国行政诉讼法》则是用来解决公民、法人或者其他组织与行政机关之间的行政争议。这些程序法的存在，使得法律能够在实际中得到有效的执行。