ᛒ
Size: a a a
2020 June 20
w
Мне нужно что бы я мог в notepad'e читать комфортно
R
в случае АДТ ничего особенного не происходит с типами, у тебя просто появляются в контексте два новых имени
если ты пишешь case Bar(a) => в этом случае происходит то, что в конпеляторах называется унификация, т.е. компилятор узнает, что B = String , унифицирует два типа
и использует это в других своих выводах
если ты пишешь
case Bar(c, f) => в этом случае у тебя происходит другой эффект - ты знаешь, что во время конструкции был какой-то тип, и этот тип важен, чтобы расставить типы для с и f
например, ты должен знать что f можно применить к с а инту - без доп информации нельзя
т.е. конструктор можно представить как ∃C . c : C, f: C => (A, 😎
такие типы называются экзистенциальными, и во время патерн-матчинга конпелятор делает другой трюк - это притворяется, что этот блок находится внутри какой-то генерик\параметрического контекста, где есть абстрактный тип С, т.е. как будто бы ты объявил
def handleBar[C](c: C, f: C => (A, B)) = ... с телом твоего матча
такой процесс выворачивания экзистенциальных типов в универсальные определения называется сколемизацией
если ты пишешь case Bar(a) => в этом случае происходит то, что в конпеляторах называется унификация, т.е. компилятор узнает, что B = String , унифицирует два типа
и использует это в других своих выводах
если ты пишешь
case Bar(c, f) => в этом случае у тебя происходит другой эффект - ты знаешь, что во время конструкции был какой-то тип, и этот тип важен, чтобы расставить типы для с и f
например, ты должен знать что f можно применить к с а инту - без доп информации нельзя
т.е. конструктор можно представить как ∃C . c : C, f: C => (A, 😎
такие типы называются экзистенциальными, и во время патерн-матчинга конпелятор делает другой трюк - это притворяется, что этот блок находится внутри какой-то генерик\параметрического контекста, где есть абстрактный тип С, т.е. как будто бы ты объявил
def handleBar[C](c: C, f: C => (A, B)) = ... с телом твоего матча
такой процесс выворачивания экзистенциальных типов в универсальные определения называется сколемизацией
w
в случае АДТ ничего особенного не происходит с типами, у тебя просто появляются в контексте два новых имени
если ты пишешь case Bar(a) => в этом случае происходит то, что в конпеляторах называется унификация, т.е. компилятор узнает, что B = String , унифицирует два типа
и использует это в других своих выводах
если ты пишешь
case Bar(c, f) => в этом случае у тебя происходит другой эффект - ты знаешь, что во время конструкции был какой-то тип, и этот тип важен, чтобы расставить типы для с и f
например, ты должен знать что f можно применить к с а инту - без доп информации нельзя
т.е. конструктор можно представить как ∃C . c : C, f: C => (A, 😎
такие типы называются экзистенциальными, и во время патерн-матчинга конпелятор делает другой трюк - это притворяется, что этот блок находится внутри какой-то генерик\параметрического контекста, где есть абстрактный тип С, т.е. как будто бы ты объявил
def handleBar[C](c: C, f: C => (A, B)) = ... с телом твоего матча
такой процесс выворачивания экзистенциальных типов в универсальные определения называется сколемизацией
если ты пишешь case Bar(a) => в этом случае происходит то, что в конпеляторах называется унификация, т.е. компилятор узнает, что B = String , унифицирует два типа
и использует это в других своих выводах
если ты пишешь
case Bar(c, f) => в этом случае у тебя происходит другой эффект - ты знаешь, что во время конструкции был какой-то тип, и этот тип важен, чтобы расставить типы для с и f
например, ты должен знать что f можно применить к с а инту - без доп информации нельзя
т.е. конструктор можно представить как ∃C . c : C, f: C => (A, 😎
такие типы называются экзистенциальными, и во время патерн-матчинга конпелятор делает другой трюк - это притворяется, что этот блок находится внутри какой-то генерик\параметрического контекста, где есть абстрактный тип С, т.е. как будто бы ты объявил
def handleBar[C](c: C, f: C => (A, B)) = ... с телом твоего матча
такой процесс выворачивания экзистенциальных типов в универсальные определения называется сколемизацией
читаемость класс
AN
А вообще я хочу попробовать https://clash-lang.org/ уже
В симуляторе погоняй) у меня, в принципе, есть ненужная плис борда - могу дать😂
AN
Но там есть непропай вроде
λ
В симуляторе погоняй) у меня, в принципе, есть ненужная плис борда - могу дать😂
ну я так и хотел
λ
свою борду еще для этого иметь) фу
AN
Ну у меня борд штук 5 точно есть😂
λ
наркоман)
λ
а свои еще не печатал?
AN
Я на них гоняю компьютеры всякие😁
R
Ну у меня борд штук 5 точно есть😂
двач, харкач, нульч, тиреч и форч?
AN
а свои еще не печатал?
Я думаю цплд закупить - более мелкое железо на них собирать.
AD
У меня шаббат начался
В шаббат низя работать, надо Тору читать
AN
К древнему форт компьютеру хочу сд карту подключить, а то через мафонный порт обмен данными так себе по удобству
M
В шаббат низя работать, надо Тору читать
++++
M
И вино кошерное пить
S
Но хоть немецкий легаси
Вы так говорите как будто это плохо