AZ
Вопрос был про семейства функций, то есть множества
тогда логично что этот вопрос знает сам задающий, потому что как он определит так и будет
f x = x, g x = g - я могу их как равными считать, тик и разнымиSize: a a a
2020 May 05
AZ
AZ
поэтому мощность {f} u {g} может быть как 2 так и 1
p
ок
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
DS
@DogeShibu прочитал процентов 10 книги по Scala и тут везде мутабельность и императивность. Захотелось побежать со слезами обнять Haskell.
Ну так скала - это мультипарадигменный язык.
На ней можно писать как на беттер джаве и как на хаскеле, выбор за тобой
На ней можно писать как на беттер джаве и как на хаскеле, выбор за тобой
MB
поэтому мощность {f} u {g} может быть как 2 так и 1
Это не важно.
Если A подмножество B,
То unique(map(A, f)) подмножество unique(map(B, f)) для любого f.
Если A подмножество B,
То unique(map(A, f)) подмножество unique(map(B, f)) для любого f.
MB
ок
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
Короче, прочитай про вариантность в номиконе, оно именно про твой вопрос
AZ
Это не важно.
Если A подмножество B,
То unique(map(A, f)) подмножество unique(map(B, f)) для любого f.
Если A подмножество B,
То unique(map(A, f)) подмножество unique(map(B, f)) для любого f.
так ты определяешь некий unique, и он может по-разному быть реализован и давать разные результаты
AZ
тогда {f} является подмножеством {g}. Или не является
MB
так ты определяешь некий unique, и он может по-разному быть реализован и давать разные результаты
Допустим, мы в системе типов раста
AZ
Допустим, мы в системе типов раста
система типов раста это Hask, мы же говорили про Set
AZ
поэтому мы не в системе типов раста, и я с этого и начал
AZ
ок
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
делай как идрис - бери пруф что это эквивалентное преобразование
VS
Ну так скала - это мультипарадигменный язык.
На ней можно писать как на беттер джаве и как на хаскеле, выбор за тобой
На ней можно писать как на беттер джаве и как на хаскеле, выбор за тобой
Это, а http Фреймворк какой брать? Я тут Finch нагуглил. Хочу сделать Toto с картинками сделать (работа с БД и с файловой системой. Конечно файл буду в ФС сохранять ) ну и змейку потому что торадиция.
MB
система типов раста это Hask, мы же говорили про Set
Не шарю за теоркат.
Но где мы вышли за типы раста?
Но где мы вышли за типы раста?
AZ
ок
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
мне нужно понять в каких случаях при возврате из функции
foo: Int -> ([0;20] -> [10;40])
можно возвращать функции с другим типом аргументов и возвращаемого значения.
как мне кажется в случаях когда входной диапазон больше чем требуемый (все значения входные попадут в диапазон, а остальной просто отбросится).
помнишь я доказывал что minimum x 0 == 0 ? Вот так же
AZ
Не шарю за теоркат.
Но где мы вышли за типы раста?
Но где мы вышли за типы раста?
Типы раста расширяют множества, в частности боттомами (незавершаемыми вычичлениями), которых офк нет в чистой теории
VS
@DogeShibu если можно значит 100% натолкнусь на код в стиле беттер джавы с которым придётся мучится. Такой себе выбор.
MB
Типы раста расширяют множества, в частности боттомами (незавершаемыми вычичлениями), которых офк нет в чистой теории
trait T1 {}
impl<F: Fn(u8)-> u8> T1 for F{}
trait T2 {}
impl<F: Fn(u16)-> u16> T2 for F{}
impl<F: Fn(u8)-> u8> T1 for F{}
trait T2 {}
impl<F: Fn(u16)-> u16> T2 for F{}