AP
"Parallel And Concurrent ..." можно запросто читать параллельно чему-либо. И даже саму книгу можно читать в два потока — параллельную часть и конкуррентную %)
Size: a a a
2021 April 03
[
"Parallel And Concurrent ..." можно запросто читать параллельно чему-либо. И даже саму книгу можно читать в два потока — параллельную часть и конкуррентную %)
Не параллельно чему-либо, а конкурентно, бо в два глаза две книги читать ты не умеешь, поток у тебя один🌚
AP
Ну может кто может глаза скосить и читать две книги?
AP
Аки хамелеон
[
читал две книги параллельно
@
ни одну не понял
@
ни одну не понял
AK
читал две книги параллельно
@
ни одну не понял
@
ни одну не понял
Все, теперь так и останеться! Косоглазие!(С)
IO
Только на самом деле недостаточно, потому что
bar- то будет шариться.Да, это я фигню написал, имел в виду такое
opaqueSeq :: b -> a -> a
opaqueSeq = seq
{-# NOINLINE opaqueSeq #-}
bar :: () -> [Int]
bar a = [opaqueSeq a 1..1000]
{-# NOINLINE bar #-}
lvl_r1DC :: Int
lvl_r1DC = I# 1#
bar :: () -> [Int]
bar
= \ (a_a1jx :: ()) ->
case opaqueSeq a_a1jx lvl_r1DC of { I# x_a1DM ->
eftInt x_a1DM 1000#
}
YP
Ну может кто может глаза скосить и читать две книги?
Пилоты апачей.
OS
существует ли способ сократить такую сигнатуру?
data Scientific
data Value
foldlNums1 :: (Scientific -> Scientific -> Scientific) -> Scientific -> Value -> Scientific
foldlNums2 :: a ??? Scientific => (a -> a -> a) -> a -> Value -> a
data Scientific
data Value
foldlNums1 :: (Scientific -> Scientific -> Scientific) -> Scientific -> Value -> Scientific
foldlNums2 :: a ??? Scientific => (a -> a -> a) -> a -> Value -> a
OS
собственно, в этом и вопрос. У меня есть foldNums1. Его долго читать. Хочется писать короче, что-то вроде foldNums2
MK
существует ли способ сократить такую сигнатуру?
data Scientific
data Value
foldlNums1 :: (Scientific -> Scientific -> Scientific) -> Scientific -> Value -> Scientific
foldlNums2 :: a ??? Scientific => (a -> a -> a) -> a -> Value -> a
data Scientific
data Value
foldlNums1 :: (Scientific -> Scientific -> Scientific) -> Scientific -> Value -> Scientific
foldlNums2 :: a ??? Scientific => (a -> a -> a) -> a -> Value -> a
Подходит
:р
~:р
OS
Подходит
:р
~:р
я правильно понимаю, что для этого всё равно нужно вводить type family?
т.е. обменять длину одной строчки на 2 дополнительные строчки?
т.е. обменять длину одной строчки на 2 дополнительные строчки?
MK
я правильно понимаю, что для этого всё равно нужно вводить type family?
т.е. обменять длину одной строчки на 2 дополнительные строчки?
т.е. обменять длину одной строчки на 2 дополнительные строчки?
Вводить не надо, только включить расширение
MK
Но это может каким-то неожиданным образом повлиять на вывод, возможно
MK
В смысле такой констрейнт
MK
a ~ Scientificк
собственно, в этом и вопрос. У меня есть foldNums1. Его долго читать. Хочется писать короче, что-то вроде foldNums2
а, это одна и та же функция? Я думал просто больше аргументов во втором случае, и мол потом будет foldNums3 где еще больше аргументов