Return to Answer

added 567 characters in body

edited Apr 13, 2019 at 2:28

edited Apr 13, 2019 at 2:28

Haskell, (削除) 77 (削除ここまで) 76 bytes

import System.Random
f x=randomRIO(1,x)>>=(x!)
x!y|y<x=pure y|0<1=(y+)<$>f x

Thanks to killmous for one byte.

If <|> were in the prelude, we could do better with MonadComprehensions:

import System.Random
f x=do y<-randomRIO(1,x);[y|y<x]<|>(y+)<$>f x

import System.Random
f x=randomRIO(1,x)>>=(x!)
x!y|y<x=pure y|0<1=(y+)<$>f x

Thanks to killmous for one byte.

import System.Random
f x=randomRIO(1,x)>>=(x!)
x!y|y<x=pure y|0<1=(y+)<$>f x

Thanks to killmous for one byte.

If <|> were in the prelude, we could do better with MonadComprehensions:

import System.Random
f x=do y<-randomRIO(1,x);[y|y<x]<|>(y+)<$>f x

added 58 characters in body

edited Apr 12, 2019 at 21:02

edited Apr 12, 2019 at 21:02

import System.Random
f x=randomRIO(1,x)>>=g >>=(x!)
g x!y|y<x=pure y|0<1=(y+)<$>f x

Thanks to killmous for one byte.

import System.Random
f x=randomRIO(1,x)>>=g x
g xy|y<x=pure y|0<1=(y+)<$>f x

import System.Random
f x=randomRIO(1,x)>>=(x!)
x!y|y<x=pure y|0<1=(y+)<$>f x

Thanks to killmous for one byte.

answered Apr 12, 2019 at 17:07

answered Apr 12, 2019 at 17:07

import System.Random
f x=randomRIO(1,x)>>=g x
g x y|y<x=pure y|0<1=(y+)<$>f x