Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 .. 18031
— 1,803,002 events total
2021-07-19 12:04:30 → dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7)
2021-07-19 12:04:31 → aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9)
2021-07-19 12:04:31 → Ollie[m] joins (~ollieocha@2001:470:69fc:105::41a5)
2021-07-19 12:04:31 → ecameron[m] joins (~ecameronm@2001:470:69fc:105::35df)
2021-07-19 12:04:31 → dminuoso[m] joins (~dminuosom@2001:470:69fc:105::33bb)
2021-07-19 12:04:31 → autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1)
2021-07-19 12:04:31 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
2021-07-19 12:04:31 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
2021-07-19 12:04:31 → Soft joins (~soft-matr@2001:470:69fc:105::c75)
2021-07-19 12:04:31 → RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc)
2021-07-19 12:04:32 → yin[m] joins (~zwromatri@2001:470:69fc:105::1d4)
2021-07-19 12:04:32 → jellz[m] joins (~jellzmatr@2001:470:69fc:105::2daa)
2021-07-19 12:04:32 → SimonWeiss[m] joins (~weiss-dma@2001:470:69fc:105::bebd)
2021-07-19 12:04:32 → afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b)
2021-07-19 12:04:32 → octeep[m]1 joins (~octeepmoc@2001:470:69fc:105::695e)
2021-07-19 12:04:32 → fakehacker[m] joins (~fakehacke@2001:470:69fc:105::b5f0)
2021-07-19 12:04:32 → justosophy[m] joins (~justosoph@2001:470:69fc:105::572f)
2021-07-19 12:04:32 <dibblego> but it also does other Applicative things, not just Identity
2021-07-19 12:04:33 → Sylveon joins (~sylveonma@2001:470:69fc:105::2d95)
2021-07-19 12:04:33 → oak- joins (~oakuniver@2001:470:69fc:105::fcd)
2021-07-19 12:04:34 → vbeatrice[m] joins (~vbeatrice@2001:470:69fc:105::3ebf)
2021-07-19 12:04:56 Sylveon is now known as Guest6263
2021-07-19 12:05:43 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-19 12:06:16 → zangi joins (~zangi@103.154.230.230)
2021-07-19 12:06:36 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-07-19 12:07:26 → gentauro joins (~gentauro@user/gentauro)
2021-07-19 12:09:05 → cfricke joins (~cfricke@user/cfricke)
2021-07-19 12:14:39 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-19 12:14:48 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-19 12:16:02 → burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-19 12:16:02 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-19 12:18:02 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-19 12:20:34 → chomwitt joins (~chomwitt@2a02:587:dc04:b400:12c3:7bff:fe6d:d374)
2021-07-19 12:21:00 × burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-19 12:21:26 → smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net)
2021-07-19 12:34:32 → favonia joins (~favonia@user/favonia)
2021-07-19 12:35:30 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-19 12:35:38 → dudek joins (~dudek@185.150.236.155)
2021-07-19 12:36:56 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2021-07-19 12:39:11 → qbt joins (~edun@user/edun)
2021-07-19 12:40:23 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds)
2021-07-19 12:41:01 × favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-07-19 12:42:18 → favonia joins (~favonia@user/favonia)
2021-07-19 12:42:40 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-07-19 12:45:53 <hseg> hi. have this generator http://ix.io/3tqe, and I would like to generalize it so its input generators can depend on each other's results (i.e. want to be able to pass [a -> Gen a])
2021-07-19 12:46:15 <hseg> have tried just doing that, but it involves a lot of churn
2021-07-19 12:46:22 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-19 12:46:30 <hseg> is there a more mtl'y way of writing this that can help avoid this churn
2021-07-19 12:46:33 <hseg> ?
2021-07-19 12:47:55 → fef joins (~thedawn@user/thedawn)
2021-07-19 12:48:03 <hseg> presumably, I'd want to have inputs be sth like [n a] with MonadGen n and some constraint expressing that whatever effects n gives are liftable to m
2021-07-19 12:48:43 <hseg> but that looks overly involved
2021-07-19 12:51:44 × Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-07-19 12:52:00 → Xnuk joins (~xnuk@vultr.xnu.kr)
2021-07-19 12:53:34 → jolly joins (~jolly@208.180.97.158)
2021-07-19 12:54:05 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-19 12:54:53 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-19 12:54:59 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-19 12:58:34 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-07-19 12:58:35 <zangi> probably a paradox, but does having IO means haskell is impure? :)
2021-07-19 12:58:42 <Axman6> no
2021-07-19 12:59:30 <zangi> does IO itself impure? what does it mean to be "pure" in haskell sense?
2021-07-19 12:59:49 <Axman6> IO is pure, the execution of it may not be. dibblego is excellent at explaining why
2021-07-19 12:59:52 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-19 12:59:59 Axman6 handballs the conversation to dibblego
2021-07-19 13:00:15 <DigitalKiwi> what about unsafeCoerce
2021-07-19 13:00:52 <zangi> who's dibblego?
2021-07-19 13:01:07 × jneira quits (~jneira@212.8.115.226) (Quit: Client closed)
2021-07-19 13:01:09 → alx741 joins (~alx741@186.178.109.120)
2021-07-19 13:01:13 <DigitalKiwi> why's dibblego
2021-07-19 13:01:43 <Axman6> HE authored much of the NICTA/Data61/System-F FP course, where we explain why IO is pure
2021-07-19 13:01:46 <Axman6> He*
2021-07-19 13:02:18 <zangi> does he have any article about this issue?
2021-07-19 13:02:20 <DigitalKiwi> ofc we all know the answer to how's dibblego (by plane)
2021-07-19 13:02:27 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-07-19 13:02:35 <DigitalKiwi> ba dum tsch
2021-07-19 13:02:40 → juhp joins (~juhp@128.106.188.66)
2021-07-19 13:03:14 <DigitalKiwi> https://github.com/system-f/fp-course
2021-07-19 13:03:41 <DigitalKiwi> https://www.youtube.com/watch?v=NzIZzvbplSM&list=PLly9WMAVMrayYo2c-1E_rIRwBXG_FbLBW
2021-07-19 13:04:14 → ikex1 joins (ash@user/ikex)
2021-07-19 13:04:27 <zangi> DigitalKiwi++
2021-07-19 13:04:42 × hseg quits (~gesh@185.120.126.10) (Ping timeout: 240 seconds)
2021-07-19 13:05:09 <zangi> thanks, anyway does it mean IO in haskell is different to IO in other (imperative) languages?
2021-07-19 13:05:50 × ikex quits (~ash@user/ikex) (Ping timeout: 258 seconds)
2021-07-19 13:05:51 ikex1 is now known as ikex
2021-07-19 13:06:42 × fradet quits (~fradet@216.252.75.247) (Ping timeout: 240 seconds)
2021-07-19 13:07:53 <[exa]> zangi: haskell is pure; the ugly impure execution of the IO action recipes written in haskell is only done by computers
2021-07-19 13:07:54 → fradet joins (~fradet@216.252.75.247)
2021-07-19 13:08:27 <kuribas> [exa]: but then any language is pure?
2021-07-19 13:09:12 <[exa]> nah, some languages rely on that impurity
2021-07-19 13:10:27 <[exa]> (and some certain others are just dirty)
2021-07-19 13:11:44 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-19 13:14:07 → anandprabhu joins (~anandprab@94.202.243.198)
2021-07-19 13:15:18 <DigitalKiwi> i like my coffee like i like my programming languages; strong, statically typed, purely functional with type inference and lazy evaluation.
2021-07-19 13:16:18 → shriekingnoise joins (~shrieking@186.137.144.80)
2021-07-19 13:17:41 × anandprabhu quits (~anandprab@94.202.243.198) (Client Quit)
2021-07-19 13:18:13 <lechner> Hi, how can I use MonadFail to handle exceptions from Codec.Compression.Lzma, please?
2021-07-19 13:27:37 × jackhill quits (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 245 seconds)
2021-07-19 13:28:16 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 246 seconds)
2021-07-19 13:29:45 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
←Prev  Next→
Page 1 .. 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 .. 18031

All times are in UTC.