G
спасибо, и все же, хотелось бы добить эту ) с map нет ясности, почему от maybe избавились, или я не правильно вопрос изначально ставлю?
Скорее всего это функтор
Size: a a a
2019 August 21
G
С генератором списка на Википедии ещё найди)
R:
С генератором списка на Википедии ещё найди)
Да тоже самое
R:
Я предпочитаю фильтр
MP
Скорее всего это функтор
да он, что это проясняет?
// map :: Functor f => (a -> b) -> f a -> f bDG
Пример не очень удачный дал. За поиск кода спасибо :)
G
Серьезно?
Возможно, процедурный код читать легче, там есть массив, и ты в цыкле пушишь туда, а в хаскеле надо в голове строить рекурсивное дерево, чтоб понять проведение этого кода
R:
Возможно, процедурный код читать легче, там есть массив, и ты в цыкле пушишь туда, а в хаскеле надо в голове строить рекурсивное дерево, чтоб понять проведение этого кода
Не, читать императивный код сильно сложнее
R:
Он не имеет смысла с человеческой стороны и о нем думать тяжело
DG
Но чтобы прояснить. Хаскель поощряет делать код слишком выразительным, что означает 1) не гибко 2) не всегда оптимально
G
да он, что это проясняет?
// map :: Functor f => (a -> b) -> f a -> f bf это грубо говоря коробка
map первым принимает функцию (a -> b)
Вторым принимает коробку со значением внутри f a
Ну и как мы видим по сигнатуре типов map распокует f достанет a и передаст в функции (a->b) которая ввернет b и тогда map запакует этот b в f и вернет f b
map первым принимает функцию (a -> b)
Вторым принимает коробку со значением внутри f a
Ну и как мы видим по сигнатуре типов map распокует f достанет a и передаст в функции (a->b) которая ввернет b и тогда map запакует этот b в f и вернет f b
DG
Короче, мне кажется ясность важнее выразительности. Тем самым, хаскель не взлетел, потому что сложно читать код, следовательно его поддерживать
R:
Хаскель сильно более гибкий язык
R:
Там повсюду HKT и полиморфизм который не снился ребятам с дженериками
G
Короче, мне кажется ясность важнее выразительности. Тем самым, хаскель не взлетел, потому что сложно читать код, следовательно его поддерживать
Мне проще на хаскеле читать чем на жс
G
Хотя хаскель я узнал после жс
R:
Особенно читать код
MP
f это грубо говоря коробка
map первым принимает функцию (a -> b)
Вторым принимает коробку со значением внутри f a
Ну и как мы видим по сигнатуре типов map распокует f достанет a и передаст в функции (a->b) которая ввернет b и тогда map запакует этот b в f и вернет f b
map первым принимает функцию (a -> b)
Вторым принимает коробку со значением внутри f a
Ну и как мы видим по сигнатуре типов map распокует f достанет a и передаст в функции (a->b) которая ввернет b и тогда map запакует этот b в f и вернет f b
я вроде все это понял, что тут написано, но все равно не понял, в какой момент у нас значение Maybe(что-нибудь), стало не Maybe.
спасибо в любом случае
спасибо в любом случае
G
В жс вообще нельзя читать код. Там надо постоянно писать console.log чтоб знать что у тебя в переменной