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