YS
ну уж нет
Size: a a a
2021 October 15
YS
я лучше через ТА передам
YS
где это можно
AP
Proxy тоже полезен бывает. Положил и забыл на время, а он помнит
YS
У меня в одном месте он даже есть
[
AllowAmbiuorusTypes не входит в список расширений, которыми очень просто натворить не то
YS
Не сумел натянуть через ТА
И
а суть синглтона в чем? что у типа есть только 1 значение и поэтому зная тип мы можем выдать это самое значение?
И
что то вроде юнит типа?
И
то есть это тоже в каком то смысле функция из типа в значение получается?
AP
Dependently Typed Programming with Singletons
AP
Грубо говоря, это такой тип, из каждого значения которого можно получить связанный с ним тип
AP
data T = A | B
data S (t :: T) where
SA :: S 'A
SB :: S 'B
SA — значение. Но оно же получить тип 'A
SB даёт получить 'BИ
спасибо!
DM
мы можем оперировать тайп левел информацией на терм левеле с помощью этого
SG
Можно ли синглтон построить для любого типа?
2021 October 16
AP
Если вдруг кто захочет в рамках Hacktoberfest пописать на скучном хаскеле, у меня есть тут ишшуев немножко. Там и простые задачки есть и средние. Никакой суровой типоты нет, увы или к счастью. Boring Haskell :)
JS
и это, и наоборот тоже
JS
можно для (почти) любого значения