2024/05/18

Newest at the top

2024-05-19 00:09:24 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-05-19 00:05:16 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-19 00:04:10 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-19 00:03:22 +0200kadir(~kadir@88.251.51.100) (Quit: WeeChat 4.2.2)
2024-05-19 00:02:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-19 00:02:38 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Remote host closed the connection)
2024-05-19 00:01:57 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-19 00:01:35 +0200fizbin__(~fizbin@user/fizbin)
2024-05-18 23:56:17 +0200 <edrx> geekosaur: done! I'll have to clean up my script to talk to lambdabot someday, but the ugly prototype works =)
2024-05-18 23:53:39 +0200 <geekosaur> lambdabot itself is fine. one of its dependencies was never updated for Semigroup, iirc
2024-05-18 23:53:29 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2024-05-18 23:53:24 +0200michalz(~michalz@185.246.207.221)
2024-05-18 23:52:46 +0200 <EvanR> lambdabot is a living program, it must be preserved for future generations
2024-05-18 23:52:23 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 261 seconds)
2024-05-18 23:50:49 +0200michalz(~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-18 23:50:13 +0200 <edrx> ski: thanks =)
2024-05-18 23:50:07 +0200 <edrx> let me try
2024-05-18 23:49:27 +0200 <geekosaur> you can also talk to it in /query
2024-05-18 23:49:20 +0200 <ski> you can check the "Translations" part of <https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-470003.14> (and <https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-420003.11> for list comprehensions)
2024-05-18 23:49:11 +0200 <geekosaur> you can run lambdabot locally, although installing it is a bit of a pain currently
2024-05-18 23:48:14 +0200 <edrx> when we have practice it is trivial
2024-05-18 23:47:44 +0200 <ski> it's not to hard to run `undo' in your head
2024-05-18 23:43:59 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
2024-05-18 23:43:28 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Read error: Connection reset by peer)
2024-05-18 23:42:45 +0200 <lambdabot> [(0,1),(0,2),(1,2)]
2024-05-18 23:42:43 +0200 <ski> > (\a o -> [(a,b) | let b = a + o,a+b < 4]) <$> [0,1] <*>> [1,2]
2024-05-18 23:42:20 +0200 <mauke> I don't think so
2024-05-18 23:41:37 +0200 <edrx> is there an easy way to run that translation from a ghci repl?
2024-05-18 23:40:33 +0200 <edrx> that's super neat! when I learned that I had to do the translation by hand...
2024-05-18 23:40:13 +0200 <EvanR> magnificent desolation
2024-05-18 23:39:48 +0200 <mauke> there. now it's art.
2024-05-18 23:39:40 +0200 <lambdabot> ap ((>>=) . liftM2 (:) (1 +) (return . (2 +))) (ap (ap . (((>>) . guard) .) . flip flip 4 . ((<) .) . (+)) ((return .) . (,))) =<< [0, 1]
2024-05-18 23:39:39 +0200 <mauke> @. pl undo do a <- [0,1]; b <- [a+1,a+2]; guard (a+b < 4); return (a,b)
2024-05-18 23:39:30 +0200 <lambdabot> [0, 1] >>= \ a -> [a + 1, a + 2] >>= \ b -> guard (a + b < 4) >> return (a, b)
2024-05-18 23:39:30 +0200 <mauke> @undo do a <- [0,1]; b <- [a+1,a+2]; guard (a+b < 4); return (a,b)
2024-05-18 23:38:55 +0200 <edrx> perfect!!! thanks =)
2024-05-18 23:38:46 +0200 <lambdabot> [2,3,4,5]
2024-05-18 23:38:44 +0200 <mauke> > enumFromTo 2 5
2024-05-18 23:38:42 +0200 <edrx> that!!!!
2024-05-18 23:38:34 +0200 <lambdabot> [2,3,4,5]
2024-05-18 23:38:33 +0200 <EvanR> > [2..5]
2024-05-18 23:38:33 +0200fizbin__(~fizbin@user/fizbin)
2024-05-18 23:38:26 +0200 <edrx> (embarrased)
2024-05-18 23:38:21 +0200 <edrx> I forgot that [2,5] is a list with two elements and not something like 2,3,4,5
2024-05-18 23:38:18 +0200 <mauke> it's not a range
2024-05-18 23:38:16 +0200 <mauke> but [2,5] is just a two-element list
2024-05-18 23:37:52 +0200 <EvanR> and do notation is expanded to >>= and >> and let
2024-05-18 23:37:43 +0200 <edrx> ooops, my fault!
2024-05-18 23:37:39 +0200 <edrx> I'm trying to find that something else in the source
2024-05-18 23:37:20 +0200 <mauke> yeah, technically it's 2 : (5 : [])