A
i'll'never'exit :: IO Void
i'll'never'exit = fix $ \loop -> do
...
loop
Size: a a a
2020 May 31
AV
AV
правда с этим приходится писать
race_ (absurd <$> i'll'never'exit) ...R
правда с этим приходится писать
race_ (absurd <$> i'll'never'exit) ...Потому что на самом деле тип должен быть
IO voidAV
(x :: Bool) <- i'll'never'exit
when x $ putStrLn "HellNo!"
when x $ putStrLn "HellNo!"
R
(x :: Bool) <- i'll'never'exit
when x $ putStrLn "HellNo!"
when x $ putStrLn "HellNo!"
и шо, я тоже так могу:
(x :: Void) <- i'll'never'exit
when (absurd x) $ putStrLn "HellNo!"
AV
Снойман кажется Void делал или передумал?
R
Снойман кажется Void делал или передумал?
он делал
Void в негативной позиции и void в позитивнойA
i'll'never'exit :: IO Void
i'll'never'exit = fix $ \loop -> do
...
loop
сгодится. спасибо
AA
> And it seems very hard to make changes without introducing performance regressions, which take a long time to debug.
ну конечно, как началась вся эта истерия вокруг скорости компиляции и стали они над каждым процентом трястись все фичи и встали
анлифтнутые типы тож встали из за скорости компиляции
(хотя, справедливости ради, никто не будет использовать анлифтнутые типы все равно)
ну конечно, как началась вся эта истерия вокруг скорости компиляции и стали они над каждым процентом трястись все фичи и встали
анлифтнутые типы тож встали из за скорости компиляции
(хотя, справедливости ради, никто не будет использовать анлифтнутые типы все равно)
к
какие есть хорошие педагогические примеры полезности
Void? (pipes — плохой пример, сразу говорю)я думаю какой-нибудь empty из Alternative на самом деле должен быть
который через fmap absurd превращался бы уже в
но я не уверен
поэтому всякие парсеры которые ничего не парсят - Parser Void, всякие Maybe-результаты, где точно нет Just - Maybe Void, тд
empty :: m Voidкоторый через fmap absurd превращался бы уже в
m aно я не уверен
поэтому всякие парсеры которые ничего не парсят - Parser Void, всякие Maybe-результаты, где точно нет Just - Maybe Void, тд
AA
не факт, чтo прo скoрoсть кoмпиляции там.. мoжет, прo рантайм
я думаю, что про скорость компиляции
IK
я думаю какой-нибудь empty из Alternative на самом деле должен быть
который через fmap absurd превращался бы уже в
но я не уверен
поэтому всякие парсеры которые ничего не парсят - Parser Void, всякие Maybe-результаты, где точно нет Just - Maybe Void, тд
empty :: m Voidкоторый через fmap absurd превращался бы уже в
m aно я не уверен
поэтому всякие парсеры которые ничего не парсят - Parser Void, всякие Maybe-результаты, где точно нет Just - Maybe Void, тд
может быть релевантным: https://tech.fpcomplete.com/blog/2017/07/to-void-or-to-void
