Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,803,661 events total
2021-07-27 15:08:02 <merijn> tbh, I'd mostly recommend only using it for evaluating expressions, not really anything resembling "interactive programming" like some people do in python's repl/notebooks
2021-07-27 15:08:38 slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-07-27 15:09:09 <Guest1981> Is this behavior documented anywhere?
2021-07-27 15:09:16 <geekosaur> doubt it
2021-07-27 15:10:49 <merijn> I still consider the change to ghci to make it behave more like a top level file a mistake >.>
2021-07-27 15:11:07 eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-27 15:11:14 spruit11_ joins (~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c)
2021-07-27 15:11:52 × spruit11_ quits (~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c) (Client Quit)
2021-07-27 15:12:10 spruit11_ joins (~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c)
2021-07-27 15:12:21 × mastarija quits (~mastarija@31.217.8.174) (Ping timeout: 265 seconds)
2021-07-27 15:12:50 × dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 265 seconds)
2021-07-27 15:13:01 <Guest1981> Thanks. I'll file a bug.
2021-07-27 15:13:09 × enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-27 15:14:40 × spruit11 quits (~quassel@2a02:a467:ccd6:1:3536:e6ac:e02d:6c68) (Ping timeout: 272 seconds)
2021-07-27 15:15:22 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-27 15:15:30 Null_A joins (~null_a@2601:645:8700:2290:74e6:d8ab:910e:9608)
2021-07-27 15:17:02 × pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 250 seconds)
2021-07-27 15:17:40 × azeem quits (~azeem@62.18.161.85) (Ping timeout: 265 seconds)
2021-07-27 15:18:14 azeem joins (~azeem@5.168.230.43)
2021-07-27 15:18:29 <dexterfoo> is there a list of all of the Haskell operators, so that I can choose one that isn't in use yet?
2021-07-27 15:19:45 <Hecate> dexterfoo: hoogle
2021-07-27 15:20:11 <geekosaur> I suspect that'd get you an argument. like, some people would count lens operators
2021-07-27 15:20:17 <Hecate> dexterfoo: just realise that operators are just functions, they're usually overloadable
2021-07-27 15:20:22 <[exa]> dexterfoo: good luck, really. :D
2021-07-27 15:22:23 <dexterfoo> According to Hoogle (>>>>) is not used, so I will take it
2021-07-27 15:23:17 × argento quits (~argent0@168-227-96-51.ptr.westnet.com.ar) (Ping timeout: 255 seconds)
2021-07-27 15:26:10 <dsal> It only has to not be taken in your project.
2021-07-27 15:27:11 geekosaur used >.> — feel free
2021-07-27 15:31:15 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-07-27 15:31:28 eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-27 15:33:21 <merijn> Asking for "what operators aren't used yet" is like asking for "a number nobody has thought of yet" :p
2021-07-27 15:35:21 dunkeln joins (~dunkeln@94.129.69.87)
2021-07-27 15:35:32 × chele quits (~chele@user/chele) (Remote host closed the connection)
2021-07-27 15:36:12 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-27 15:36:31 <davean> merijn: no one has thought of most numbers yet
2021-07-27 15:36:51 <DigitalKiwi> ur moms
2021-07-27 15:38:22 arjun joins (~Srain@user/arjun)
2021-07-27 15:38:29 argento joins (~argent0@168-227-96-51.ptr.westnet.com.ar)
2021-07-27 15:38:48 <Taneb> davean: and most possible operators are still available for use
2021-07-27 15:41:39 eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-27 15:43:59 × truckasaurus quits (sid457088@2001:67c:2f08:5::6:f980) (Ping timeout: 255 seconds)
2021-07-27 15:44:16 <zzz> is something like `(take n &&& drop n) ls` optimized to avoid 2n operations?
2021-07-27 15:44:57 <xerox> :t splitAt
2021-07-27 15:44:58 <lambdabot> Int -> [a] -> ([a], [a])
2021-07-27 15:45:08 <glguy> zzz: I would expect not
2021-07-27 15:45:39 × dajoer quits (~david@user/gvx) (Quit: leaving)
2021-07-27 15:45:49 <zzz> ok thanks
2021-07-27 15:46:41 truckasaurus joins (sid457088@id-457088.brockwell.irccloud.com)
2021-07-27 15:47:52 zmt01 joins (~zmt00@user/zmt00)
2021-07-27 15:48:04 jumper149 joins (~jumper149@80.240.31.34)
2021-07-27 15:48:14 × mcfilib quits (sid302703@user/mcfilib) (Ping timeout: 250 seconds)
2021-07-27 15:48:52 <merijn> davean: Sure
2021-07-27 15:49:09 <merijn> davean: But the second you think of one, nothing stops anyone else :p
2021-07-27 15:49:09 curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-27 15:49:30 mcfilib joins (sid302703@user/mcfilib)
2021-07-27 15:49:57 <monochrom> "what functions names aren't used yet" is the perfect equivalent.
2021-07-27 15:53:14 × peterhil quits (~peterhil@mobile-access-b04815-181.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-07-27 15:53:36 Guest966 joins (~Guest9@43.242.116.41)
2021-07-27 15:53:50 Morrow joins (~Morrow@37.142.145.18)
2021-07-27 15:54:29 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-27 15:54:52 lbseale joins (~lbseale@user/ep1ctetus)
2021-07-27 15:55:03 × Null_A quits (~null_a@2601:645:8700:2290:74e6:d8ab:910e:9608) (Remote host closed the connection)
2021-07-27 15:55:38 Null_A joins (~null_a@2601:645:8700:2290:74e6:d8ab:910e:9608)
2021-07-27 15:57:51 comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-27 15:58:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-27 15:59:00 × Morrow quits (~Morrow@37.142.145.18) (Ping timeout: 272 seconds)
2021-07-27 15:59:22 chris_ joins (~chris@81.96.113.213)
2021-07-27 15:59:46 × Null_A quits (~null_a@2601:645:8700:2290:74e6:d8ab:910e:9608) (Ping timeout: 240 seconds)
2021-07-27 15:59:56 Morrow joins (~Morrow@31.154.96.164)
2021-07-27 16:00:12 × haskl quits (~haskl@98.37.78.63) (Ping timeout: 265 seconds)
2021-07-27 16:02:11 chris__ joins (~chris@81.96.113.213)
2021-07-27 16:02:34 × chris_ quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-07-27 16:04:12 haskl joins (~haskl@98.37.78.63)
2021-07-27 16:07:53 Atum_ joins (~IRC@user/atum/x-2392232)
2021-07-27 16:08:15 × lbseale quits (~lbseale@user/ep1ctetus) (Quit: Leaving)
2021-07-27 16:09:38 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-27 16:10:04 lbseale joins (~lbseale@user/ep1ctetus)
2021-07-27 16:13:08 chris_ joins (~chris@81.96.113.213)
2021-07-27 16:13:13 × arjun quits (~Srain@user/arjun) (Remote host closed the connection)
2021-07-27 16:13:37 gehmehgeh_ joins (~user@user/gehmehgeh)
2021-07-27 16:15:26 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-07-27 16:15:59 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-27 16:18:12 × spruit11_ quits (~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-07-27 16:18:28 spruit11 joins (~quassel@2a02:a467:ccd6:1:c892:977a:b4bf:318c)
2021-07-27 16:19:53 Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c)
2021-07-27 16:24:20 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-27 16:24:56 × azeem quits (~azeem@5.168.230.43) (Ping timeout: 255 seconds)
2021-07-27 16:28:32 Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-27 16:28:46 × soft-warm quits (~soft-warm@2600:8801:db01:8f0:4884:3488:98a1:1fd9) (Ping timeout: 246 seconds)
2021-07-27 16:29:46 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-27 16:32:02 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-27 16:32:28 × gehmehgeh_ quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-07-27 16:35:40 azeem joins (~azeem@5.168.230.43)
2021-07-27 16:36:46 pavonia joins (~user@user/siracusa)
2021-07-27 16:36:59 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds)
2021-07-27 16:37:54 × Morrow quits (~Morrow@31.154.96.164) (Ping timeout: 276 seconds)
2021-07-27 16:42:10 × meinside_ quits (uid24933@id-24933.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-27 16:43:38 gehmehgeh joins (~user@user/gehmehgeh)
2021-07-27 16:43:41 econo joins (uid147250@user/econo)
2021-07-27 16:44:39 peterhil joins (~peterhil@mobile-access-b04815-181.dhcp.inet.fi)

All times are in UTC.