Logs: liberachat/#haskell
| 2021-07-25 14:16:58 | → | flounders joins (~flounders@173.246.200.33) |
| 2021-07-25 14:19:01 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-25 14:20:43 | → | hacker1234 joins (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) |
| 2021-07-25 14:20:59 | ← | hacker1234 parts (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) () |
| 2021-07-25 14:21:00 | → | hacker1234 joins (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) |
| 2021-07-25 14:21:14 | <hacker1234> | hacker hacker |
| 2021-07-25 14:21:49 | <hacker1234> | :-D |
| 2021-07-25 14:23:29 | ← | hacker1234 parts (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) () |
| 2021-07-25 14:24:59 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 14:25:29 | → | hacker1234 joins (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) |
| 2021-07-25 14:25:33 | ← | hacker1234 parts (~weijiafu@2409:8a74:c90:3400:2193:78b:c8a3:31b7) () |
| 2021-07-25 14:26:11 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-25 14:26:12 | <arkanoid> | geekosaur: if I got it right it is just to ensure that the "world changes" on every IO operation, but this get's properly hidden with bind/do, correct? |
| 2021-07-25 14:27:25 | <geekosaur> | there is no world :) its size is zero. but otherwise yes |
| 2021-07-25 14:28:21 | <arkanoid> | ?_? |
| 2021-07-25 14:29:03 | <geekosaur> | as I said, its whole point is to make sure things happen in the right order, by forcing a data dependency |
| 2021-07-25 14:29:13 | <geekosaur> | after it's done that, it goes away |
| 2021-07-25 14:30:30 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-25 14:30:43 | <geekosaur> | \(goes away in the sense that the compiler doesn't see it any more, since its representation has size zero it vanishes after the typechecker) |
| 2021-07-25 14:31:19 | → | shredder joins (~user@user/shredder) |
| 2021-07-25 14:31:31 | <geekosaur> | I is special because it is IO, not because of RealWorld# |
| 2021-07-25 14:31:41 | <geekosaur> | *IO |
| 2021-07-25 14:31:49 | <yushyin> | a bit like a baton that is passed along |
| 2021-07-25 14:32:34 | <[exa]> | (wasn't that called a token? :D) |
| 2021-07-25 14:33:01 | <arkanoid> | olympic times, it's a baton now |
| 2021-07-25 14:33:06 | <arkanoid> | thanks! I got it |
| 2021-07-25 14:33:41 | <yushyin> | right! :D |
| 2021-07-25 14:33:59 | <arkanoid> | well, I don't get the "since its representation has size zero" thing, but not sure if I should dive into this now |
| 2021-07-25 14:34:11 | <geekosaur> | that's an internal compiler thing |
| 2021-07-25 14:34:27 | <geekosaur> | nut it points up that in reality there's no "world" to be "updated" |
| 2021-07-25 14:34:38 | <geekosaur> | there's just the baton |
| 2021-07-25 14:37:17 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-07-25 14:37:51 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-25 14:38:15 | <arkanoid> | I start to see the Matrix |
| 2021-07-25 14:40:40 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-25 14:40:41 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-25 14:40:41 | → | turlando joins (~turlando@user/turlando) |
| 2021-07-25 14:40:44 | × | acidjnk quits (~acidjnk@p200300d0c72b958609191ed2d8f7abdf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-25 14:41:54 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-25 14:43:32 | → | nf joins (~n@monade.li) |
| 2021-07-25 14:43:54 | → | chomwitt joins (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) |
| 2021-07-25 14:44:58 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-07-25 14:49:08 | <arkanoid> | not sure when I should prefer the "do" and when I should prefer the ">>=/>>" thing |
| 2021-07-25 14:51:20 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-25 14:52:21 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 14:58:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-25 15:02:26 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-25 15:03:22 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-25 15:03:43 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-25 15:03:45 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-25 15:05:19 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-25 15:05:21 | <geekosaur> | I generally use >>= when it's short |
| 2021-07-25 15:05:36 | <geekosaur> | do notation just looks better for long stuff |
| 2021-07-25 15:08:51 | <arkanoid> | k, thanks |
| 2021-07-25 15:09:38 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2021-07-25 15:09:59 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 258 seconds) |
| 2021-07-25 15:11:14 | × | _xor quits (~xor@74.215.232.67) (Quit: WeeChat 3.2) |
| 2021-07-25 15:13:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 15:14:11 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-25 15:14:50 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 2021-07-25 15:17:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-25 15:24:11 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 15:25:34 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6) |
| 2021-07-25 15:27:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-25 15:30:09 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6) (Ping timeout: 276 seconds) |
| 2021-07-25 15:33:17 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 15:33:42 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-25 15:33:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-25 15:34:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-25 15:34:05 | × | tlaxkit quits (~hexchat@170.253.39.204) (Ping timeout: 268 seconds) |
| 2021-07-25 15:34:40 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-25 15:35:34 | → | Null_A joins (~null_a@2601:645:8700:2290:707f:6ddd:516:dcea) |
| 2021-07-25 15:37:59 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 15:38:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-25 15:39:45 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 15:40:16 | × | slycelote quits (~slycelote@user/slycelote) (Quit: Leaving) |
| 2021-07-25 15:40:51 | LukeHoersten | is now known as nth |
| 2021-07-25 15:45:24 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-25 15:45:57 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-07-25 15:46:47 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 245 seconds) |
| 2021-07-25 15:46:59 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-25 15:47:45 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 15:48:35 | → | pera joins (~pera@user/pera) |
| 2021-07-25 15:48:35 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-25 15:51:34 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-25 15:51:56 | → | _xor joins (~xor@74.215.232.67) |
| 2021-07-25 15:59:28 | <monochrom> | Ah, missed the RealWorld# discussion. |
| 2021-07-25 16:00:13 | <monochrom> | People need to look at the asm code and see that RealWorld# is compiled to nothing. It's a phantom type. |
| 2021-07-25 16:02:10 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-25 16:02:56 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 16:02:59 | → | tlaxkit joins (~hexchat@170.253.39.204) |
| 2021-07-25 16:03:38 | <geekosaur> | I mentioned that |
| 2021-07-25 16:03:46 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 16:03:47 | <monochrom> | It's present in IR to prevent the optimizer from re-ordering supposed sequential IO code. That's it. It's just to fool the optimizer. |
| 2021-07-25 16:04:18 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-25 16:04:48 | <maerwald> | can't the optimizer be type-aware? |
| 2021-07-25 16:04:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-25 16:04:56 | <maerwald> | I've no idea about the pipeline :) |
| 2021-07-25 16:05:06 | → | econo joins (uid147250@user/econo) |
| 2021-07-25 16:05:35 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Client Quit) |
All times are in UTC.