Logs: liberachat/#haskell
| 2021-07-08 01:04:42 | × | mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2021-07-08 01:06:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-08 01:07:49 | <AWizzArd> | Axman6: yeah |
| 2021-07-08 01:08:07 | <AWizzArd> | Axman6: But do you know hat the difference between Strict and Required is? |
| 2021-07-08 01:08:20 | <AWizzArd> | And how can a parameter be optional but strict at the same time? |
| 2021-07-08 01:09:00 | <AWizzArd> | Axman6: we can do this for example: QueryParam' '[Required] "bar" Text |
| 2021-07-08 01:10:18 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:ec10:cbf7:f7cc:3882) |
| 2021-07-08 01:12:22 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-07-08 01:15:03 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-08 01:16:57 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 258 seconds) |
| 2021-07-08 01:17:09 | <qrpnxz> | i saw a pretty cool talk about lifting types into kinds, is it possible to list, say, Int into a kind right now? |
| 2021-07-08 01:17:59 | → | mud joins (~mud@user/kadoban) |
| 2021-07-08 01:18:28 | <geekosaur> | DataKinds extension |
| 2021-07-08 01:18:44 | <geekosaur> | Int might cause confusion with type-level naturals though |
| 2021-07-08 01:19:30 | <geekosaur> | although I guess you could use a tick to distinguish '1 :: 'Int from 1 the typenat |
| 2021-07-08 01:21:02 | <qrpnxz> | nice |
| 2021-07-08 01:21:02 | <qrpnxz> | the talk was using like peano numbers which was cool but totally impractical. If you can just use real numbers that super nice |
| 2021-07-08 01:21:58 | <c_wraith> | unfortunately, Nat is all there is for numbers at the type level now |
| 2021-07-08 01:23:41 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Remote host closed the connection) |
| 2021-07-08 01:26:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-08 01:35:23 | × | xff0x quits (~xff0x@2001:1a81:539d:3600:dd23:6975:e62a:a95) (Ping timeout: 252 seconds) |
| 2021-07-08 01:37:08 | → | xff0x joins (~xff0x@2001:1a81:53dc:b800:8c77:48f3:1e3:3060) |
| 2021-07-08 01:37:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 01:41:08 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-08 01:43:42 | → | neurocyte404 joins (~neurocyte@45.93.108.182) |
| 2021-07-08 01:43:42 | × | neurocyte404 quits (~neurocyte@45.93.108.182) (Changing host) |
| 2021-07-08 01:43:42 | → | neurocyte404 joins (~neurocyte@user/neurocyte) |
| 2021-07-08 01:45:31 | → | tlaxkit joins (~hexchat@170.253.37.3) |
| 2021-07-08 01:46:21 | <Axman6> | just implement Rational using Nat and then you've got pretty much everything you could need... >_> |
| 2021-07-08 01:47:36 | × | neurocyte40 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-07-08 01:47:36 | neurocyte404 | is now known as neurocyte40 |
| 2021-07-08 01:48:09 | × | mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2021-07-08 01:48:44 | → | mud joins (~mud@user/kadoban) |
| 2021-07-08 01:51:32 | × | tlaxkit quits (~hexchat@170.253.37.3) (Quit: Leaving) |
| 2021-07-08 01:51:37 | <Axman6> | I wonder if you could implement fixed point type level numbers too |
| 2021-07-08 01:54:36 | → | finsternis joins (~X@23.226.237.192) |
| 2021-07-08 01:56:33 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-08 02:00:40 | × | warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 246 seconds) |
| 2021-07-08 02:04:04 | × | alx741 quits (~alx741@181.196.69.147) (Quit: alx741) |
| 2021-07-08 02:07:19 | × | dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Ping timeout: 246 seconds) |
| 2021-07-08 02:08:05 | → | dextaa joins (~DV@aftr-37-201-214-197.unity-media.net) |
| 2021-07-08 02:08:52 | × | leah2 quits (~leah@vuxu.org) (Read error: Connection reset by peer) |
| 2021-07-08 02:11:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-07-08 02:12:11 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 02:12:13 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 2021-07-08 02:17:38 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-08 02:23:25 | × | td_ quits (~td@94.134.91.101) (Ping timeout: 246 seconds) |
| 2021-07-08 02:23:57 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-08 02:23:58 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-07-08 02:23:58 | finn_elija | is now known as FinnElija |
| 2021-07-08 02:24:19 | <lechner> | Hi, i have ByteString confusion. Would somone please explain to me where the 'toStrict' has to go? Thanks! https://paste.debian.net/1203748/ |
| 2021-07-08 02:25:19 | → | td_ joins (~td@94.134.91.165) |
| 2021-07-08 02:29:05 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-08 02:29:44 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-08 02:34:34 | → | kadobanana joins (~mud@user/kadoban) |
| 2021-07-08 02:34:34 | × | mud quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2021-07-08 02:40:18 | <oak-> | <AWizzArd "Axman6: But do you know hat the "> Strict only means if the parsing fails, then the servant throws error. The other option is Lenient, then you get Either Text a, and if the parsing fails then you get the Left which contains the error text |
| 2021-07-08 02:44:35 | × | eight quits (~eight@user/eight) (Ping timeout: 265 seconds) |
| 2021-07-08 02:45:35 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-08 02:48:39 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-08 02:50:01 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-08 02:50:25 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-08 02:50:28 | <oak-> | lechner: you have various choices here :) you could also use the unpack from ByteString.Lazy library, then you don't need to convert it to strict ByteString first, or use Data.ByteString.Lazy.Char8.putStrLn to print the lazy bytestring directly |
| 2021-07-08 02:51:07 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-07-08 02:51:21 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-08 02:51:21 | <oak-> | but strict answer to your question :) GZip.decompress returns Lazy Bytestrings, so you would need to pass the output from GZip.decompress to toStrict function |
| 2021-07-08 02:52:34 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-07-08 02:55:55 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-08 02:56:08 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-08 02:56:34 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-07-08 02:58:20 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 2021-07-08 02:58:53 | → | Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-07-08 02:58:53 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 03:02:59 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-08 03:10:03 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) |
| 2021-07-08 03:10:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-08 03:10:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 246 seconds) |
| 2021-07-08 03:16:56 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-08 03:22:18 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-08 03:28:08 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-08 03:28:43 | → | cheater joins (~Username@user/cheater) |
| 2021-07-08 03:30:30 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-08 03:32:00 | <lechner> | oak-: thanks! |
| 2021-07-08 03:32:06 | → | Izem joins (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) |
| 2021-07-08 03:37:03 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-07-08 03:43:07 | → | tubogram joins (~tubogram@user/tubogram) |
| 2021-07-08 03:45:45 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 03:46:51 | <janus> | > maybe (pure Nothing) (pure . Just . (+ 1)) (Just 5) |
| 2021-07-08 03:46:52 | <lambdabot> | error: |
| 2021-07-08 03:46:52 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M809825357370... |
| 2021-07-08 03:46:53 | <lambdabot> | prevents the constraint ‘(Show |
| 2021-07-08 03:47:18 | <janus> | join <$> traverse (pure . Just . (+ 1)) (Just 5) |
| 2021-07-08 03:47:25 | <janus> | wither (pure . Just . (+ 1)) (Just 5) |
| 2021-07-08 03:48:08 | <janus> | which one is clearer? i want to like 'wither' but i feel like it is pretty unknown... |
| 2021-07-08 03:48:53 | ← | Izem parts (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) (Good Bye) |
| 2021-07-08 03:50:26 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2021-07-08 03:55:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-08 03:57:42 | → | chase joins (~chase@89.45.224.218) |
| 2021-07-08 03:58:04 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-08 03:58:54 | <monochrom> | fmap (+ 1) |
All times are in UTC.