Size: a a a

2021 May 02

MK

Maxim Koltsov in Haskell
+
источник

к

кана in Haskell
"эту бредовую позицию"*
источник

JS

Jerzy Syrowiecki in Haskell
всё можно. откуда вы такие все злые запрещатели берётесь вообще?

я просто посоветовал, куда обратиться для более эффективного решения проблемы
источник

JS

Jerzy Syrowiecki in Haskell
какую позицию? что баги софта полезно обсуждать с его авторами? а твоя какая позиция?
источник

MK

Maxim Koltsov in Haskell
позицию что их нельзя обсуждать здесь
источник

SD

Semyon Dubskikh in Haskell
А если так:

[x:y | x <- [1,2,3], y <- []]
[]


Что берёт y? Что вообще происходит с этим выражением?
Если записать подругому вот так:

[x:y | x <- [1,2,3], y <- [[]]]
[[1],[2],[3]]


Тогда вот всё понятно, что y = [] и просто соединяется вот так [1:[],2:[],3:[]]. Но вот предыдущая конструкция сделает что-то совсем непонятное, объясните плиз?
источник

JS

Jerzy Syrowiecki in Haskell
это только @ibxth говорил "нельзя"
источник

JS

Jerzy Syrowiecki in Haskell
вы меня абсолютно неправильно поняли
источник

A

Aleksandr Khristenko in Haskell
Если занудствовать до конца у меня в вопросе была и часть про "это у всех так или только я такой особенный".
источник

к

кана in Haskell
в y ничего, поэтому и результат будет пустой список
источник

к

кана in Haskell
3 * 0 = 0
источник

SD

Semyon Dubskikh in Haskell
Но разве это не противоречит этому, более того разве y - это не функция, просто я думал, что в хаскеле всё есть функция, разве нет?
источник

JS

Jerzy Syrowiecki in Haskell
конечно, не всё есть функция. данное не функция, например
источник

AF

Alexey Fedotov in Haskell
Ты вычисляешь картезианский продукт непустого множества и пустого множества. В результате у тебя пустое множество. Когда вычисляешь продукт непустого множества и непустого множества, в результате непустое множество. Вроде всё логично
источник

SD

Semyon Dubskikh in Haskell
Эмм, вобщем ок, пройдусь просто дебагером по этому выражению может понятнее будет, спасибо ещё раз
источник

AF

Alexey Fedotov in Haskell
может просто на монаде переписать? там-то всё очевидно должно быть
источник

IK

Ilya Kos in Haskell
Считай что это не баг, а вопрос «у кого-то ещё такое было?»
источник

JS

Jerzy Syrowiecki in Haskell
что вы понимаете под "происходит"?

может, вот так будет понятнее:

[f x | x <- xs] = map f xs
источник

JS

Jerzy Syrowiecki in Haskell
я буду рад, если хоть кто-то ответит на него
источник

JS

Jerzy Syrowiecki in Haskell
источник