объектные типы, то есть объекты, значением которых являются типы — например, переменные типов
частичные типы
рекурсивные типы
функциональные типы, например бинарные функции
универсально квантифицированные типы, такие как параметрические типы
экзистенциально квантифицированные, такие как модули
зависимые типы — типы, зависящие от термов (значений)
уточняющие типы — типы, идентифицирующие подмножества других типов
Предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.
Спочатку нам потрібно добре очистити крупу, для цього пересипаємо її на рівну чисту поверхню і прибираємо розкрилися зернятка, а також зайвий сміття.
Потім чисту гречку перекладаємо в глибоку тарілку і наливаємо в неї проточну воду, так щоб вона повністю закривала крупу. Далі руками або столовою ложкою перемішуємо, після чекаємо коли гречка осяде і обережно зливаємо каламутну воду. Потім знову наливаємо воду і таким чином промиваємо гречані зернятка до тих пір, поки вода на виході не буде чистою.
Крок 2: варимо гречану крупу
Включаємо температуру плити на високий рівень. У каструлю скидаємо промиту гречану крупу, наливаємо необхідний обсяг чистої води, бажано профільтрованої і додаємо сіль за смаком. Далі ставимо каструлю на конфорку і доводимо рідину до кипіння, після цього зменшуємо температуру плити на маленький рівень.
Продовжуємо варити гречану кашу при закритій кришці 20 - 25 хвилин, до тих пір поки гречка не вбере в себе всю рідину. Перші 10 - 15 хвилин кашу не перемішуємо. З потрібного часу вимикаємо вогонь і додаємо вершкове масло.
Крок 3: подаємо розсипчасту гречану кашу
Перед подачею гречану кашу перемішуємо столовою ложкою і після розкладаємо по тарілках. Розсипчастий ароматний гарнір доповнюйте будь-якими стравами з яловичини, свинини, курки, а також обсмаженої або запеченою рибою, разом з різними соусами та підливами. В якості напою відмінно підійде молоко.
примитивные типы, в том числе:
логический тип
целые типы
вещественные типы
ссылочные типы
опциональные типы
обнуляемые типы
Композитные типы, в том числе:
массивы
записи
кортежи
абстрактные типы (АТД, англ. ADT)
алгебраические типы
вариантные типы
подтипы
унаследованные типы
объектные типы, то есть объекты, значением которых являются типы — например, переменные типов
частичные типы
рекурсивные типы
функциональные типы, например бинарные функции
универсально квантифицированные типы, такие как параметрические типы
экзистенциально квантифицированные, такие как модули
зависимые типы — типы, зависящие от термов (значений)
уточняющие типы — типы, идентифицирующие подмножества других типов
Предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.
Крок 1: готуємо крупу
Спочатку нам потрібно добре очистити крупу, для цього пересипаємо її на рівну чисту поверхню і прибираємо розкрилися зернятка, а також зайвий сміття.
Потім чисту гречку перекладаємо в глибоку тарілку і наливаємо в неї проточну воду, так щоб вона повністю закривала крупу. Далі руками або столовою ложкою перемішуємо, після чекаємо коли гречка осяде і обережно зливаємо каламутну воду. Потім знову наливаємо воду і таким чином промиваємо гречані зернятка до тих пір, поки вода на виході не буде чистою.
Крок 2: варимо гречану крупу
Включаємо температуру плити на високий рівень. У каструлю скидаємо промиту гречану крупу, наливаємо необхідний обсяг чистої води, бажано профільтрованої і додаємо сіль за смаком. Далі ставимо каструлю на конфорку і доводимо рідину до кипіння, після цього зменшуємо температуру плити на маленький рівень.
Продовжуємо варити гречану кашу при закритій кришці 20 - 25 хвилин, до тих пір поки гречка не вбере в себе всю рідину. Перші 10 - 15 хвилин кашу не перемішуємо. З потрібного часу вимикаємо вогонь і додаємо вершкове масло.
Крок 3: подаємо розсипчасту гречану кашу
Перед подачею гречану кашу перемішуємо столовою ложкою і після розкладаємо по тарілках. Розсипчастий ароматний гарнір доповнюйте будь-якими стравами з яловичини, свинини, курки, а також обсмаженої або запеченою рибою, разом з різними соусами та підливами. В якості напою відмінно підійде молоко.
Приємного апетиту!