Телеграмм чат группы haskellru страница 16343

Size: a a a

Haskell

2021 June 08

в тс в принципе синглтонные типы, так что много чего можно считать юнитом
например типы 42, "hello", true, false - тоже юниты

источник

19:28пожаловаться #1

Jerzy Syrowiecki in Haskell

но 2 встроенных — это действительно много

источник

19:28пожаловаться #2

кана in Haskell

бесконечно встроеных*

источник

19:29пожаловаться #3

Jerzy Syrowiecki in Haskell

и ещё есть

Other important TypeScript types

Type    Explanation
unknown the top type.
never   the bottom type.

источник

19:32пожаловаться #4

Jerzy Syrowiecki in Haskell

и третий юнит!

void — a subtype of undefined intended for use as a return type.

источник

19:34пожаловаться #5

кана in Haskell

я же написал выше, юнитов бесконечно

источник

19:34пожаловаться #6

кана in Haskell

0 - тоже юнит

источник

19:34пожаловаться #7

кана in Haskell

const x: 0 = 0;
const x: 1 = 0; // ошибка типов

const x: true = true;
const x: true = false; // ошибка типов

источник

19:35пожаловаться #8

Jerzy Syrowiecki in Haskell

понятно, что в теории бесконечно, но синглтоны несут информацию на уровне типов

источник

19:35пожаловаться #9

кана in Haskell

так null и undefined из того же разряда что 0

источник

19:35пожаловаться #10

Jerzy Syrowiecki in Haskell

а эти три — дефолтные юниты — null, undefined, void — не несут информацию

источник

19:35пожаловаться #11

кана in Haskell

это синглтоны

источник

19:35пожаловаться #12

кана in Haskell

для значений null и undefined

источник

19:36пожаловаться #13

кана in Haskell

тип 0 не несет никакой информации кроме того что значение - 0
тип null не несет никакой информации кроме того что значение - null
тип undefined не несет никакой информации кроме того что значение - undefined
тип true не несет никакой информации кроме того что значение - true

источник

19:36пожаловаться #14

Jerzy Syrowiecki in Haskell

если увидишь 0, 1 или 42 на уровне типов, получишь информацию, по определению информации как меры неопределённости.

а null, undefined, void информацию не несут, замена одного на другое ничего не меняет

источник

19:38пожаловаться #15

кана in Haskell

так, ничего не понял, какую информацию несет 0 на уровне типов?

источник

19:38пожаловаться #16

Jerzy Syrowiecki in Haskell

по определению информации как меры неопределённости

источник

19:39пожаловаться #17

кана in Haskell

так у типа 0 ровно одно значение