к
Кстати, мне вот для этого сейчас надо гадать, как ты думал, как я реализовал гпсч, да?🌚
а я не реализовывал, я думал ты туда подставишь свое определение
Size: a a a
2021 March 07
[
тип Int -> (Int, Int) это, конечно, информативно, но не для моего скудного умишки
к
тип Int -> (Int, Int) это, конечно, информативно, но не для моего скудного умишки
type Gen = Int
makeNewGen :: Gen -> Gen
makeNewGen gen = твоя сложная функция
makeIntFromGen :: Gen -> Int
makeIntFromGen gen = gen
random' :: Gen -> (Int, Gen)
random' gen = (makeIntFromGen gen, makeNewGen gen)
makeNewGen :: Gen -> Gen
makeNewGen gen = твоя сложная функция
makeIntFromGen :: Gen -> Int
makeIntFromGen gen = gen
random' :: Gen -> (Int, Gen)
random' gen = (makeIntFromGen gen, makeNewGen gen)
[
как вообще можно придумать гпсч, который генерирует не лист, а тульпу?..
к
со списком будет не сложнее
randoms :: Int -> [Int] -- твоя функция
type Random = State [Int]
randomInt :: Random Int
randomInt = State (\(x : xs) -> (x, xs))
runRandom :: Int -> Random a -> a
runRandom seed r = evalState r (randoms seed)
evalState :: State s a -> s -> a
evalState m s = let (x, _) = runState m s in x
тут мы от стейта отковыриваем голову и возвращаем ее, а хвост отдаем дальше в стейт
randoms :: Int -> [Int] -- твоя функция
type Random = State [Int]
randomInt :: Random Int
randomInt = State (\(x : xs) -> (x, xs))
runRandom :: Int -> Random a -> a
runRandom seed r = evalState r (randoms seed)
evalState :: State s a -> s -> a
evalState m s = let (x, _) = runState m s in x
тут мы от стейта отковыриваем голову и возвращаем ее, а хвост отдаем дальше в стейт
[
ну... как минимум компилятор не ругается
[
я правильно понимаю, эта фигня оборачивает то, куда нужно нагенерить чего-либо в обещание нагенерить это самое при запускании рандома?
[
блин, забей тогда
[
ну я так и понял, да
[
в общем, мы не таскаем с собой лист, чтобы брать из него новые значений, а таскаем "заметки" в виде функций (ну или обещания, как я уже их назвал) вызвать когда-то в будущем runRandom, чтоб пройтись по листу разом и всё сгенерить
[
кстати
[
ты примерно минут 40 назад хотел пойти спать
[
ахахахаха
[
это мне хорошо, у меня -2 по мск