Logs: liberachat/#haskell
| 2021-08-16 19:36:36 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-16 19:37:04 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-16 19:37:57 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2021-08-16 19:38:24 | → | sander joins (~sander@user/sander) |
| 2021-08-16 19:38:31 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-16 19:38:32 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-16 19:40:39 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-16 19:45:40 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-16 19:46:10 | × | alx741 quits (~alx741@186.178.108.32) (Ping timeout: 240 seconds) |
| 2021-08-16 19:51:40 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds) |
| 2021-08-16 19:52:12 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-16 19:52:16 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-08-16 20:00:14 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-16 20:00:35 | → | alx741 joins (~alx741@181.196.68.125) |
| 2021-08-16 20:03:07 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-16 20:03:21 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-16 20:03:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-16 20:04:22 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-16 20:04:50 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-16 20:04:56 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds) |
| 2021-08-16 20:05:17 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-16 20:05:30 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 256 seconds) |
| 2021-08-16 20:06:27 | → | cuz joins (~user@38.140.58.234) |
| 2021-08-16 20:06:33 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-08-16 20:07:09 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-16 20:07:21 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-16 20:07:52 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-16 20:09:40 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-08-16 20:09:58 | × | kuribas quits (~user@ptr-25vy0iaezbxroyr1ffb.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-16 20:12:07 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-16 20:15:12 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-16 20:16:43 | → | enoq joins (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) |
| 2021-08-16 20:17:49 | → | boxscape_ joins (~boxscape_@p4ff0b769.dip0.t-ipconnect.de) |
| 2021-08-16 20:18:52 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-16 20:19:06 | <boxscape_> | Do you suppose checkEqual is safe, i.e. error is unreachable? Alternatively, is there a typesafe way to get DecEq from Typeable? |
| 2021-08-16 20:19:08 | <boxscape_> | https://paste.tomsmeding.com/hNEd7tFR |
| 2021-08-16 20:20:03 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9586547432ba24659663.dip0.t-ipconnect.de) |
| 2021-08-16 20:20:12 | <boxscape_> | (where by DecEq I mean Dec (a :~: b)) |
| 2021-08-16 20:21:11 | <tomsmeding> | case checkEqual @Int @Float of No f -> f (unsafeCoerce Refl :: Int :~: Float) |
| 2021-08-16 20:21:26 | <tomsmeding> | meh type annotation shouldn't even be necessary |
| 2021-08-16 20:22:07 | <boxscape_> | well, I'm okay with error being reachable if the caller uses usafeCoerce |
| 2021-08-16 20:22:48 | <tomsmeding> | :p |
| 2021-08-16 20:23:51 | → | glassy joins (~swil@90.254.122.50) |
| 2021-08-16 20:23:59 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-16 20:25:00 | <tomsmeding> | I'm not sure about that error being unreachable; however, I'm quite certain it's possible to produce Yes there without the types actually being equal |
| 2021-08-16 20:25:12 | <tomsmeding> | because what's actually being compared is two MD5 hashes... |
| 2021-08-16 20:25:23 | <boxscape_> | oh, interesting |
| 2021-08-16 20:25:43 | <tomsmeding> | click Source and follow the links until you arrive at the Fingerprint type |
| 2021-08-16 20:26:07 | <glassy> | how is it like using GraphQL with Haskell? |
| 2021-08-16 20:26:23 | <glassy> | i'm currently using Servant |
| 2021-08-16 20:26:40 | <tomsmeding> | boxscape_: (be sure to use base-0.14.1.0 for that docs experiment, 0.15.0.0 doesn't seem to have doc links in the right places |
| 2021-08-16 20:26:41 | <tomsmeding> | ) |
| 2021-08-16 20:27:15 | <boxscape_> | tomsmeding I accidentally used 4.15 https://hackage.haskell.org/package/base-4.15.0.0/docs/src/Data-Typeable-Internal.html#sameTypeRep |
| 2021-08-16 20:27:37 | <tomsmeding> | ah you did it the manual way :p |
| 2021-08-16 20:27:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2021-08-16 20:28:00 | <boxscape_> | yes, though I was wondering for a minute how you got links :) |
| 2021-08-16 20:28:00 | <tomsmeding> | click further on typeRefFingerprint |
| 2021-08-16 20:29:10 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-16 20:29:41 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-16 20:30:12 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-16 20:33:44 | <boxscape_> | I suppose this is where MD5 comes in https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Fingerprint.html#fingerprintData |
| 2021-08-16 20:34:22 | <tomsmeding> | and md5 is not the best hash ever |
| 2021-08-16 20:34:40 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-16 20:34:43 | <tomsmeding> | well, it's a pretty good hash if the user is not malicious |
| 2021-08-16 20:39:07 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-08-16 20:41:32 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-16 20:41:53 | × | Danishman quits (~Allan@2-104-144-110-cable.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-08-16 20:43:44 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
| 2021-08-16 20:44:36 | → | obscur1ty joins (~obscur1ty@156.194.133.134) |
| 2021-08-16 20:44:36 | × | obscur1ty quits (~obscur1ty@156.194.133.134) (Changing host) |
| 2021-08-16 20:44:36 | → | obscur1ty joins (~obscur1ty@user/obs/x-5924898) |
| 2021-08-16 20:47:27 | tomku|two | is now known as tomku |
| 2021-08-16 20:48:22 | × | obs quits (~obscur1ty@user/obs/x-5924898) (Ping timeout: 245 seconds) |
| 2021-08-16 20:51:03 | × | cuz quits (~user@38.140.58.234) (Remote host closed the connection) |
| 2021-08-16 20:52:41 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-08-16 20:53:46 | × | nisstyre quits (~wes@user/nisstyre) (Ping timeout: 240 seconds) |
| 2021-08-16 20:55:10 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-08-16 20:55:45 | → | nisstyre joins (~wes@user/nisstyre) |
| 2021-08-16 20:59:10 | × | __monty__ quits (~toonn@user/toonn) (Quit: : p) |
| 2021-08-16 21:00:00 | × | _bin quits (~bin@user/bin/x-1583188) (Read error: Connection reset by peer) |
| 2021-08-16 21:00:01 | → | bin_ joins (~bin@user/bin/x-1583188) |
| 2021-08-16 21:00:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-16 21:00:50 | → | haowenl joins (~Thunderbi@066-215-230-039.res.spectrum.com) |
| 2021-08-16 21:01:38 | <jumper149> | I am looking for a (easily) servant compatible html library that also includes a way to read in Markdown/AsciiDoc. |
| 2021-08-16 21:02:13 | <monochrom> | maerwald: Interesting, I think I like the OsString idea, as you have pointed out why this has many benefits. |
| 2021-08-16 21:02:29 | <jumper149> | Currently I'm most likely gonna choose 'blaze' with 'blaze-from-html' and AsciiDoctor. |
| 2021-08-16 21:02:47 | <jumper149> | If anyone has a better idea, please let me know |
| 2021-08-16 21:03:25 | mnrmnaugh | is now known as mnr |
| 2021-08-16 21:04:51 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-16 21:06:16 | × | Ananta-shesha quits (~pjetcetal@2.95.210.188) (Ping timeout: 268 seconds) |
| 2021-08-16 21:07:54 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-16 21:09:23 | × | haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl) |
| 2021-08-16 21:14:41 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-16 21:15:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-16 21:16:12 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-16 21:22:10 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-16 21:22:19 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-08-16 21:25:00 | <jumper149> | Is there any reason to choose lucid over blaze aside from personal preference (regarding naming)? |
| 2021-08-16 21:28:09 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-16 21:30:27 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 245 seconds) |
All times are in UTC.