Блин, да вы не шутите.

Ничоси

это хаскель, братан

let (i1, g1) = random g (i2, g2) = random g1 f (i1, i2)

Чёт пока ни через <*>, ни через двойной fmap не выруливается.

import System.Random (randomRIO) data Line = Line { start :: Int, end :: Int } deriving (Show) randomInt :: IO Int randomInt = randomRIO (-10, 10)

Собсна, имею такой код.

import System.Random (randomRIO) import Control.Monad (replicateM) data Pair = P Int Int deriving Show randIntList m = replicateM m $ randomRIO (1,10::Int) createRandomPairs m = zipWith P <$> randIntList m <*> randIntList m n = 5 main = createRandomPairs n >>= print

Пытаюсь написать фукнцию, которая принимает n и возвращает список из n Line-ов с рандомными start и end

Ох

Спасибо конечно.

задание для читателя: дописать сигнатуры функций Запустить: https://ideone.com/TCeSp3

конечно, жаль, что нет в стандартной библиотеке функции для списка случайных int

задание для читателя: дописать сигнатуры функций Запустить: https://ideone.com/TCeSp3

А если я загружу в интерпретатор и напишу :t randIntList и т.д., задание будет выполнено?

да :)

задание для читателя: дописать сигнатуры функций Запустить: https://ideone.com/TCeSp3

в чем подвох-то? Без него задание слишком тривиально

но это читерство!

в чем подвох-то? Без него задание слишком тривиально

ну и исходная задача тривиальна, вы не находите?

конечно, жаль, что нет в стандартной библиотеке функции для списка случайных int

Есть же randoms и randomRs

во всяком случае, моё наблюдение состоит в том, что если возникают трудности с задачей, то нужно, хотя бы постфактум, взять и разобраться с типами промежуточных вычислений

import System.Random (randomRIO) import Control.Monad (replicateM) data Pair = P Int Int deriving Show randIntList m = replicateM m $ randomRIO (1,10::Int) createRandomPairs m = zipWith P <$> randIntList m <*> randIntList m n = 5 main = createRandomPairs n >>= print

кстати, sequence . replicate m = replicateM m

Есть же randoms и randomRs

видимо, да, но там нужно явный генератор таскать! я не разбирался глубоко, просто на SO это первые два ответа, с randomRIO

кстати, sequence . replicate m = replicateM m

круто, спасибо!

Для нетаскания генераторов есть Control.Monad.Random.

Для нетаскания генераторов есть Control.Monad.Random.

честно говоря, лень идти смотреть. Если бы вы привели пример, было бы прекрасно!

кстати, sequence . replicate m = replicateM m

проверил, исправил

Добрый день! У меня тут нубский вопрос. Есть у меня ADT, который хранит в себе 2 инта. И мне надо сделать n таких ADT, каждый инт в которых будет случайным.

Приведённые выше решения правильные. Но я для рандома рекомендую использовать библиотеку cryptonite, потому что random — это ненастоящий рандом. Так, для детишек поиграться. А если хочется настоящую псевдослучайность, то лучше использовать cryptonite. Приведу пример кода в ghci, как решить эту проблему с более хорошей библиотекой: ghci> import Crypto.Random ghci> import Crypto.Number.Generate ghci> -- напишем функцию, которая принимает дествие в монаде рандом и выполняет его, создавая генератор в монаде IO ghci> evalRandom randomAction = drgNew >>= \gen -> pure $ fst $ withDRG gen randomAction ghci> :t evalRandom evalRandom :: MonadRandom m => MonadPseudoRandom ChaChaDRG b -> m b ghci> -- объявим генератор типа данных Line ghci> data Line = Line Integer Integer deriving Show ghci> genLine = Line <$> generateMax 100 <*> generateMax 100 ghci> :t genLine genLine :: MonadRandom f => f Line ghci> -- напишем функцию, которая принимает число n и генерирует n строчек ghci> import Control.Monad ghci> genNLines n = replicateM n genLine ghci> :t genNLines genNLines :: MonadRandom m => Int -> m [Line] ghci> -- а теперь запутим наши функции в REPL'е, чтобы посмотреть результат ghci> evalRandom $ genNLines 5 [Line 16 99,Line 23 72,Line 19 79,Line 27 24,Line 92 18] ghci> evalRandom $ genNLines 3 [Line 17 51,Line 58 70,Line 8 72]

