Что за тип Unit в Haskel Rust Kotlin? Чем отличается от Void?

Question

[Даниил]

Раз 500 прочел, не понял ни разу.
Можно ли увидеть аналог пример кода на c# java с этим типом? Как-то наглядно продемонстрировать отличие от void. Иначе никак не пойму?
А еще, вот к примеру я придумал, почему нету(может этот тип и есть), К примеру в c# есть понятие Boxing типов при касте через object
int a=(int)(object)1;
Что довольно дорого и долго. С выделением памяти в куче.
А почему нету Типа, который ни чего не упаковывает, а просто передает двойное машинной слово? Ведь это прекрасно покроет все простые структурные типы, int char double., Enum, кортежи в 8 байт. А все остальное уже как объект.

void fun(object obj){}
void fun(struct obj){} 
// почему такого нету, вроде же легко можно добавить, я куча раз сталкивался, 
// когда дженерик писать прям в лом, или большие изменения внесет, или еще что, 
// а передать надо byte int double

Comments

[Евгений]

По поводу второго.
Сборщику мусора нужно знать что у вас лежит внутри этих 8 байт просто число или ссылка на объект.
Можно создать структуру вида:
```

[StructLayout(LayoutKind.Explicit)]
struct WidePointer {
   [NonSerialized, FieldOffset(0)] public WidePointerType Type;
   [NonSerialized, FieldOffset(1)] Int IntValue;
   [NonSerialized, FieldOffset(1)] byte ByteValue;
   ...
   [NonSerialized, FieldOffset(9)] object ObjectValue;
}

enum WidePointerType(byte) {
   Int, Byte, ..., Object
}

```
Но важно что бы ObjectValue всегда был или null или ссылкой на реальный объект, нельзя поместить его в ту же область что value-типы.

Answer 1

[Василий Банников]

void означает, что функция ничего не возвращает. Такие функции не получится использовать в выражениях и их результат нельзя никуда присвоить. Из-за этого многие обобщённые вещи приходится писать по два раза: один раз для обычных функций и ещё раз для функций, которые возвращают void.
Такие функции ещё называют процедурами.

unit же напротив является значением, просто всего с одним возможным вариантом. Компиляторы часто его оптимизируют так, что он занимает 0 байт и не требует никаких инструкций для передачи. То же самое с указателем на юнит.

Можно ли увидеть аналог пример кода на c# java с этим типом?

Нельзя, тк в их системе типов такого типа просто нет. Можно его имитировать при помощи пустой структуры например.
Но в мире дотнета есть f#, а в мире жавы - скала и котлин.

А еще, вот к примеру я придумал, почему нету(может этот тип и есть), К примеру в c# есть понятие Boxing типов при касте через object
int a=(int)(object)1;
Что довольно дорого и долго. С выделением памяти в куче.
А почему нету Типа, который ни чего не упаковывает, а просто передает двойное машинной слово? Ведь это прекрасно покроет все простые структурные типы, int char double., Enum, кортежи в 8 байт. А все остальное уже как объект.

1. А что делать если тебе боксинг явно нужен?
2. А где ты будешь метаданные передавать? Как в такой ситуации отличить тот же long от ссылки на объект?
3. По спецификации передаётся ссылка, а не двойное машинное слово.

И каким боком боксинг имеет отношение к юниту?

Comments

[Даниил]

"И каким боком боксинг имеет отношение к юниту?" Дак я не понимаю, У меня 100 вариантов ответа. На подобии. Вариант №99. функция с ним автоматически Инлайнится.
Вопрос, чисто, на тему, А что можно придумать.
2. Такое в небезопасном коде в можно, с слабой типизацией делать.
Есть примеры, несколько раз сталкивался, с таким. диспетчеризацией в основном.
Определить можно по месту вызова метода. Если сюда попал то уже понятно что делать. и другие данные просто не дойдут, на совести программиста.
Или Типа объект носителя решит какой это тип будет.

Просто порой писать дженерик не хочется, когда название Класса по смыслу с типом не сочетаются. К примеру
Point<int> Point<float> легко понимается.
А если там я не знаю User<int> как-то непонятно выглядит.

