| 2022-06-12 00:04:44 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 00:05:10 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 00:05:25 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 00:06:01 +0200 | biberu\ | (~biberu@user/biberu) |
| 2022-06-12 00:06:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-06-12 00:06:52 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-12 00:09:16 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 246 seconds) |
| 2022-06-12 00:09:16 +0200 | biberu\ | biberu |
| 2022-06-12 00:10:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 00:13:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 00:19:03 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-06-12 00:23:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-12 00:24:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-06-12 00:25:59 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-06-12 00:27:09 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 00:28:32 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-12 00:28:47 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 244 seconds) |
| 2022-06-12 00:33:58 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-12 00:34:06 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
| 2022-06-12 00:34:45 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 00:35:13 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 00:47:05 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 00:48:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 00:48:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-06-12 00:51:24 +0200 | ketema | (~ketema@140.sub-174-211-237.myvzw.com) |
| 2022-06-12 00:51:44 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 258 seconds) |
| 2022-06-12 00:52:23 +0200 | BusConscious | (~martin@ip5f5acfa2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-06-12 00:53:29 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 00:57:21 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-06-12 01:00:45 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 01:01:07 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-06-12 01:01:09 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 01:06:19 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-06-12 01:07:27 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2022-06-12 01:10:11 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-12 01:10:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-12 01:11:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-12 01:12:32 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-12 01:13:14 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 01:13:41 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 01:18:50 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 01:20:30 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-12 01:22:20 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-12 01:31:55 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-12 01:38:04 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-06-12 01:39:50 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-12 01:40:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 01:41:45 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 01:42:01 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-12 01:42:23 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 01:54:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-173.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-12 01:56:54 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 258 seconds) |
| 2022-06-12 01:57:44 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Remote host closed the connection) |
| 2022-06-12 01:58:23 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) |
| 2022-06-12 02:05:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-06-12 02:05:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-06-12 02:05:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-06-12 02:08:03 +0200 | _xor | (~xor@72.49.198.103) (Quit: bbiab) |
| 2022-06-12 02:08:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 02:15:50 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 02:15:56 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 02:17:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-12 02:20:26 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 255 seconds) |
| 2022-06-12 02:24:14 +0200 | ketema | (~ketema@140.sub-174-211-237.myvzw.com) (Quit: ketema) |
| 2022-06-12 02:26:10 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-12 02:27:18 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 02:28:27 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-12 02:29:06 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 02:29:07 +0200 | nate3 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-06-12 02:29:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 02:31:26 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-12 02:31:40 +0200 | nate4 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-06-12 02:31:55 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 02:35:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-06-12 02:39:26 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-12 02:39:51 +0200 | alp | (~alp@user/alp) |
| 2022-06-12 02:41:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-12 02:43:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-12 02:49:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-06-12 02:51:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-12 02:51:37 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 02:53:14 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-12 02:53:21 +0200 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) |
| 2022-06-12 03:05:25 +0200 | nate4 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-06-12 03:05:50 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 03:08:30 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-12 03:10:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-12 03:10:45 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 03:12:03 +0200 | alp | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-06-12 03:16:41 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-12 03:20:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 03:22:26 +0200 | <Guest27> | ``` |
| 2022-06-12 03:22:26 +0200 | <Guest27> | pImm24 :: Monad m => ParsecT Text u m Immediate24 |
| 2022-06-12 03:22:27 +0200 | <Guest27> | pImm24 = do |
| 2022-06-12 03:22:27 +0200 | <Guest27> | n <- pNum <?> "numeric constant" |
| 2022-06-12 03:22:28 +0200 | <Guest27> | if n > 2^23 - 1 || n < -1 * 2^23 |
| 2022-06-12 03:22:28 +0200 | <Guest27> | then fail "signed immediate outside 24-bit range" |
| 2022-06-12 03:22:29 +0200 | <Guest27> | else return (Immediate24 $ fromIntegral n) |
| 2022-06-12 03:22:29 +0200 | <Guest27> | ``` |
| 2022-06-12 03:22:30 +0200 | <Guest27> | If I run `parseTest pImm24 <some huge number>` I get the error message: |
| 2022-06-12 03:22:30 +0200 | <Guest27> | ``` |
| 2022-06-12 03:22:31 +0200 | <Guest27> | parse error at (...) |
| 2022-06-12 03:22:31 +0200 | <Guest27> | unexpected end of input |
| 2022-06-12 03:22:32 +0200 | <Guest27> | expecting digit |
| 2022-06-12 03:22:32 +0200 | <Guest27> | signed immediate outside 24-bit range |
| 2022-06-12 03:22:33 +0200 | <Guest27> | ``` |
| 2022-06-12 03:22:33 +0200 | <Guest27> | I have two questions: |
| 2022-06-12 03:22:34 +0200 | <Guest27> | 1. Why is "expecting digit" showing up in the message stack when`pNum` successfully parsed? |
| 2022-06-12 03:22:34 +0200 | <Guest27> | 2. How do I elegantly erase the message stack and replace it with just the "signed immediate..." message? |
| 2022-06-12 03:26:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-12 03:28:04 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-12 03:31:32 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 255 seconds) |
| 2022-06-12 03:33:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 03:33:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 03:34:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 2022-06-12 03:35:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-12 03:37:59 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-12 03:38:12 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-06-12 03:41:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 03:42:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-06-12 03:42:28 +0200 | Topsi | (~Topsi@dyndsl-095-033-021-117.ewe-ip-backbone.de) |
| 2022-06-12 03:46:28 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 03:49:31 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-06-12 03:53:20 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-12 03:55:03 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-06-12 04:00:42 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 04:02:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-12 04:03:02 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-12 04:04:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-12 04:05:02 +0200 | <Guest27> | Seems like the issue I was having is related to this: |
| 2022-06-12 04:05:02 +0200 | <Guest27> | https://github.com/haskell/parsec/issues/91 |
| 2022-06-12 04:05:03 +0200 | <Guest27> | (funnily enough it was the same use case too :P) |
| 2022-06-12 04:05:03 +0200 | <Guest27> | Ah well, time to muck about with ParseErrors and SourcePos's |
| 2022-06-12 04:05:33 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-12 04:14:37 +0200 | td_ | (~td@muedsl-82-207-238-090.citykom.de) (Ping timeout: 246 seconds) |
| 2022-06-12 04:16:33 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Quit: Client closed) |
| 2022-06-12 04:16:41 +0200 | td_ | (~td@94.134.91.177) |
| 2022-06-12 04:19:04 +0200 | slack1256 | (~slack1256@186.11.84.227) |
| 2022-06-12 04:21:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 04:21:44 +0200 | slac96875 | (~slack1256@191.125.99.197) |
| 2022-06-12 04:23:43 +0200 | slack1256 | (~slack1256@186.11.84.227) (Ping timeout: 246 seconds) |
| 2022-06-12 04:24:03 +0200 | slac96875 | slack1256 |
| 2022-06-12 04:28:01 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 04:30:45 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 04:30:51 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-12 04:32:08 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-06-12 04:34:36 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-12 04:45:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 04:46:05 +0200 | brettgilio | (~brettgili@x-node.gq) (Ping timeout: 256 seconds) |
| 2022-06-12 04:48:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-12 04:49:51 +0200 | Topsi | (~Topsi@dyndsl-095-033-021-117.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-06-12 04:50:00 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 248 seconds) |
| 2022-06-12 04:50:30 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 04:51:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-12 04:56:28 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 05:00:03 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-12 05:01:31 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-06-12 05:01:36 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 05:02:40 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 05:03:35 +0200 | Quantum-Tiger | (~user@c-73-25-251-125.hsd1.or.comcast.net) |
| 2022-06-12 05:04:32 +0200 | Quantum-Tiger | (~user@c-73-25-251-125.hsd1.or.comcast.net) () |
| 2022-06-12 05:11:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 05:16:02 +0200 | leeb | (~leeb@KD106154140021.au-net.ne.jp) |
| 2022-06-12 05:19:48 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) |
| 2022-06-12 05:19:58 +0200 | oxide | (~lambda@user/oxide) |
| 2022-06-12 05:20:37 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-12 05:23:46 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 05:25:46 +0200 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) (Quit: king_gs) |
| 2022-06-12 05:30:25 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-12 05:30:52 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 05:31:11 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-12 05:37:29 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2022-06-12 05:40:57 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) |
| 2022-06-12 05:43:03 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 05:44:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 05:55:40 +0200 | <cdsmith> | Huh. I'm learning that GHC has a limit on "simplifier ticks" that you might have to increase if you do too much with types... Very interesting. |
| 2022-06-12 05:57:23 +0200 | <c_wraith> | it was quite common to need to increase the number of ticks to install vector-algorithms for a while |
| 2022-06-12 05:57:36 +0200 | <c_wraith> | as vector-algorithms used recursive macros to generate exponential-size code |
| 2022-06-12 06:00:55 +0200 | slack1256 | (~slack1256@191.125.99.197) (Remote host closed the connection) |
| 2022-06-12 06:02:05 +0200 | <cdsmith> | Makes sense. I'm also doing some weird things; the challenge I'm working on is to design a system where you write a graph database schema in a type, and get a Haskell API to maintain data with that schema. So I'm definitely not doing anything reasonably here. |
| 2022-06-12 06:08:41 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 06:09:36 +0200 | nevermor_ | (~nevermore@220.184.51.62) |
| 2022-06-12 06:10:30 +0200 | nevermor_ | (~nevermore@220.184.51.62) (Remote host closed the connection) |
| 2022-06-12 06:10:57 +0200 | nevermor_ | (~nevermore@220.184.51.62) |
| 2022-06-12 06:13:27 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 06:15:38 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-12 06:18:29 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 255 seconds) |
| 2022-06-12 06:22:16 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-12 06:23:20 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 248 seconds) |
| 2022-06-12 06:24:20 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:70cc:2da1:ce4e:63a0) (Ping timeout: 255 seconds) |
| 2022-06-12 06:25:47 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 06:56:17 +0200 | ubert | (~Thunderbi@p200300ecdf14f99dfb6d2023d109ce6e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-12 06:56:36 +0200 | ubert | (~Thunderbi@p200300ecdf14f9d9a572ea18cc43ef74.dip0.t-ipconnect.de) |
| 2022-06-12 07:05:36 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-06-12 07:12:55 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 07:16:54 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) (Quit: leaving) |
| 2022-06-12 07:18:34 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-06-12 07:20:43 +0200 | causal | (~user@50.35.83.177) |
| 2022-06-12 07:22:47 +0200 | nevermor_ | (~nevermore@220.184.51.62) (Remote host closed the connection) |
| 2022-06-12 07:26:34 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 07:33:08 +0200 | acidjnk_new | (~acidjnk@p200300d0c7068b491406d5e85172d190.dip0.t-ipconnect.de) |
| 2022-06-12 07:33:45 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-12 07:34:41 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 07:35:52 +0200 | leeb | (~leeb@KD106154140021.au-net.ne.jp) (Ping timeout: 248 seconds) |
| 2022-06-12 07:37:38 +0200 | leeb | (~leeb@KD106154140184.au-net.ne.jp) |
| 2022-06-12 07:38:23 +0200 | kronicma1 | (user92502@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.0.1) |
| 2022-06-12 07:42:10 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 07:44:37 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-12 07:45:44 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 07:46:43 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 07:47:24 +0200 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) |
| 2022-06-12 07:48:58 +0200 | zaquest | (~notzaques@5.130.79.72) (Quit: Leaving) |
| 2022-06-12 07:51:06 +0200 | kenran | (~kenran@200116b82bfe1c00d657db0acdc524ea.dip.versatel-1u1.de) |
| 2022-06-12 07:51:16 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-12 07:54:46 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-12 08:01:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-12 08:11:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-12 08:11:16 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 08:13:20 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 258 seconds) |
| 2022-06-12 08:14:30 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-06-12 08:15:56 +0200 | <Haskelytic> | https://paste.tomsmeding.com/ARsZUwWG |
| 2022-06-12 08:16:08 +0200 | <Haskelytic> | I'm doing something wrong here but I can't figure out what |
| 2022-06-12 08:16:08 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 08:16:31 +0200 | <Haskelytic> | I thought QuickCheck has a default implementation for a->b arbitraries? |
| 2022-06-12 08:17:10 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
| 2022-06-12 08:17:29 +0200 | Furor | Colere |
| 2022-06-12 08:20:02 +0200 | <tomsmeding> | Haskelytic: it does, and it looks like this: (CoArbitrary a, Arbitrary b) => Arbitrary (a -> b) |
| 2022-06-12 08:20:47 +0200 | <tomsmeding> | CoArbitrary is a class that describes how to use a value of type `a` as a seed to a random generator |
| 2022-06-12 08:20:58 +0200 | <tomsmeding> | see also the docs for the class -- they recommend you use `Fun` instead https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/Test-QuickCheck.html#t:CoArbitrary |
| 2022-06-12 08:21:34 +0200 | <mon_aaraj> | hey, i'm learning algebraic effects and it would be nice to see any good resource on learning it. all the papers on it are very difficult to understand and get into, and reasonablypolymorphic and another person's blog really didn't do it for me; any ideas? |
| 2022-06-12 08:22:02 +0200 | <mon_aaraj> | actually, im trying to learn about extensible effects overall |
| 2022-06-12 08:25:38 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-12 08:27:36 +0200 | acidjnk_new | (~acidjnk@p200300d0c7068b491406d5e85172d190.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-12 08:29:27 +0200 | <Haskelytic> | @tomsm |
| 2022-06-12 08:29:27 +0200 | <lambdabot> | Unknown command, try @list |
| 2022-06-12 08:29:40 +0200 | <Haskelytic> | tomsmeding: thanks. I managed to figure it out. |
| 2022-06-12 08:35:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 08:39:01 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-06-12 08:41:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-12 08:51:03 +0200 | <jackdk> | mon_aaraj: ~4:00-9:00 of https://www.youtube.com/watch?v=-dHFOjcK6pA pitches the dream, even if polysemy might not be the complete realisation of that dream. |
| 2022-06-12 08:51:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 08:53:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 08:54:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-06-12 08:55:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 08:55:40 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 09:07:54 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-12 09:13:17 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 09:13:59 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-12 09:16:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-173.elisa-laajakaista.fi) |
| 2022-06-12 09:20:24 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 09:24:29 +0200 | nineonine | (~nineonine@2604:3d08:7780:cd00:e9d1:527c:d954:f1c3) |
| 2022-06-12 09:25:12 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-12 09:25:15 +0200 | <nineonine> | how do I suppress the "Missing documentation for:" warning? I suspect this is coming from cabal |
| 2022-06-12 09:26:02 +0200 | <sclv> | its gonna be haddock i imagine |
| 2022-06-12 09:27:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-12 09:27:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 09:27:41 +0200 | frost | (~frost@user/frost) |
| 2022-06-12 09:27:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-12 09:28:10 +0200 | <nineonine> | i guess, i just see it every time I do "cabal run" |
| 2022-06-12 09:28:11 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 09:28:21 +0200 | <nineonine> | and it slows down recompilation it seems |
| 2022-06-12 09:29:23 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 09:29:33 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-12 09:31:02 +0200 | nevermor_ | (~nevermore@220.184.51.62) |
| 2022-06-12 09:32:30 +0200 | <c_wraith> | nineonine: do you have cabal set to automatically build documentation? it shouldn't care unless it's trying to hyperlink types to other packages |
| 2022-06-12 09:33:19 +0200 | <nineonine> | hmm, I don't see anything relevant in .cabal file |
| 2022-06-12 09:34:09 +0200 | <c_wraith> | it could also be in ~/.cabal/config |
| 2022-06-12 09:34:59 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 09:38:21 +0200 | <nineonine> | which flag should I be looking for there? |
| 2022-06-12 09:38:36 +0200 | <c_wraith> | looks like it's just named "Documentation" |
| 2022-06-12 09:38:42 +0200 | <c_wraith> | err. no caps |
| 2022-06-12 09:40:16 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 09:40:38 +0200 | <nineonine> | it looks like it is set to True. I will try to change that. Thanks! |
| 2022-06-12 09:41:19 +0200 | raym | (~raym@user/raym) (Ping timeout: 256 seconds) |
| 2022-06-12 09:43:36 +0200 | <nineonine> | it looks like it triggered full universe rebuild, let's see what happens now |
| 2022-06-12 09:43:45 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-12 09:44:01 +0200 | <c_wraith> | oh, yeah. cabal just notices the flags changed - it doesn't track what flags need full rebuilds. |
| 2022-06-12 09:47:50 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-06-12 09:50:14 +0200 | <nineonine> | looks like that was it - now warnings now. thanks again! |
| 2022-06-12 09:50:24 +0200 | <nineonine> | no* |
| 2022-06-12 09:54:59 +0200 | kenran | (~kenran@200116b82bfe1c00d657db0acdc524ea.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-06-12 09:55:34 +0200 | bilegeek | (~bilegeek@2600:1008:b014:4c38:487c:f230:6a2b:928b) (Ping timeout: 244 seconds) |
| 2022-06-12 09:56:17 +0200 | bilegeek | (~bilegeek@42.sub-174-208-228.myvzw.com) |
| 2022-06-12 09:56:45 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 09:57:15 +0200 | raym | (~raym@user/raym) |
| 2022-06-12 10:00:54 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 10:06:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1917:7088:7036:8417) (Remote host closed the connection) |
| 2022-06-12 10:07:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 10:09:40 +0200 | nckx | (~nckx@tobias.gr) (Ping timeout: 248 seconds) |
| 2022-06-12 10:11:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 244 seconds) |
| 2022-06-12 10:13:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 10:13:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 10:14:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-12 10:16:06 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 10:16:53 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 10:19:28 +0200 | nevermor_ | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 10:23:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 10:27:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 10:32:16 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-06-12 10:36:20 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-12 10:37:45 +0200 | Hemmo | (~IceChat95@2001:999:500:9cfd:9523:a40:7f2f:f166) |
| 2022-06-12 10:38:30 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-12 10:39:11 +0200 | <Hemmo> | Hey! Any tips on how to not encode the whitespaces? I'm using 'unwords' function to a list of strings to make it into one string so I can encode it, but I want the whitespaces to not be encoded =) |
| 2022-06-12 10:39:12 +0200 | <Hemmo> | https://paste.tomsmeding.com/1MP6xNu0 |
| 2022-06-12 10:39:16 +0200 | <Hemmo> | Code up there |
| 2022-06-12 10:40:00 +0200 | <tomsmeding> | Hemmo: can you give an example input, together with the output you get and the output you want? |
| 2022-06-12 10:40:35 +0200 | <Hemmo> | Yup gimme a second =) |
| 2022-06-12 10:41:46 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-06-12 10:42:09 +0200 | <Hemmo> | Example in there |
| 2022-06-12 10:42:10 +0200 | <Hemmo> | https://paste.tomsmeding.com/2IfaveuA |
| 2022-06-12 10:42:35 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-06-12 10:43:45 +0200 | frost | (~frost@user/frost) |
| 2022-06-12 10:44:53 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-06-12 10:45:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-06-12 10:46:03 +0200 | <tomsmeding> | Hemmo: have you seen the 'map' function yet? |
| 2022-06-12 10:46:59 +0200 | <tomsmeding> | s/yet/already/ |
| 2022-06-12 10:47:32 +0200 | <tomsmeding> | also, as a side note, this code can become much nicer to read using pattern matching with a case-expression |
| 2022-06-12 10:50:05 +0200 | whatif | (~x@li1872-229.members.linode.com) |
| 2022-06-12 10:51:49 +0200 | <Hemmo> | Yeah I've used the map function a couple of times, but not sure how i can apply it here |
| 2022-06-12 10:52:10 +0200 | <Hemmo> | I've got to look into case expressions after I've done this ;D Never used them. I admit the code is a bit yuck |
| 2022-06-12 10:57:19 +0200 | nineonine | (~nineonine@2604:3d08:7780:cd00:e9d1:527c:d954:f1c3) (Remote host closed the connection) |
| 2022-06-12 10:59:31 +0200 | whatif | (~x@li1872-229.members.linode.com) (Ping timeout: 256 seconds) |
| 2022-06-12 11:05:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-12 11:05:04 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds) |
| 2022-06-12 11:05:50 +0200 | <Hemmo> | I've got to look into case expressions after I've done this ;D Never used them. I admit the code is a bit yuck |
| 2022-06-12 11:05:53 +0200 | <Hemmo> | Oops |
| 2022-06-12 11:09:45 +0200 | bilegeek | (~bilegeek@42.sub-174-208-228.myvzw.com) (Remote host closed the connection) |
| 2022-06-12 11:10:08 +0200 | bilegeek | (~bilegeek@42.sub-174-208-228.myvzw.com) |
| 2022-06-12 11:12:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 11:13:59 +0200 | nevermore | (~nevermore@220.184.51.62) (Remote host closed the connection) |
| 2022-06-12 11:14:26 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 11:20:04 +0200 | <tomsmeding> | Hemmo: you have a function (encode n) :: String -> String, and you have (drop w 2) :: [String] |
| 2022-06-12 11:22:17 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 11:25:35 +0200 | <tomsmeding> | Hemmo: I used 'case' to clean up your code, in case you're curious how that could look: https://paste.tomsmeding.com/CmTFemqy |
| 2022-06-12 11:25:54 +0200 | <tomsmeding> | you can simplify 'encode' using function composition (.) as well -- that's an exercise if you're interested :) |
| 2022-06-12 11:29:56 +0200 | <tomsmeding> | (something to note: I don't need your extractIntFromMaybe anymore :) ) |
| 2022-06-12 11:30:17 +0200 | <tomsmeding> | (that's the power of case analysis) |
| 2022-06-12 11:30:25 +0200 | <tomsmeding> | (less 'undefined') |
| 2022-06-12 11:30:38 +0200 | <Hemmo> | Well damn that's beautiful |
| 2022-06-12 11:31:33 +0200 | <Hemmo> | I'm afraid I still don't understand how to deal with the whitespaces ;D |
| 2022-06-12 11:31:57 +0200 | <tomsmeding> | Hemmo: in your code you have (drop w 2), in my code 'args', which is a list of strings |
| 2022-06-12 11:32:07 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 11:32:15 +0200 | <tomsmeding> | what you're currently doing is concatenating them together again with spaces using 'unwords', and then applying 'encode' |
| 2022-06-12 11:32:22 +0200 | <tomsmeding> | but you say you want to "preserve the spaces" |
| 2022-06-12 11:32:37 +0200 | <tomsmeding> | what I think is nicer, is to do the encoding on the _words you had before 'unwords'_ |
| 2022-06-12 11:32:43 +0200 | <tomsmeding> | and concatenate them _afterwards_ |
| 2022-06-12 11:32:56 +0200 | <tomsmeding> | then you don't have to "preserve spaces" -- the whole concern disappears |
| 2022-06-12 11:33:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 11:38:47 +0200 | alp | (~alp@user/alp) |
| 2022-06-12 11:43:27 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Quit: computer down for repositioning) |
| 2022-06-12 11:45:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-12 11:46:54 +0200 | califax | (~califax@user/califx) |
| 2022-06-12 11:48:41 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-12 11:50:05 +0200 | Kaipii | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-12 11:50:22 +0200 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-06-12 11:51:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-12 11:52:46 +0200 | <Hemmo> | tomsmeding: cheers! Took me a while to figure it out, but I did =) Thanks again |
| 2022-06-12 11:54:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 11:54:25 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 11:55:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 11:57:59 +0200 | Hemmo | (~IceChat95@2001:999:500:9cfd:9523:a40:7f2f:f166) (Quit: Copywight 2016 Elmer Fudd. All wights wesewved.) |
| 2022-06-12 12:02:34 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 258 seconds) |
| 2022-06-12 12:04:27 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 12:08:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-12 12:09:26 +0200 | bilegeek | (~bilegeek@42.sub-174-208-228.myvzw.com) (Quit: Leaving) |
| 2022-06-12 12:12:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 12:13:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-06-12 12:13:06 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-12 12:13:18 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-12 12:13:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 12:18:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 12:30:14 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-12 12:34:59 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-12 12:36:18 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Quit: WeeChat 3.0) |
| 2022-06-12 12:36:28 +0200 | alp | (~alp@user/alp) (Ping timeout: 272 seconds) |
| 2022-06-12 12:42:48 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-12 12:44:51 +0200 | <Benzi-Junior> | anyone here know how to use STM ? |
| 2022-06-12 12:45:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 12:45:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-12 12:47:12 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 12:48:29 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-12 12:53:26 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-12 12:57:28 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-12 12:59:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-12 12:59:57 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 13:02:09 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-12 13:07:42 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-12 13:07:57 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-12 13:13:16 +0200 | frost | (~frost@user/frost) |
| 2022-06-12 13:17:45 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 13:18:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 13:19:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-12 13:19:49 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 13:22:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 13:22:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 13:24:23 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-12 13:25:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 13:26:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 13:27:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 13:27:58 +0200 | leeb | (~leeb@KD106154140184.au-net.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-12 13:29:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 13:29:33 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-12 13:38:10 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-12 13:42:25 +0200 | frost | (~frost@user/frost) |
| 2022-06-12 13:42:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 13:43:32 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-12 13:49:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 13:55:32 +0200 | chreekat2 | (~b@2001:620:130:6092:7bc:6e6:7701:1efc) |
| 2022-06-12 13:56:16 +0200 | oxide | (~lambda@user/oxide) |
| 2022-06-12 13:59:31 +0200 | jafarlihi | (~user@188.253.226.37) |
| 2022-06-12 14:00:28 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-12 14:00:56 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2022-06-12 14:03:45 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 14:05:26 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-06-12 14:06:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 14:07:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 14:10:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 14:12:45 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 256 seconds) |
| 2022-06-12 14:14:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 14:15:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-12 14:16:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 248 seconds) |
| 2022-06-12 14:18:01 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 14:23:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-12 14:34:00 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
| 2022-06-12 14:34:16 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 272 seconds) |
| 2022-06-12 14:34:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cb75:4736:4327:a806) |
| 2022-06-12 14:37:34 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-06-12 14:39:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cb75:4736:4327:a806) (Ping timeout: 250 seconds) |
| 2022-06-12 14:41:59 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-12 14:46:00 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-12 14:47:16 +0200 | frost | (~frost@user/frost) |
| 2022-06-12 14:47:43 +0200 | <lyxia> | Benzi-Junior: did you have a question about it |
| 2022-06-12 14:53:11 +0200 | jafarlihi | (~user@188.253.226.37) (Quit: WeeChat 3.5) |
| 2022-06-12 14:53:20 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 14:53:25 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 14:53:36 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-12 14:55:43 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 15:02:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 15:06:17 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Ping timeout (120 seconds)) |
| 2022-06-12 15:10:20 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 15:10:58 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 15:19:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 15:19:42 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Ping timeout (120 seconds)) |
| 2022-06-12 15:20:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 258 seconds) |
| 2022-06-12 15:24:37 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-12 15:27:06 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-06-12 15:41:06 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-12 15:41:20 +0200 | caubert | (~caubert@user/caubert) |
| 2022-06-12 15:46:11 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-12 15:46:26 +0200 | caubert | (~caubert@user/caubert) |
| 2022-06-12 15:46:34 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-06-12 15:55:47 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 15:56:17 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 15:57:56 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 15:58:15 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:00:30 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:00:46 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:03:03 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:03:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 16:03:40 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:03:51 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-12 16:03:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 16:04:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-06-12 16:05:33 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-12 16:05:41 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 16:05:51 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:06:04 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 16:06:04 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:06:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2022-06-12 16:06:45 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-12 16:07:38 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-06-12 16:07:38 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-06-12 16:07:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-06-12 16:08:18 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:09:02 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:09:56 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-12 16:10:50 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:11:36 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:13:46 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:14:15 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-06-12 16:14:32 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-12 16:15:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 16:15:50 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-12 16:19:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-06-12 16:19:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-12 16:20:21 +0200 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-06-12 16:20:35 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds) |
| 2022-06-12 16:26:10 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:28:14 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:28:53 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 16:29:05 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 16:31:21 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 16:31:58 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-12 16:36:51 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-12 16:40:15 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-12 16:41:43 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-06-12 16:46:48 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2022-06-12 16:48:32 +0200 | chreekat2 | (~b@2001:620:130:6092:7bc:6e6:7701:1efc) (Ping timeout: 272 seconds) |
| 2022-06-12 16:51:04 +0200 | aeka | (~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-12 16:51:27 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-06-12 16:51:57 +0200 | nckx | (~nckx@tobias.gr) |
| 2022-06-12 16:53:30 +0200 | nevermore | (~nevermore@220.184.51.62) (Remote host closed the connection) |
| 2022-06-12 16:57:03 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-12 17:00:16 +0200 | jlamothe | (~jlamothe@198.251.60.209) (Quit: leaving) |
| 2022-06-12 17:00:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-12 17:02:04 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 17:03:56 +0200 | alp | (~alp@user/alp) |
| 2022-06-12 17:05:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 17:09:41 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-12 17:10:00 +0200 | califax | (~califax@user/califx) |
| 2022-06-12 17:13:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 17:18:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 255 seconds) |
| 2022-06-12 17:19:11 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 256 seconds) |
| 2022-06-12 17:19:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 17:21:27 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2022-06-12 17:21:52 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-12 17:25:02 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-12 17:25:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-06-12 17:26:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 17:31:50 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-06-12 17:32:44 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 17:32:55 +0200 | raym | (~raym@user/raym) |
| 2022-06-12 17:33:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 17:33:53 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-12 17:34:42 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-12 17:35:14 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-12 17:37:00 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-12 17:42:02 +0200 | shapr | (~user@2600:4040:2d31:7100:bf17:8a01:f76e:e214) (Ping timeout: 255 seconds) |
| 2022-06-12 17:43:39 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 17:46:53 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-12 17:47:59 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 17:51:32 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-06-12 17:55:03 +0200 | Vajb | (~Vajb@2001:999:580:7ad5:4d80:745:ec1c:305) (Read error: Connection reset by peer) |
| 2022-06-12 17:56:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-12 17:59:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-12 18:03:01 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-12 18:20:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 18:30:47 +0200 | econo | (uid147250@user/econo) |
| 2022-06-12 18:32:31 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-12 18:42:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-06-12 18:43:15 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-12 18:46:42 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-12 18:52:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-12 18:53:01 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-06-12 18:53:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 18:54:36 +0200 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2022-06-12 18:55:32 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-06-12 18:56:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 19:03:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-12 19:03:20 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-12 19:03:41 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-12 19:06:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 19:06:12 +0200 | califax | (~califax@user/califx) |
| 2022-06-12 19:06:26 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-12 19:06:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 19:09:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 19:10:32 +0200 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-12 19:10:36 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 19:13:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 19:15:04 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-12 19:15:36 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-12 19:16:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 19:18:13 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:7597:f140:96b5:bca8) |
| 2022-06-12 19:22:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 19:31:27 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) |
| 2022-06-12 19:34:27 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-12 19:34:32 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-12 19:37:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-12 19:37:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-12 19:39:01 +0200 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-12 19:39:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-12 19:40:37 +0200 | califax | (~califax@user/califx) |
| 2022-06-12 19:41:44 +0200 | raym | (~raym@user/raym) (Ping timeout: 248 seconds) |
| 2022-06-12 19:42:13 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) (Quit: Leaving) |
| 2022-06-12 19:43:31 +0200 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-12 19:46:36 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-12 19:52:06 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-12 19:58:23 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-12 20:06:30 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-06-12 20:09:27 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-12 20:21:56 +0200 | chreekat2 | (~b@2001:620:130:6092:58d5:49cb:43e8:70d2) |
| 2022-06-12 20:23:56 +0200 | raym | (~raym@user/raym) |
| 2022-06-12 20:25:09 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-12 20:26:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 258 seconds) |
| 2022-06-12 20:26:45 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-12 20:28:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-12 20:28:40 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-dd76-ba9d-2665-21fb.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-06-12 20:28:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 20:28:59 +0200 | jlamothe | (~jlamothe@198.251.60.209) |
| 2022-06-12 20:31:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-06-12 20:31:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-12 20:33:03 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 20:35:16 +0200 | acidjnk | (~acidjnk@p200300d0c7068b4909d1fbe33683b100.dip0.t-ipconnect.de) |
| 2022-06-12 20:35:54 +0200 | chreekat2 | (~b@2001:620:130:6092:58d5:49cb:43e8:70d2) (Ping timeout: 272 seconds) |
| 2022-06-12 20:40:51 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) |
| 2022-06-12 20:40:51 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) (Changing host) |
| 2022-06-12 20:40:51 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-06-12 20:42:02 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
| 2022-06-12 20:42:03 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4880-a368-0091-2141.res6.spectrum.com) |
| 2022-06-12 20:42:32 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) |
| 2022-06-12 20:44:07 +0200 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2022-06-12 20:44:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-12 20:46:22 +0200 | <hololeap> | Benzi-Junior: it kind of "just works" |
| 2022-06-12 20:49:25 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 256 seconds) |
| 2022-06-12 20:51:16 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:dddf:8180:d61b:8240) |
| 2022-06-12 20:53:48 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-12 20:56:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 20:59:19 +0200 | <Haskelytic> | I was reading about the -XDatatypeContexts extension and it says that this is a "misfeature" |
| 2022-06-12 20:59:24 +0200 | <Haskelytic> | How so? |
| 2022-06-12 21:00:10 +0200 | <geekosaur> | it checks the context while building values, but you can't get the context back when using/consuming such a value |
| 2022-06-12 21:00:11 +0200 | <c_wraith> | It doesn't do anything useful |
| 2022-06-12 21:00:15 +0200 | <geekosaur> | which makes it useless |
| 2022-06-12 21:00:28 +0200 | <geekosaur> | it was one of the stupider parts of Haskell98 |
| 2022-06-12 21:00:49 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-12 21:00:55 +0200 | <c_wraith> | IIRC, it was added when seq was part of a class. it made some sense then. |
| 2022-06-12 21:00:58 +0200 | <Haskelytic> | I see. That was a simpler explanation than I expected lol |
| 2022-06-12 21:01:09 +0200 | <c_wraith> | But it wasn't removed when seq was made magical |
| 2022-06-12 21:05:15 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-06-12 21:08:14 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-12 21:08:24 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Ping timeout (120 seconds)) |
| 2022-06-12 21:08:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 21:09:53 +0200 | <Bulby[m]> | with polysemy, how would you hoist things like Binary.Put into an effect? |
| 2022-06-12 21:10:24 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-06-12 21:12:30 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-06-12 21:12:55 +0200 | <Bulby[m]> | https://paste.tomsmeding.com/LapEJH1P I was thinking of this |
| 2022-06-12 21:15:11 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 21:16:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-06-12 21:17:09 +0200 | <Bulby[m]> | it's not complaining so 🤷 |
| 2022-06-12 21:17:23 +0200 | <Bulby[m]> | very likely broken though |
| 2022-06-12 21:17:38 +0200 | machinedgod | (~machinedg@209.89.162.226) |
| 2022-06-12 21:19:37 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 21:20:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 21:23:05 +0200 | <Haskelytic> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/newtype_deriving.html#newtype-… |
| 2022-06-12 21:23:19 +0200 | <Haskelytic> | "Notice that, since Monad is a constructor class, the instance is a partial application of the newtype, not the ..." |
| 2022-06-12 21:23:30 +0200 | <Haskelytic> | what is a *constructor class*? |
| 2022-06-12 21:24:24 +0200 | <tomsmeding> | Haskelytic: not sure if that's standard terminology, but the only meaning that makes sense in that context is that the argument `m` to `Monad` is of kind `* -> *`, not of kind `*` |
| 2022-06-12 21:25:13 +0200 | <tomsmeding> | perhaps from being a type class for type _constructors_, as opposed to types themselves? It's confusing terminology in any case |
| 2022-06-12 21:25:38 +0200 | <Haskelytic> | Hmm...that's very confusing indeed |
| 2022-06-12 21:25:43 +0200 | <Haskelytic> | Thanks! |
| 2022-06-12 21:25:50 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 21:26:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-12 21:26:28 +0200 | <tomsmeding> | there was a discussion in this channel a little while back about precisely this point, how to call a type that is not of kind `-` |
| 2022-06-12 21:26:33 +0200 | <tomsmeding> | um, `*`, not `-` |
| 2022-06-12 21:26:50 +0200 | <tomsmeding> | no consensus was reached IIRC :p |
| 2022-06-12 21:27:01 +0200 | <Haskelytic> | XD |
| 2022-06-12 21:27:57 +0200 | tose | (~tose@85-160-4-123.reb.o2.cz) (Ping timeout: 256 seconds) |
| 2022-06-12 21:30:20 +0200 | <tomsmeding> | trigger was this https://gist.github.com/merijn/796b8e041885df870fbb53b7191644b6 , discussion starts a bit later https://ircbrowse.tomsmeding.com/day/lchaskell/2022/05/24?id=563308#trid563308 |
| 2022-06-12 21:30:26 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-12 21:31:00 +0200 | <tomsmeding> | ah, it seems a conclusion _was_ reached: types of kind * are "habitable types" |
| 2022-06-12 21:31:25 +0200 | <tomsmeding> | (still, that does not give a word for types of kind *->*) |
| 2022-06-12 21:33:48 +0200 | <geekosaur> | tomsmeding, it used to be common terminology back in the Gofer days, which introduced the concept |
| 2022-06-12 21:34:15 +0200 | <tomsmeding> | geekosaur: constructor classes, you mean? |
| 2022-06-12 21:34:20 +0200 | <geekosaur> | types/kinds/etc. are a bit more complex these days, though |
| 2022-06-12 21:34:22 +0200 | <geekosaur> | yes |
| 2022-06-12 21:34:54 +0200 | <tomsmeding> | if you can have higher-kinded type classes, then not sure how much more complicated the kind system is nowadays |
| 2022-06-12 21:35:09 +0200 | <tomsmeding> | I guess there are more kinds than just Kind ::= Star | Kind -> Kind |
| 2022-06-12 21:35:09 +0200 | <geekosaur> | it was one of the things Haskell inherited from Gofer, which is why the terminology is still around |
| 2022-06-12 21:35:22 +0200 | <tomsmeding> | but that doesn't really change this terminology point :p |
| 2022-06-12 21:35:26 +0200 | <tomsmeding> | ah |
| 2022-06-12 21:36:02 +0200 | Oiyqlk | (~IceChat95@2804:d45:88b7:6700:6b:cbb6:def6:ac7) |
| 2022-06-12 21:36:09 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-12 21:36:27 +0200 | <Haskelytic> | Found a curious remark in the IRC logs: "<dminuoso_>: Sometimes you hear people saying that * is the kind of habitable (not necessarily habitated) types" |
| 2022-06-12 21:36:41 +0200 | <Haskelytic> | How is a habitable type not habitated by definition? |
| 2022-06-12 21:37:02 +0200 | <tomsmeding> | I think that remark got corrected later on, given that all types of kind * do indeed have an inhabitant: undefined |
| 2022-06-12 21:37:10 +0200 | <geekosaur> | ^ |
| 2022-06-12 21:37:30 +0200 | <tomsmeding> | also, 'habitated' should perhaps have been 'inhabited' |
| 2022-06-12 21:37:51 +0200 | <geekosaur> | at least, that's how I read that: "habitated" (sic) meant by things other than undefined |
| 2022-06-12 21:38:34 +0200 | lottaquestions_ | (~nick@104.221.94.126) (Quit: Konversation terminated!) |
| 2022-06-12 21:39:23 +0200 | <tomsmeding> | yeah |
| 2022-06-12 21:39:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-12 21:40:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 21:41:25 +0200 | Oiyqlk | (~IceChat95@2804:d45:88b7:6700:6b:cbb6:def6:ac7) () |
| 2022-06-12 21:42:23 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 21:42:53 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) |
| 2022-06-12 21:46:00 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-12 21:48:25 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 21:49:01 +0200 | <geekosaur> | Haskelytic, if you want an example of a type that is habitable but not inhabited by a non-bottom value, look at ST |
| 2022-06-12 21:49:36 +0200 | <geekosaur> | (where it's the point, because you can never touch the "state" parameter, so nothing that is involved with it can ever escape ST) |
| 2022-06-12 21:50:05 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 21:52:05 +0200 | <geekosaur> | IO uses the same trick (literally) to keep values from leaking out |
| 2022-06-12 21:52:35 +0200 | <Bulby[m]> | IO and ST are basically the same except ST is "escapable" |
| 2022-06-12 21:53:20 +0200 | <geekosaur> | as long as you don't try to leak any impurity, all of which is "tainted" by the untouchable "s" parameter |
| 2022-06-12 21:55:12 +0200 | <geekosaur> | so you can escape out of purity to do things, then produce a pure result |
| 2022-06-12 21:55:36 +0200 | <geekosaur> | this lets you do things like implement impure sorting algorithms without violating purity or being in IO |
| 2022-06-12 21:56:00 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-12 21:57:15 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 21:59:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 22:00:05 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-12 22:00:40 +0200 | <tomsmeding> | isn't `data Void` a better example of a type whose only inhabitant is bottom? |
| 2022-06-12 22:00:49 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-12 22:01:02 +0200 | <geekosaur> | iirc it doesn't even have bottom? |
| 2022-06-12 22:01:05 +0200 | <tomsmeding> | I guess a fully polymorphic type variable also has that property, but that's a bit harder to see |
| 2022-06-12 22:01:09 +0200 | <Bulby[m]> | but it's uninhabitable |
| 2022-06-12 22:01:09 +0200 | <geekosaur> | :t absurd |
| 2022-06-12 22:01:12 +0200 | <lambdabot> | Void -> a |
| 2022-06-12 22:01:20 +0200 | <monochrom> | Void has bottom. |
| 2022-06-12 22:01:25 +0200 | <geekosaur> | if you can produce any value, including value, you have an exception |
| 2022-06-12 22:01:27 +0200 | <tomsmeding> | > error "hi" :: Void |
| 2022-06-12 22:01:29 +0200 | <lambdabot> | *Exception: hi |
| 2022-06-12 22:01:38 +0200 | <tomsmeding> | that's a bottom of type Void :p |
| 2022-06-12 22:01:40 +0200 | <geekosaur> | er, including bottom |
| 2022-06-12 22:01:55 +0200 | <tomsmeding> | yeah, throwing exceptions is the point of bottom |
| 2022-06-12 22:02:08 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) (Ping timeout: 246 seconds) |
| 2022-06-12 22:02:10 +0200 | <Haskelytic> | lol I thought Void was just a type without any terms? |
| 2022-06-12 22:02:15 +0200 | <Haskelytic> | ie. uninhabited? |
| 2022-06-12 22:02:22 +0200 | <tomsmeding> | Haskelytic: without any _fully defined_ terms |
| 2022-06-12 22:02:36 +0200 | <tomsmeding> | :t undefined |
| 2022-06-12 22:02:38 +0200 | <lambdabot> | a |
| 2022-06-12 22:02:38 +0200 | <geekosaur> | bottom inhabits any type that can potentially be inhabited |
| 2022-06-12 22:02:47 +0200 | <geekosaur> | some types have only bottom as an inhabitant |
| 2022-06-12 22:02:53 +0200 | <tomsmeding> | `undefined` is of any type you wish (of kind *) |
| 2022-06-12 22:03:04 +0200 | <tomsmeding> | if you evaluate it you get an exception, that's true |
| 2022-06-12 22:03:27 +0200 | <geekosaur> | :t let a = a in a -- another kind of bottom, the nonterminating loop |
| 2022-06-12 22:03:29 +0200 | <lambdabot> | t |
| 2022-06-12 22:03:35 +0200 | <tomsmeding> | I guess it depends on what you call "an inhabitant of a type" |
| 2022-06-12 22:04:11 +0200 | <Haskelytic> | So...basically there is no type without inhabitants because bottom will show up to the party? |
| 2022-06-12 22:04:16 +0200 | <tomsmeding> | in any case, the existence of bottom means that haskell is not worth much as a proof language :p |
| 2022-06-12 22:04:25 +0200 | <geekosaur> | `Maybe` is a type without inhabitants |
| 2022-06-12 22:04:29 +0200 | <tomsmeding> | Haskelytic: no type _of kind *_ |
| 2022-06-12 22:04:51 +0200 | <Haskelytic> | Right...I implicitly assumed type of kind * |
| 2022-06-12 22:04:55 +0200 | <tomsmeding> | > undefined :: Maybe |
| 2022-06-12 22:04:57 +0200 | <lambdabot> | error: |
| 2022-06-12 22:04:57 +0200 | <lambdabot> | • Expecting one more argument to ‘Maybe’ |
| 2022-06-12 22:04:57 +0200 | <lambdabot> | Expected a type, but ‘Maybe’ has kind ‘* -> *’ |
| 2022-06-12 22:05:04 +0200 | <geekosaur> | `Maybe a` for some `aq` of kind * is (potentially) inhabited |
| 2022-06-12 22:05:12 +0200 | <geekosaur> | `Maybe` itself is not |
| 2022-06-12 22:05:28 +0200 | <geekosaur> | *some `a` |
| 2022-06-12 22:06:02 +0200 | <tomsmeding> | what's potentially confusing about this is that it's so super obvious that `Maybe` cannot have inhabitants -- you're not even allowed to write a bare `Maybe` in a position where it would denote the type of a term |
| 2022-06-12 22:06:12 +0200 | <tomsmeding> | see error I got above |
| 2022-06-12 22:06:25 +0200 | <geekosaur> | sadly ghc itself is inconsistent about this, in that error it says "expected a type", but in other places it refers to even things like `Maybe` as "types" |
| 2022-06-12 22:07:07 +0200 | <tomsmeding> | :p |
| 2022-06-12 22:07:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-12 22:07:31 +0200 | <Haskelytic> | lol feels like my understanding of types is just scratching the surface atm |
| 2022-06-12 22:07:38 +0200 | <geekosaur> | there are also things of kinds other that * that don |
| 2022-06-12 22:07:44 +0200 | <geekosaur> | 't involve -> |
| 2022-06-12 22:07:59 +0200 | <Haskelytic> | from what i understand so far, we have kinds ("metatypes" if you will), types, terms |
| 2022-06-12 22:08:04 +0200 | <geekosaur> | usually htis shows up as `k` instead of `*` (or `Type`) |
| 2022-06-12 22:08:26 +0200 | <geekosaur> | there also are (used to be?) "sorts", the "type" of kinds |
| 2022-06-12 22:08:40 +0200 | <geekosaur> | terms, types, kinds, sorts, ... |
| 2022-06-12 22:08:47 +0200 | <Haskelytic> | XD |
| 2022-06-12 22:09:00 +0200 | <Haskelytic> | where does it end |
| 2022-06-12 22:09:32 +0200 | <geekosaur> | the Ωmega programming language has an infinite stack of such things, and uses the same language for all of them |
| 2022-06-12 22:09:42 +0200 | <monochrom> | "It's lasagna all the way up" |
| 2022-06-12 22:10:00 +0200 | <Haskelytic> | geekosaur: dammn...never heard of that lang |
| 2022-06-12 22:10:01 +0200 | <tomsmeding> | Haskelytic: in some languages, like Agda/Idris, it doesn't: infinite stack of universes |
| 2022-06-12 22:10:11 +0200 | <tomsmeding> | that's what allows them to be used as proof languages |
| 2022-06-12 22:10:34 +0200 | <tomsmeding> | Haskell does a sneaky backstab to itself by saying kind = type, but that's ugly |
| 2022-06-12 22:10:35 +0200 | <geekosaur> | Haskelytic, look up Tim Sheard |
| 2022-06-12 22:10:57 +0200 | <tomsmeding> | also you won't run into the fact that kind = type in GHC Haskell unless you do really wild type trickery |
| 2022-06-12 22:11:11 +0200 | <Haskelytic> | monochrom:XD for me it feels like as soon as you start allowing types of types of types you just end up with....errr...a statically confined lisp macro system? |
| 2022-06-12 22:11:23 +0200 | <tomsmeding> | so store that fact somewhere deep in your mind's archive, but don't think about it now :p |
| 2022-06-12 22:11:34 +0200 | <tomsmeding> | :k GHC.Prim.Int# |
| 2022-06-12 22:11:36 +0200 | <lambdabot> | TYPE 'GHC.Types.IntRep |
| 2022-06-12 22:11:43 +0200 | <tomsmeding> | here, a type of some weird kind |
| 2022-06-12 22:11:53 +0200 | <geekosaur> | it's not really a macro system, it is computation with higher levels than values though |
| 2022-06-12 22:11:54 +0200 | <tomsmeding> | (an unlifted type) |
| 2022-06-12 22:12:09 +0200 | <geekosaur> | but type level computations are in some ways fundamentally different from value level |
| 2022-06-12 22:12:28 +0200 | <Haskelytic> | tomsmeding: I think my brain just had a MagicException |
| 2022-06-12 22:13:03 +0200 | <Haskelytic> | geekosaur: how so? |
| 2022-06-12 22:13:11 +0200 | <tomsmeding> | Haskelytic: did you know that the MagicHash extension allows that # syntax, or did you accidentally make a good pun |
| 2022-06-12 22:13:22 +0200 | <geekosaur> | because it's a type, not a value |
| 2022-06-12 22:13:35 +0200 | <geekosaur> | so for example you can have a type of lists of length 7 |
| 2022-06-12 22:13:57 +0200 | <Haskelytic> | tomsmeding: hahaha i have no idea what that extension is so I guess the latter |
| 2022-06-12 22:14:07 +0200 | <geekosaur> | and use type level math to work with them and even combine them with type-level-length lists of other lengths |
| 2022-06-12 22:14:47 +0200 | <Haskelytic> | geekosaur: i have heard of that mythical dependent type (correct me if im wrong) but my brain is struggling with haskell types :) |
| 2022-06-12 22:15:06 +0200 | <geekosaur> | but this is fundamentally different from a value-level list of length 7, and doing math on them changes the list's type, not its value |
| 2022-06-12 22:15:13 +0200 | <Haskelytic> | geekosaur: can you enforce non-trivial invariants like, "type of lists with even length" |
| 2022-06-12 22:15:24 +0200 | <geekosaur> | yes, with some work |
| 2022-06-12 22:15:41 +0200 | <geekosaur> | Haskell is not ideal for this kind of thing currently, Agda and Idris are better at it |
| 2022-06-12 22:15:44 +0200 | <tomsmeding> | in a dependently-typed language that's reasonably natural, in Haskell it's technically possible but quite annoying |
| 2022-06-12 22:17:07 +0200 | shapr | (~user@2600:4040:2d31:7100:310:98aa:7034:f899) |
| 2022-06-12 22:17:12 +0200 | <tomsmeding> | Haskelytic: except if you find this fun and want to learn about fancy types just for the sake of it, I suggest you postpone trying to understand the full kind system until you've worked with the standard data types and type classes for quite a while :p |
| 2022-06-12 22:17:57 +0200 | <tomsmeding> | at some point you will naturally want to create your own type classes that do not necessarily take standard types (of kind *) as arguments, for example, and then you'll be in a good position to understand how this works |
| 2022-06-12 22:18:01 +0200 | alp | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-06-12 22:19:15 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) |
| 2022-06-12 22:19:29 +0200 | <tomsmeding> | e.g. for that text in the GeneralizedNewtypeDeriving documentation that mentions "constructor classes", it suffices (for the pragmatic programmer) to read "like the Monad class" there. Only go deeper if you think that's fun (which it can be) |
| 2022-06-12 22:19:39 +0200 | <Haskelytic> | geekosaur: feels like a whole world out there lol....maybe the types of the future will be indistinguishable from magic? XD |
| 2022-06-12 22:20:34 +0200 | <geekosaur> | any sifficiently advanced type system… (sorry, Clarke) |
| 2022-06-12 22:20:58 +0200 | <Haskelytic> | tomsmeding: I'm learning this stuff for fun but I think I'll postpone it until I feel more comfortable with the basics |
| 2022-06-12 22:21:18 +0200 | <geekosaur> | yes, I'd consider this advanced type level stuff and suggest avoiding it |
| 2022-06-12 22:21:19 +0200 | <Haskelytic> | right now anything with more than one type variable makes my brain go "poof" |
| 2022-06-12 22:21:33 +0200 | <tomsmeding> | geekosaur: a sufficiently advanced type _inferencer_ _would_ be indistinguishable from magic |
| 2022-06-12 22:21:38 +0200 | <Haskelytic> | It's very different from c++ templates tbh |
| 2022-06-12 22:21:39 +0200 | machinedgod | (~machinedg@209.89.162.226) (Ping timeout: 258 seconds) |
| 2022-06-12 22:21:42 +0200 | <tomsmeding> | because it would be able to prove arbitrary theorems |
| 2022-06-12 22:21:45 +0200 | <Haskelytic> | although i can see some similarities |
| 2022-06-12 22:21:49 +0200 | <geekosaur> | maybe using it with something like Servant but without digging too deeply into it at first, just follow cookbooks and such |
| 2022-06-12 22:22:02 +0200 | <hololeap> | what's the holdup with a DependentTypes language extension? |
| 2022-06-12 22:22:36 +0200 | <geekosaur> | besides all the complaining about simplified subsumption? |
| 2022-06-12 22:22:44 +0200 | <tomsmeding> | 1 million things to fix in the language, in GHC and in the people before it becomes tractable? |
| 2022-06-12 22:22:49 +0200 | <Haskelytic> | geekosaur: hmm...good point |
| 2022-06-12 22:23:31 +0200 | <hololeap> | There's just this big, bold quote from https://blog.jle.im/entry/introduction-to-singletons-1.html |
| 2022-06-12 22:23:33 +0200 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-12 22:23:38 +0200 | <hololeap> | Real dependent types are coming to Haskell soon! Until then, we have the great singletons library :) |
| 2022-06-12 22:23:43 +0200 | <tomsmeding> | soon (tm) |
| 2022-06-12 22:24:06 +0200 | <hololeap> | Posted December, 2017 |
| 2022-06-12 22:24:22 +0200 | <geekosaur> | but the big reason is rae is still writing his thesis about it :) |
| 2022-06-12 22:24:54 +0200 | <tomsmeding> | wait is he? |
| 2022-06-12 22:25:20 +0200 | <geekosaur> | the bits and pieces are still gathering, eventually they'll all be there |
| 2022-06-12 22:25:43 +0200 | <geekosaur> | iirc he's the big one behind it? |
| 2022-06-12 22:25:47 +0200 | <tomsmeding> | he finished his phd thesis in 2016 lol |
| 2022-06-12 22:25:50 +0200 | <tomsmeding> | https://richarde.dev/papers/2016/thesis/eisenberg-thesis.pdf |
| 2022-06-12 22:26:07 +0200 | <tomsmeding> | he is indeed the big one behind DependentHaskell, yes |
| 2022-06-12 22:26:21 +0200 | <geekosaur> | yes, I know, and had wondered about that myself, but he claims it's thesis related. postdoc work? |
| 2022-06-12 22:26:31 +0200 | <tomsmeding> | interesting, perhaps |
| 2022-06-12 22:27:18 +0200 | <geekosaur> | and as far as singletons goes, I still stand by "it was originally called Hasochism for a reason" :) |
| 2022-06-12 22:28:04 +0200 | <monochrom> | haha |
| 2022-06-12 22:28:24 +0200 | <monochrom> | DependentHaskell is a big project. No, s/project/programme/ |
| 2022-06-12 22:28:27 +0200 | <hololeap> | yeah, I agree, but sometimes you wonder what it would be like if you could get compiler errors for stuff you would normally have to use a unit test for |
| 2022-06-12 22:28:48 +0200 | <geekosaur> | oh sorry, simplified subsumption was quicklook. I forget what the other one was called but it lets you use types as parameters directly, without TypeApplications |
| 2022-06-12 22:28:54 +0200 | <geekosaur> | foo :: forall a -> ... |
| 2022-06-12 22:29:01 +0200 | <geekosaur> | (note -> instead of .) |
| 2022-06-12 22:29:33 +0200 | <hololeap> | (in response to the "hasochism" comment) |
| 2022-06-12 22:29:33 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-12 22:30:44 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 22:31:32 +0200 | <tomsmeding> | VisibleForAll? https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0281-visible-forall.rst#unres… |
| 2022-06-12 22:32:00 +0200 | <tomsmeding> | oh the proposal calls it RequiredTypeArguments |
| 2022-06-12 22:35:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 22:36:25 +0200 | <geekosaur> | I guess that's 9.4, not 9.2 |
| 2022-06-12 22:36:51 +0200 | <tomsmeding> | O.o I only now see that the proposal is merged! |
| 2022-06-12 22:37:08 +0200 | <tomsmeding> | AntC's complaints notwithstanding |
| 2022-06-12 22:37:21 +0200 | <tomsmeding> | I as an academic improve of this direction of travel lol |
| 2022-06-12 22:37:28 +0200 | <tomsmeding> | *approve |
| 2022-06-12 22:37:34 +0200 | <tomsmeding> | typing is hard at this time of day? |
| 2022-06-12 22:39:12 +0200 | <tomsmeding> | (pun not intended) |
| 2022-06-12 22:39:18 +0200 | <monochrom> | "This is why we need dependent typing" |
| 2022-06-12 22:41:56 +0200 | <hololeap> | why is that hosted on github instead of gitlab.haskell.org |
| 2022-06-12 22:42:04 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-06-12 22:42:40 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-06-12 22:42:54 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Ping timeout (120 seconds)) |
| 2022-06-12 22:43:15 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-12 22:43:21 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-12 22:43:21 +0200 | <Haskelytic> | sorry fellas got disconnected there |
| 2022-06-12 22:43:44 +0200 | <geekosaur> | the steering committee is quasi-independent of the ghc developers |
| 2022-06-12 22:44:07 +0200 | <geekosaur> | they chose github, leaving gitlab for the actual developers |
| 2022-06-12 22:44:53 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-12 22:44:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-12 22:45:34 +0200 | <geekosaur> | I think they also wanted it to not require an extra account, whereas most folks have a github account these days (and yes, you can auth to gitlab with github credentials, but you don't then automatically get access to make MRs and such) |
| 2022-06-12 22:46:04 +0200 | <hololeap> | makes sense. I was just curious |
| 2022-06-12 22:46:09 +0200 | <geekosaur> | so the access granted to people on ghc-proposals differs |
| 2022-06-12 22:47:26 +0200 | <hololeap> | a federated git network would be a good idea... |
| 2022-06-12 22:47:57 +0200 | <hololeap> | host your own projects, receive issues and PRs from people from other networks |
| 2022-06-12 22:48:24 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-12 22:50:50 +0200 | <geekosaur[m]> | Now try to get Microsoft to play along |
| 2022-06-12 22:51:38 +0200 | <geekosaur[m]> | And try to get Gitlab to implement it 😀 |
| 2022-06-12 22:52:42 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-06-12 22:53:58 +0200 | <hololeap> | well, this might be beside the point, but github and many others freely implement the oauth protocol with no obvious benefit to themselves |
| 2022-06-12 22:55:58 +0200 | <hololeap> | so, to me, that is a sign of at least _some_ egalitarianism |
| 2022-06-12 22:58:02 +0200 | <exarkun> | The benefit is increased reliance on their platform |
| 2022-06-12 22:58:28 +0200 | <exarkun> | https://discourse.gitea.io/c/federation/10 may eventually be a thing |
| 2022-06-12 23:01:53 +0200 | <hololeap> | thanks for the link, exarkun |
| 2022-06-12 23:02:49 +0200 | brettgilio | (~brettgili@c9yh.net) |
| 2022-06-12 23:04:43 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-12 23:06:07 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-12 23:11:35 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 23:12:16 +0200 | bilegeek | (~bilegeek@2600:1008:b017:5346:e30c:72e1:dd08:cc7b) |
| 2022-06-12 23:14:58 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-12 23:15:25 +0200 | <Bulby[m]> | hm, binary is fairly unnecessary now, because of bytestring builder, which afaik is what runs it |
| 2022-06-12 23:16:05 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 258 seconds) |
| 2022-06-12 23:17:06 +0200 | <Bulby[m]> | and building a polysemy effect around Builder is much easier than building it around Put |
| 2022-06-12 23:17:26 +0200 | <tomsmeding> | Builder is great |
| 2022-06-12 23:18:09 +0200 | <Bulby[m]> | reinterpreting my effect as a writer lets me nicely make exactly what I want |
| 2022-06-12 23:18:38 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-12 23:18:53 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) (Remote host closed the connection) |
| 2022-06-12 23:19:09 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) |
| 2022-06-12 23:19:30 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2022-06-12 23:19:55 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 258 seconds) |
| 2022-06-12 23:20:58 +0200 | <Bulby[m]> | i feel smart whenever I find my own solution |
| 2022-06-12 23:22:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-12 23:23:01 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-12 23:23:07 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:911a:9716:9df3:c391) (Ping timeout: 244 seconds) |
| 2022-06-12 23:26:38 +0200 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-12 23:28:44 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-12 23:30:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-12 23:30:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-12 23:33:08 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-12 23:33:50 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 2022-06-12 23:37:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-12 23:39:28 +0200 | Guest7091 | (~nils@188-213-103-86.dynamic.dsl.tng.de) (Ping timeout: 258 seconds) |
| 2022-06-12 23:41:44 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-12 23:42:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-12 23:44:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-12 23:44:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-12 23:47:47 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-12 23:48:40 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-12 23:48:57 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-12 23:48:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 244 seconds) |
| 2022-06-12 23:50:06 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-12 23:52:37 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 260 seconds) |
| 2022-06-12 23:53:11 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-06-12 23:53:15 +0200 | Kaipii | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-12 23:53:41 +0200 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-06-12 23:53:53 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-12 23:54:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-12 23:54:25 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-06-12 23:55:16 +0200 | renzhi | (~xp@2607:fa49:6500:b100::f64a) |
| 2022-06-12 23:55:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-12 23:59:28 +0200 | alp | (~alp@user/alp) |