честно говоря, лень идти смотреть. Если бы вы привели пример, было бы прекрасно!

ну это просто ньютайп над стейтом, где в стейте генератор

честно говоря, лень идти смотреть. Если бы вы привели пример, было бы прекрасно!

Лениво. В документации всё есть.

Лениво. В документации всё есть.

бесспорно!

Приведённые выше решения правильные. Но я для рандома рекомендую использовать библиотеку cryptonite, потому что random — это ненастоящий рандом. Так, для детишек поиграться. А если хочется настоящую псевдослучайность, то лучше использовать cryptonite. Приведу пример кода в ghci, как решить эту проблему с более хорошей библиотекой: ghci> import Crypto.Random ghci> import Crypto.Number.Generate ghci> -- напишем функцию, которая принимает дествие в монаде рандом и выполняет его, создавая генератор в монаде IO ghci> evalRandom randomAction = drgNew >>= \gen -> pure $ fst $ withDRG gen randomAction ghci> :t evalRandom evalRandom :: MonadRandom m => MonadPseudoRandom ChaChaDRG b -> m b ghci> -- объявим генератор типа данных Line ghci> data Line = Line Integer Integer deriving Show ghci> genLine = Line <$> generateMax 100 <*> generateMax 100 ghci> :t genLine genLine :: MonadRandom f => f Line ghci> -- напишем функцию, которая принимает число n и генерирует n строчек ghci> import Control.Monad ghci> genNLines n = replicateM n genLine ghci> :t genNLines genNLines :: MonadRandom m => Int -> m [Line] ghci> -- а теперь запутим наши функции в REPL'е, чтобы посмотреть результат ghci> evalRandom $ genNLines 5 [Line 16 99,Line 23 72,Line 19 79,Line 27 24,Line 92 18] ghci> evalRandom $ genNLines 3 [Line 17 51,Line 58 70,Line 8 72]

Спасибо. Правда, я как раз из тех, кто "детишки балуются".

Собственно, посмотрев на код одного из предыдущих ораторов, наклепал такое: import System.Random (randomRIO) data Line = Line { start :: Int, end :: Int } deriving (Show) randomInt :: IO Int randomInt = randomRIO (-10, 10) generateNLines n = sequence $ replicate n $ Line <$> randomInt <*> randomInt

replicateM походу импортнуть откуда-то надо.

В Prelude её нет

Control.Monad

Аа, спасибо!

Сейчас сделаем покрасивше.

вообще конечно всегда, когда получается sequence . f, то можно попробовать поискать fM версию

Собственно, посмотрев на код одного из предыдущих ораторов, наклепал такое: import System.Random (randomRIO) data Line = Line { start :: Int, end :: Int } deriving (Show) randomInt :: IO Int randomInt = randomRIO (-10, 10) generateNLines n = sequence $ replicate n $ Line <$> randomInt <*> randomInt

да, это лучше, чем у меня было с zipWith, здорово!

да, это лучше, чем у меня было с zipWith, здорово!

Спасибо :)

@chumpa_yandex_ru будет жить. Поприветствуем!

Отдельные люди отличные вещи делают на Elm, несмотря на то что он "игрушечный" и "вообще никакой". Опять же популяризации полезных идей язык способствует. Пусть даже эльмосообщество и полннится громкими неосиляторами, скандирующими "матан нинужен".

> Отдельные люди отличные вещи делают на Elm Например?

Ну сейчас я гуглить не буду

buildwithelm, или как-то так сайтик называется

Там есть интересные примеры

Парсер-комбинаторы есть?

Есть вроде

если не нужен криптостойкий рандом, то брать mwc-random или th-random

второе, если нужен split

