Я хотел бы понять, в чем разница между этими двумя концепциями программирования. Первый представляет отсутствие типа данных, а во втором тип существует, но информации нет. Кроме того, я признаю, что Unit основан на теоретическом фундаменте функционального программирования, но я до сих пор не могу понять, как можно использовать примитив Unit (например, в программе F #).