Logs: liberachat/#haskell
| 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) |
All times are in UTC.