Приведённые выше решения правильные. Но я для рандома рекомендую использовать библиотеку cryptonite, потому что random — это ненастоящий рандом. Так, для детишек поиграться. А если хочется настоящую псевдослучайность, то лучше использовать cryptonite. Приведу пример кода в ghci, как решить эту проблему с более хорошей библиотекой: ghci> import Crypto.Random ghci> import Crypto.Number.Generate ghci> -- напишем функцию, которая принимает дествие в монаде рандом и выполняет его, создавая генератор в монаде IO ghci> evalRandom randomAction = drgNew >>= \gen -> pure $ fst $ withDRG gen randomAction ghci> :t evalRandom evalRandom :: MonadRandom m => MonadPseudoRandom ChaChaDRG b -> m b ghci> -- объявим генератор типа данных Line ghci> data Line = Line Integer Integer deriving Show ghci> genLine = Line <$> generateMax 100 <*> generateMax 100 ghci> :t genLine genLine :: MonadRandom f => f Line ghci> -- напишем функцию, которая принимает число n и генерирует n строчек ghci> import Control.Monad ghci> genNLines n = replicateM n genLine ghci> :t genNLines genNLines :: MonadRandom m => Int -> m [Line] ghci> -- а теперь запутим наши функции в REPL'е, чтобы посмотреть результат ghci> evalRandom $ genNLines 5 [Line 16 99,Line 23 72,Line 19 79,Line 27 24,Line 92 18] ghci> evalRandom $ genNLines 3 [Line 17 51,Line 58 70,Line 8 72]

"Ненастоящая" и "настоящая" псевдослучайность - это звучит :)

random ужасная библиотека, но слушать советы брать криптостойкие генераторы, если тебе математику считать, я бы не стал

а вообще сразу нужно смотреть какие свойства псевослучайных величин нужны и для каких задач

Я слышал что мерсен твистер неоправданно дорогой

ну я его не предлагал

у него правда дико длинный период

Его по дефолту берут

и он вроде не форкается

не помню

> Отдельные люди отличные вещи делают на Elm Например?

Мы на работе используем Elm для фронтенда. Это связано с тем, что человек, который пишет фронтенд, знал до этого только OCaml (да, и такие бывают!), и Elm проще начать новичку. Но сейчас уже думаем перейти на что-то другое. Сложность фронтенда становится очень большой. Так как в Elm нет хорошей поддержки абстракций (вроде тайпклассов), то в итоге получается, что приходится писать go на фронтенде. А ещё в качестве бэкенда используется Haskell, и все библиотеки по автоматической генерации Elm-типов из Haskell типов, JSON энкодеров и декодеров и API эндпоинтов работают очень плохо. Одна библиотека на Generic'ах, но даже не поддерживает суммы типов (и даже енумы не поддерживает!). А вторая библиотека хоть и поддерживает суммы типов, но на TemplateHaskell и не поддерживает фантомные типы. Становится очень больно ?

Мы на работе используем Elm для фронтенда. Это связано с тем, что человек, который пишет фронтенд, знал до этого только OCaml (да, и такие бывают!), и Elm проще начать новичку. Но сейчас уже думаем перейти на что-то другое. Сложность фронтенда становится очень большой. Так как в Elm нет хорошей поддержки абстракций (вроде тайпклассов), то в итоге получается, что приходится писать go на фронтенде. А ещё в качестве бэкенда используется Haskell, и все библиотеки по автоматической генерации Elm-типов из Haskell типов, JSON энкодеров и декодеров и API эндпоинтов работают очень плохо. Одна библиотека на Generic'ах, но даже не поддерживает суммы типов (и даже енумы не поддерживает!). А вторая библиотека хоть и поддерживает суммы типов, но на TemplateHaskell и не поддерживает фантомные типы. Становится очень больно ?

Нет бы сразу, скажем, PureScript взять