[Василий Банников]

Даниил,

Такое в небезопасном коде в можно, с слабой типизацией делать.

Ну во-первых у нас тут строгая типизация, а во вторых при боксинге для интерейсов ожидается ссылка на объект.

[Василий Банников]

Даниил,

А если там я не знаю User<int> как-то непонятно выглядит.

Можешь дать пример, где такой женерик может возникнуть?

Answer 2

[mayton2019]

Я не понимаю зачем ты поставил такое число тегов? Мы что здесь 4 разных языка обсуждать будем?
У них у всех разные механизмы работы с типами.

Что за тип Unit в Haskel Rust Kotlin? Чем отличается от Void?
Раз 500 прочел, не понял ни разу.

Программирование - это практическая наука. Это не философия и не политология.
Тебе не надо 500 раз читать. Читай 1 раз и пиши программу. И смотри как она себя ведет.
void - это просто заглушка. Синтаксически полезна в операциях с указателями чтобы
указывать что тип ссылки - неизвестен. Unit в некоторых языках (Scala) это тип-значение
и его можно возвращать. В Хаскеле чтобы вернуть "ничто" - используется монада Maybe.

int a=(int)(object)1;
Что довольно дорого и долго. С выделением памяти в куче.

Не понимаю что здесь дорого и долго? Или это пример неудачный. Хороший компиллятор
сворачивает боксированные типы и сводит их к примитивам. Боксы также в runtime
инициализируются через Flyweight чтоб иметь ровно 1 экземпляр на примитив.

Ведь это прекрасно покроет все простые структурные типы, int char double.,

Какие структурные типы? Откуда ты берешь терминилогию. Я тебя очень прошу в данном
форуме - не придумывай новое применение устоявшимся терминам!

То что ты хочешь (передача 8 байт) хорошо реализуется в Си и Ассемблере. Если тебе нужен именно такой
уроверь абстракции - то тебе прямая дорога туда. Я напомню тебе также что типы в ЯВУ создавались
долгие десятилетия. Они создавались с целью помочь программисту не делать ошибок и проводить
формальное доказательство правоты программы. Программа с типами - имеет шанс быть правильной.
Программа лишенная мехнизмов проверки типов - будет кишмя кишеть ошибками рантайма. И даже
тестирование не будет доказывать их отсутствие в будущем.

Comments

[Василий Банников]

Unit в некоторых языках (Scala) это тип-значение
и его можно возвращать. В Хаскеле чтобы вернуть "ничто" - используется монада Maybe.

Не надо смешивать Unit и Maybe.

Answer 3

[Сергей Соловьев]

Можно ли увидеть аналог пример кода на c# java с этим типом? Как-то наглядно продемонстрировать отличие от void. Иначе никак не пойму?

Unit это специальный тип, который больше нужен для инфраструктуры. Например, в функциональных языках чтобы делать цепочки вызовов: там нет понятия инструкции, зато можно передать Unit, который возвращается функцией, которая должна быть выполнена первой.

Если хочешь в дотнете - то иди в F#. Там есть Unit, попробуй функциональное программирование.

А почему нету Типа, который ни чего не упаковывает, а просто передает двойное машинной слово?

Это long. Передавай везде его, а внутри делай каст/приведение. А вообще, зачем делать стек еще больше? Если надо передать только байт, ты предлагаешь передавать сразу 8?

кортежи в 8 байт.

Где кортежи в 8 байт?

// почему такого нету, вроде же легко можно добавить, я куча раз сталкивался,
// когда дженерик писать прям в лом, или большие изменения внесет, или еще что,
// а передать надо byte int double

Используй ограничения на дженерики - where тебе в помощь

Answer 4

[Василий Дёмин]

Тип Void в Haskell, в отличие от (), не имеет никаких значений. То есть вы не можете создать значение, имеющее данный тип. В свою очередь у () есть одно допустимое значение. Тип Void также встречается в системах проверки доказательств для обозначения ложности утверждения.