Мы на работе используем Elm для фронтенда. Это связано с тем, что человек, который пишет фронтенд, знал до этого только OCaml (да, и такие бывают!), и Elm проще начать новичку. Но сейчас уже думаем перейти на что-то другое. Сложность фронтенда становится очень большой. Так как в Elm нет хорошей поддержки абстракций (вроде тайпклассов), то в итоге получается, что приходится писать go на фронтенде. А ещё в качестве бэкенда используется Haskell, и все библиотеки по автоматической генерации Elm-типов из Haskell типов, JSON энкодеров и декодеров и API эндпоинтов работают очень плохо. Одна библиотека на Generic'ах, но даже не поддерживает суммы типов (и даже енумы не поддерживает!). А вторая библиотека хоть и поддерживает суммы типов, но на TemplateHaskell и не поддерживает фантомные типы. Становится очень больно ?

На что же планируете переходить?

Нет бы сразу, скажем, PureScript взять

> Это связано с тем, что человек, который пишет фронтенд, знал до этого только OCaml (да, и такие бывают!), и Elm проще начать новичку. Читай мотивацию во втором предложении. Не факт, что с PureScript станет намного лучше. Библиотеки типа purescript-bridge тоже не особо помогают быть продуктивным на полную катушку...

На что же планируете переходить?

Есть три варианта: 1. PureScript 2. GHCJS 3. Написать свою нормальную библиотеку для генерации Elm-кода

Есть три варианта: 1. PureScript 2. GHCJS 3. Написать свою нормальную библиотеку для генерации Elm-кода

4. Написать свой язык :^)

4. Написать свой язык :^)

Можно. Но продукты релизить и зарабатывать деньги тоже хочется ?

ERROR: S client not available

А вообще - писать библиотеку для генерации кода на языке, который транспилируется в JS - ну, такое

А вообще - писать библиотеку для генерации кода на языке, который транспилируется в JS - ну, такое

Писать это всё руками и тратить на это в два раза больше времени — ещё больше такое ?

А вообще - писать библиотеку для генерации кода на языке, который транспилируется в JS - ну, такое

Многовато прослоек получается

Есть три варианта: 1. PureScript 2. GHCJS 3. Написать свою нормальную библиотеку для генерации Elm-кода

да, можно только посочувствовать, конечно

ждать Wasm ?

не знаю, почему у людей столько оптимизма по отношению к васму

смотрю что 4 главных браузера поддерживают, не пробовал руками

ну поддерживает, и что? вы на васме собираетесь писать?

похоже что обычные сайты на нём смысла нет делать, только что-то игрушечное?

ну, теоретически можно в него компилировать какой-то нормальный язык, но ни один нормальный язык пока в него не компилируется, и нормально не будет пока кое-какие изменения в васме не произойдут

я не о модели компиляции, с этим кажется проще всего справиться хотя и не скоро. А просто html с каким-то аналогом jQuery на нём будет смысл на чём-то типизированном верстать или это для игрушек, видео и тд?

уж хаскель-то компилятор всяко осилит

нет, хаскель в нынешний васм нормально не скомпилировать, будет в 3-5 раз тормознее нативного где-то

но все лучше, чем ghcjs, конечно

не юзайте васм для разработки фронта пожалуйста

обязательно будут

он не умеет нормально в DOM

насколько я знаю

и скорее всего нескоро сможет в него, если вообще сможет

и вообще не для этого васм делали вообще, чтобы на нём фронты писать, чтобы всякие жирные рантаймы по сети гонять

да никого не волнует, что не для этого

будут писать, потому что яваскрипт хуже гитлера

не понял, откуда жирные рантаймы

и что такое жирные по сравнению с JS-библиотеками

ждать Wasm ?

Wasm работает с DOM-ом пока только через JS

ну, теоретически можно в него компилировать какой-то нормальный язык, но ни один нормальный язык пока в него не компилируется, и нормально не будет пока кое-какие изменения в васме не произойдут

Rust

Rust

> какой-то _нормальный_ язык

т.е. не совсем убогий ФЯ

т.е. не совсем убогий ФЯ

Rust никогда ФЯ и не был. И если уж на то пошло, то он для компиляции в wasm лучше, чем сабж, подходит

правильно, не был, а надо нормальный язык

Ты так говоришь, как будто только ФЯ может быть нормальным ЯП