Logs on 2022-05-10 (liberachat/#haskell)
| 00:03:18 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:03:18 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:03:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:03:47 | × | stackdroid18 quits (~stackdroi@user/stackdroid) (Quit: Lost terminal) |
| 00:06:05 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 00:08:40 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:13:02 | × | rburkholder quits (~blurb@96.45.2.121) (Remote host closed the connection) |
| 00:13:20 | → | rburkholder joins (~blurb@96.45.2.121) |
| 00:15:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 00:20:54 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 250 seconds) |
| 00:21:55 | <sm> | I found cmdargs docs better than o-a's |
| 00:27:01 | → | stackdroid18 joins (14094@user/stackdroid) |
| 00:27:20 | × | stackdroid18 quits (14094@user/stackdroid) (Client Quit) |
| 00:30:46 | → | stackdroid18 joins (14094@user/stackdroid) |
| 00:33:33 | <Axman6> | I've been using Haskell for well over a decade and can't for the life of me figure out how the first cmdargs example could possibly work, but evidently it does |
| 00:37:40 | <sm> | at https://github.com/ndmitchell/cmdargs#readme ? Uh.. same :) |
| 00:38:43 | <Axman6> | https://hackage.haskell.org/package/cmdargs-0.10.21/docs/src/System.Console.CmdArgs.Annotate.html#addAnn |
| 00:38:54 | <Axman6> | it'sd all unsafePerformIO nonsense |
| 00:40:41 | <sm> | that's the easy ui, provided along with two others which are more pure.. very reasonable |
| 00:40:45 | <Axman6> | this is like the most horrific hack I've ever seen written in HAskell - I'm sticking to optparse-applicative thanks! |
| 00:41:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 00:41:25 | <sm> | this has been a knee-jerk reaction to cmdargs since it was introduced.. I'm surprised at you Axman :) |
| 00:41:34 | <Axman6> | I dream of the day where one day, my code is audited, and no unsafePerformIOs are found anywhere |
| 00:41:39 | <sm> | sorry, afk a few |
| 00:41:57 | <Axman6> | this is like worse than edwardk's promises package |
| 00:42:05 | <Axman6> | which is amazing, but horrifying |
| 00:42:21 | <Axman6> | or edwardk's discrimination package |
| 00:42:42 | <Axman6> | or edwardk's structs package |
| 00:42:45 | <Axman6> | hmmmm... |
| 00:42:47 | <dashkal> | jackdk: Nope. In-context status codes. "What kind of dependency is this?" and similar. |
| 00:43:00 | → | frost joins (~frost@user/frost) |
| 00:45:47 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:47:15 | × | jmcarthur_ quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 00:48:11 | <geekosaur> | now I'm wondering where this "maker" is and if the question the other day about getting output from make would have benefitted from it |
| 00:50:12 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 00:55:29 | × | jmcarthur quits (~jmcarthur@45.15.176.229) (Ping timeout: 256 seconds) |
| 00:56:08 | → | jmcarthur joins (~jmcarthur@45.15.176.229) |
| 00:57:42 | → | noteness joins (~noteness@user/noteness) |
| 00:59:17 | <noteness> | Hi. I'm learning haskell. Why does this give an error? "min min min 9 10 11 12" ? |
| 01:00:00 | → | jmcarthur_ joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 01:00:01 | <noteness> | I thought it was because it interpreted from left to right so i tried "min 9 min 10 min 11 12" but it also gave error |
| 01:00:41 | <hpc> | it's doing ((((((min min) min) 9) 10) 11) 12) |
| 01:00:59 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 01:02:04 | <hpc> | the googleable word for this behavior is currying |
| 01:02:24 | <hpc> | it has some neat properties even if it looks really weird, but in any event you want min (min (min 9 10) 11) 12 |
| 01:02:27 | <hpc> | or something like that |
| 01:03:10 | <noteness> | oo. i'll google currying |
| 01:03:22 | <noteness> | yeah. brackets and inflix worked. |
| 01:03:29 | <Axman6> | function application associates to the left, and binds more strongly than any operators, so as hpc says, you end up with ((((((min min) min) 9) 10) 11) 12) which doesn't make much sense |
| 01:04:01 | <Axman6> | f x y z is always (((f x) y) z) |
| 01:04:37 | <hpc> | a nice quick way to understand currying is, if you've ever used operator sections |
| 01:04:42 | <hpc> | like (+ 5) or whatever |
| 01:05:00 | <hpc> | currying is exactly that, the secret to sections is everything does it |
| 01:05:11 | <hpc> | > map (+5) [1,2,3] |
| 01:05:13 | <lambdabot> | [6,7,8] |
| 01:05:14 | <Axman6> | when teaching Haskell (with dibblego, back in the day), we used to hammer into people this fact: all functions take exactly one argument, and it's surprising how many of these questions are answered by remembering that |
| 01:05:18 | <hpc> | > map (subtract 10) [100, 200, 300] |
| 01:05:20 | <lambdabot> | [90,190,290] |
| 01:06:26 | <hpc> | subtract = flip (-) |
| 01:06:50 | → | pavonia joins (~user@user/siracusa) |
| 01:07:01 | <noteness> | Yo that's neat |
| 01:07:48 | <hpc> | yeah, it never gets old |
| 01:12:47 | <Axman6> | noteness: quick pop quiz: how many argument does (+) :: Num a => a -> a -> a? take? |
| 01:15:16 | <hpc> | Axman6: that question is even more fun with id :: a -> a |
| 01:16:01 | <noteness> | Axman6, 1? Returns a functions which also takes 1 arg and then that returns a number? (but idk what that syntax means.) |
| 01:16:18 | <Axman6> | correct! |
| 01:16:38 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 01:17:01 | <noteness> | Currying is cool. |
| 01:17:40 | <noteness> | I'm at http://learnyouahaskell.com/starting-out this is a good resource to learn haskell, right? |
| 01:17:58 | <hpc> | that was a type signature |
| 01:18:54 | <hpc> | not everyone likes it, though mostly because it doesn't make you do exercises |
| 01:18:59 | <hpc> | it just kind of talks about everything |
| 01:19:18 | <hpc> | if you have a project to apply it to that's less of a problem |
| 01:19:34 | <hpc> | it's how i learned initially |
| 01:19:38 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 01:20:51 | <noteness> | do you have any recommendations with exercises? |
| 01:22:03 | <noteness> | <hpc> if you have a project to apply it to that's less of a problem | that's how i learned python! but i can't think of any project to do in haskell rn. |
| 01:22:05 | <hpc> | whatever is able to hold your interest |
| 01:23:58 | <noteness> | I meant like, any other alternative resources which also makes me do exercises/quizzes? (kinda like what Axman6 asks) |
| 01:24:12 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 01:24:47 | <hpc> | ah, i always link to https://www.haskell.org/documentation/ as my big list of resources |
| 01:25:59 | <noteness> | ooo |
| 01:28:28 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:32:22 | × | xff0x quits (~xff0x@om126033119107.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 01:34:04 | <Axman6> | https://github.com/system-f/fp-course is the one that dibblego (and others) wrote, and we used to teach quite regularly - it's full of exercises, but it's not as easy to do without having instruction in person |
| 01:36:39 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 01:37:37 | → | xff0x joins (~xff0x@om126033119107.35.openmobile.ne.jp) |
| 01:38:50 | → | waleee joins (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) |
| 01:42:15 | × | kaph quits (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 276 seconds) |
| 01:50:30 | <monochrom> | My http://www.vex.net/~trebla/haskell/learn-sources.html is a shorter list, but it's items I know enough to comment on. |
| 01:53:53 | → | galio joins (~textual@c-174-63-73-241.hsd1.vt.comcast.net) |
| 01:57:58 | → | andrey__ joins (~andrey@p508d55ad.dip0.t-ipconnect.de) |
| 01:58:25 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 02:00:48 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 02:01:03 | × | andrey_ quits (~andrey@p200300dbcf097700316169ecbe32078f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 02:04:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 02:04:37 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 02:06:56 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 02:10:56 | × | slack1256 quits (~slack1256@186.11.84.150) (Remote host closed the connection) |
| 02:14:10 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 02:16:17 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 02:16:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 02:20:13 | → | tommd joins (~tommd@97-120-26-41.ptld.qwest.net) |
| 02:28:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 02:29:56 | → | darkstardevx joins (~darkstard@50.53.212.60) |
| 02:34:10 | × | waleee quits (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 02:41:27 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 256 seconds) |
| 02:44:31 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 02:45:13 | → | stefan-_ joins (~cri@42dots.de) |
| 02:45:41 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 02:45:43 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 02:49:42 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 02:49:42 | <dmj`> | noteness: typeclassopedia |
| 02:50:00 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 02:50:30 | × | jmcarthur quits (~jmcarthur@45.15.176.229) (Ping timeout: 276 seconds) |
| 02:51:05 | × | td_ quits (~td@94.134.91.132) (Ping timeout: 256 seconds) |
| 02:52:35 | → | td_ joins (~td@muedsl-82-207-238-066.citykom.de) |
| 02:54:05 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 02:54:06 | × | jmcarthur_ quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 02:55:58 | <Axman6> | anyone know how to get ghcid to run your testsuite once your code compiles? |
| 02:56:29 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:57:18 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 02:57:27 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 03:00:53 | <Axman6> | looks like https://stackoverflow.com/a/63428301 |
| 03:01:39 | → | razetime joins (~quassel@117.254.34.206) |
| 03:01:59 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 03:09:05 | → | ahbear joins (~khairul@60.52.188.238) |
| 03:09:37 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 03:10:04 | × | ahbear quits (~khairul@60.52.188.238) (Client Quit) |
| 03:14:48 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 03:16:12 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 03:19:23 | → | vicfred joins (~vicfred@user/vicfred) |
| 03:21:10 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 03:27:00 | × | inversed quits (~inversed@176.248.27.211) (Ping timeout: 240 seconds) |
| 03:27:27 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 03:28:37 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 03:29:49 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 03:31:17 | × | x_kuru_ quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 03:33:19 | × | kimjetwav quits (~user@2607:fea8:2362:b400:c51a:4d23:ff59:2b8) (Read error: Connection reset by peer) |
| 03:34:45 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:35:21 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:39:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 03:41:00 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 03:43:45 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 252 seconds) |
| 03:43:48 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 03:44:42 | → | inversed joins (~inversed@176.248.27.211) |
| 03:45:19 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 246 seconds) |
| 03:48:49 | × | tommd quits (~tommd@97-120-26-41.ptld.qwest.net) (Ping timeout: 246 seconds) |
| 03:50:04 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 03:51:28 | → | pfharlock joins (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 03:52:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 03:55:32 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 03:58:11 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 03:58:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:59:30 | × | razetime quits (~quassel@117.254.34.206) (Ping timeout: 240 seconds) |
| 03:59:49 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:00:30 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 04:00:39 | → | razetime joins (~quassel@117.254.34.98) |
| 04:00:45 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 04:05:19 | × | xff0x quits (~xff0x@om126033119107.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 04:05:19 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 04:06:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 04:08:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:08:40 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:11:31 | → | benin joins (~benin@183.82.25.56) |
| 04:13:18 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 04:13:28 | → | Guest|44 joins (~Guest|44@d75-159-24-225.abhsia.telus.net) |
| 04:17:17 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 04:17:50 | <Guest|44> | I am trying to teach myself Haskell and have installed toolchain from GHCup, however I don't have the .hs extension to save code functions with my text editor. I tried uninstalling and reinstalling with the same result. How can I install the Haskell language-server? |
| 04:18:15 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds) |
| 04:19:58 | × | galio quits (~textual@c-174-63-73-241.hsd1.vt.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 04:22:34 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:22:43 | → | odnes joins (~odnes@5-203-206-163.pat.nym.cosmote.net) |
| 04:23:47 | <cjay> | Guest|44: if you use vscode, install the haskell extension from the built in extension store |
| 04:24:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:25:27 | <cjay> | any editor can save .hs files though. syntax hilighting and language server support vary. |
| 04:25:57 | <Guest|44> | okay, thanks. |
| 04:26:58 | × | Guest|44 quits (~Guest|44@d75-159-24-225.abhsia.telus.net) (Quit: Connection closed) |
| 04:27:51 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 04:30:04 | <sm> | > there's no way these very frequent reddit and chat requests for learning materials can capture all the existing resources. There are too many, and folks who know where they are get burned out reposting them. There have been many attempts to gather them, haskell.org/documentation being the most obvious, but none of them have fully succeeded. We could really do with some more systematic, scalable (crowd-sourced, lightweight) approach. |
| 04:30:06 | <lambdabot> | <hint>:1:142: error: parse error on input ‘,’ |
| 04:30:24 | <sm> | any thoughts ? go away bot, the humans are talking |
| 04:31:10 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:31:10 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:31:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:33:02 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:37:48 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:38:13 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:38:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 04:40:07 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 04:44:28 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 246 seconds) |
| 04:45:40 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 04:46:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 04:48:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:48:46 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:49:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:50:42 | → | xff0x joins (~xff0x@om126254243174.33.openmobile.ne.jp) |
| 04:53:54 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:55:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:57:30 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 04:58:17 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 04:58:25 | → | Vajb joins (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 04:58:36 | × | marquis_andras quits (~marquis_a@110-175-153-86.static.tpgi.com.au) (Ping timeout: 240 seconds) |
| 04:59:01 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:00:04 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:03:28 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:03:43 | → | bahamas joins (~lucian@84.232.141.55) |
| 05:04:49 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 256 seconds) |
| 05:07:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:08:27 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:09:46 | → | asivitz joins (uid178348@id-178348.tinside.irccloud.com) |
| 05:12:05 | × | pfharlock quits (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 05:12:35 | → | pfharlock joins (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 05:12:44 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 05:17:24 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds) |
| 05:20:35 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 252 seconds) |
| 05:24:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:28:01 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 05:29:28 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:30:35 | <asivitz> | any chance someone here is smart about macos framework stuff? bindings-glfw has `#include <Kernel/IOKit/hidsystem/IOHIDUsageTables.h>`, which I believe is looking into the Kernel framework. but the cabal file lists IOKit as a framework, but not Kernel |
| 05:30:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 05:30:51 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:31:20 | <asivitz> | but it compiles fine via cabal-install or stack. but not nix! is nix wrong? or is bindings-glfw wrong? |
| 05:32:07 | <asivitz> | (reference link: https://github.com/bsl/bindings-GLFW/blob/master/bindings-GLFW.cabal#L189) |
| 05:36:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 05:38:09 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 05:39:55 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 05:40:29 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 05:41:19 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 05:43:13 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 05:43:40 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:43:44 | → | coot joins (~coot@213.134.190.95) |
| 05:45:48 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 05:45:50 | × | xff0x quits (~xff0x@om126254243174.33.openmobile.ne.jp) (Ping timeout: 240 seconds) |
| 05:48:08 | → | xff0x joins (~xff0x@om126254243174.33.openmobile.ne.jp) |
| 05:52:12 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 05:57:06 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 05:59:46 | → | zaquest joins (~notzaques@5.130.79.72) |
| 06:01:53 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:01:55 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 260 seconds) |
| 06:05:03 | → | acidjnk joins (~acidjnk@p200300d0c7068b32d947962d5a8ebd7e.dip0.t-ipconnect.de) |
| 06:11:43 | → | pottsy joins (~pottsy@129.227.183.244) |
| 06:12:57 | × | pottsy quits (~pottsy@129.227.183.244) (Client Quit) |
| 06:13:04 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 06:13:14 | → | pottsy joins (~pottsy@129.227.183.244) |
| 06:13:17 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 06:14:45 | ← | cdman parts (~dcm@user/dmc/x-4369397) () |
| 06:15:14 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:15:48 | × | xff0x quits (~xff0x@om126254243174.33.openmobile.ne.jp) (Ping timeout: 240 seconds) |
| 06:16:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:18:24 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 06:24:30 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 06:25:18 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 06:26:48 | × | frost quits (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 06:27:25 | → | odnes_ joins (~odnes@5-203-206-163.pat.nym.cosmote.net) |
| 06:27:45 | × | odnes quits (~odnes@5-203-206-163.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 06:28:03 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 06:28:39 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 06:32:42 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 06:33:27 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 276 seconds) |
| 06:34:17 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 06:34:26 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 250 seconds) |
| 06:34:56 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 06:35:57 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 06:37:58 | × | odnes_ quits (~odnes@5-203-206-163.pat.nym.cosmote.net) (Quit: Leaving) |
| 06:38:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 06:40:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 06:40:30 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 06:41:07 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:43:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:43:08 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 06:44:30 | × | benin quits (~benin@183.82.25.56) (Ping timeout: 276 seconds) |
| 06:46:33 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:46:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 06:47:46 | → | chele joins (~chele@user/chele) |
| 06:47:51 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:49:45 | → | benin joins (~benin@2401:4900:2320:2ff3:d441:eb9b:66e3:f141) |
| 06:49:50 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 06:50:00 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:51:53 | → | jonathanx joins (~jonathan@dyn-5-sc.cdg.chalmers.se) |
| 06:55:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 06:55:20 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:55:46 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:58:53 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:59:30 | → | mmhat joins (~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) |
| 07:00:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 07:01:55 | → | jonathanx_ joins (~jonathan@c-5eea35a9-74736162.cust.telenor.se) |
| 07:02:50 | × | jonathanx quits (~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 240 seconds) |
| 07:05:39 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:07:04 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 07:10:08 | → | galio joins (~textual@c-174-63-73-241.hsd1.vt.comcast.net) |
| 07:10:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 07:10:42 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:12:10 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:14:59 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 07:15:26 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:16:30 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 07:16:54 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 07:17:24 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 07:19:48 | × | galio quits (~textual@c-174-63-73-241.hsd1.vt.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 07:19:56 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 07:21:11 | → | bahamas joins (~lucian@86.120.77.115) |
| 07:21:27 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:25:30 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 07:25:53 | → | alp_ joins (~alp@user/alp) |
| 07:27:13 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:28:08 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 07:31:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:2bb6:68f9:5f28:94b) |
| 07:31:24 | → | jinsun joins (~jinsun@user/jinsun) |
| 07:31:35 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 07:32:10 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 07:33:52 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 07:34:07 | → | kuribas joins (~user@ptr-17d51emdvfb7f7okr89.18120a2.ip6.access.telenet.be) |
| 07:37:17 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 07:37:32 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 07:38:08 | → | benin3 joins (~benin@183.82.179.155) |
| 07:38:50 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:39:48 | × | benin quits (~benin@2401:4900:2320:2ff3:d441:eb9b:66e3:f141) (Ping timeout: 240 seconds) |
| 07:39:48 | benin3 | is now known as benin |
| 07:41:12 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 07:43:00 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 07:43:24 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 07:43:44 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 07:45:08 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:45:53 | → | mikoto-c1 joins (~mikoto-ch@213.177.151.239) |
| 07:46:36 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 07:46:38 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:47:11 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:47:24 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 07:47:25 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:48:18 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:48:29 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:49:01 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:49:30 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:49:44 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:50:16 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 07:50:41 | → | frost joins (~frost@user/frost) |
| 07:53:58 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 07:54:32 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 07:54:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 07:55:25 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 07:56:20 | × | pottsy quits (~pottsy@129.227.183.244) (Quit: Leaving) |
| 07:57:02 | → | akegalj joins (~akegalj@93-138-102-116.adsl.net.t-com.hr) |
| 07:58:34 | → | zeenk joins (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 07:58:35 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 08:04:10 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 08:05:22 | × | jonathanx_ quits (~jonathan@c-5eea35a9-74736162.cust.telenor.se) (Ping timeout: 246 seconds) |
| 08:06:43 | × | razetime quits (~quassel@117.254.34.98) (Ping timeout: 256 seconds) |
| 08:07:47 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:12:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:12:16 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 08:16:04 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 08:16:36 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 248 seconds) |
| 08:20:40 | → | marquis_andras joins (~marquis_a@110-175-153-86.static.tpgi.com.au) |
| 08:22:34 | → | xaotuk joins (~sasha@2a06:5b00:15fe:9b00::2) |
| 08:26:42 | <bahamas> | what's an idiomatic way of handling a list that can't be empty? for example a list returned by Text.split |
| 08:26:56 | <Axman6> | @hoogle NonEmpty |
| 08:26:57 | <lambdabot> | module Data.List.NonEmpty |
| 08:26:57 | <lambdabot> | Data.List.NonEmpty data NonEmpty a |
| 08:26:57 | <lambdabot> | GHC.Base data NonEmpty a |
| 08:27:23 | <bahamas> | Axman6: you mean I should convert it to NonEmpty? |
| 08:27:37 | <Axman6> | if you can, you should return NonEmpty a if you know it can't be empty. group should be :: Eq a => [a] -> [NonEmpty a] |
| 08:28:04 | <Axman6> | it really depends on what you're trying to do though |
| 08:28:21 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 08:28:31 | <bahamas> | Axman6: I just want to handle a list returned by Text.split |
| 08:29:00 | <Axman6> | what do you mean by "handle" |
| 08:29:04 | <bahamas> | Axman6: think to covert a string from snake case to camel case |
| 08:29:34 | <Axman6> | like, you can just do case Text.split str of (x:xs) -> ...; _ -> error "the impossible happened" |
| 08:29:52 | <bahamas> | I see |
| 08:33:05 | × | xaotuk quits (~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 252 seconds) |
| 08:33:41 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 08:35:39 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 276 seconds) |
| 08:37:39 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 08:40:04 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 08:43:18 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 08:43:46 | → | jonathanx_ joins (~jonathan@94.234.53.169) |
| 08:45:41 | → | jonathanx__ joins (~jonathan@dyn-5-sc.cdg.chalmers.se) |
| 08:47:29 | → | odnes joins (~odnes@5-203-138-220.pat.nym.cosmote.net) |
| 08:47:35 | × | pfharlock quits (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 08:48:39 | × | jonathanx_ quits (~jonathan@94.234.53.169) (Ping timeout: 256 seconds) |
| 08:49:57 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:50:49 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 08:51:08 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 08:57:18 | → | razetime joins (~quassel@117.254.34.98) |
| 08:58:32 | → | kaph joins (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 08:58:47 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 08:58:49 | × | akegalj quits (~akegalj@93-138-102-116.adsl.net.t-com.hr) (Quit: leaving) |
| 09:04:00 | → | ccntrq joins (~Thunderbi@dynamic-077-003-128-028.77.3.pool.telefonica.de) |
| 09:05:39 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:06:58 | → | ccntrq1 joins (~Thunderbi@dynamic-077-001-189-113.77.1.pool.telefonica.de) |
| 09:08:50 | × | ccntrq quits (~Thunderbi@dynamic-077-003-128-028.77.3.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 09:09:26 | → | ccntrq joins (~Thunderbi@dynamic-077-006-007-013.77.6.pool.telefonica.de) |
| 09:11:18 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 250 seconds) |
| 09:11:35 | × | ccntrq1 quits (~Thunderbi@dynamic-077-001-189-113.77.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 09:12:10 | → | ccntrq1 joins (~Thunderbi@dynamic-077-001-051-119.77.1.pool.telefonica.de) |
| 09:12:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:13:40 | × | ccntrq quits (~Thunderbi@dynamic-077-006-007-013.77.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 09:13:40 | ccntrq1 | is now known as ccntrq |
| 09:14:36 | × | w1gz quits (~do@159.89.11.133) (Quit: WeeChat 3.3) |
| 09:14:59 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 09:15:18 | × | mcglk quits (~mcglk@131.191.49.120) (Ping timeout: 276 seconds) |
| 09:17:24 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 09:17:58 | × | jespada quits (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 09:22:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 09:22:39 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 09:23:41 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 09:24:02 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:24:28 | × | razetime quits (~quassel@117.254.34.98) (Ping timeout: 246 seconds) |
| 09:24:59 | → | razetime joins (~quassel@117.254.34.133) |
| 09:25:08 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 09:26:36 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:26:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:27:24 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 09:29:43 | → | ccntrq1 joins (~Thunderbi@2a01:c23:8d4d:e00:398d:60f7:2030:7ba4) |
| 09:31:23 | × | ccntrq quits (~Thunderbi@dynamic-077-001-051-119.77.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 09:31:24 | ccntrq1 | is now known as ccntrq |
| 09:31:36 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 09:31:37 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 248 seconds) |
| 09:31:50 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 09:31:58 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 09:32:49 | → | jespada joins (~jespada@146.70.119.10) |
| 09:33:09 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 09:39:05 | → | frost joins (~frost@user/frost) |
| 09:43:07 | → | __monty__ joins (~toonn@user/toonn) |
| 09:43:20 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 09:47:05 | × | ccntrq quits (~Thunderbi@2a01:c23:8d4d:e00:398d:60f7:2030:7ba4) (Ping timeout: 248 seconds) |
| 09:47:16 | → | ccntrq1 joins (~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) |
| 09:47:25 | → | mbuf joins (~Shakthi@182.77.101.218) |
| 09:47:34 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 09:47:36 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 09:47:37 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 09:47:43 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 260 seconds) |
| 09:48:00 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 09:48:09 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 09:48:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:49:34 | ccntrq1 | is now known as ccntrq |
| 09:53:49 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 09:55:08 | × | MasseR46 quits (~MasseR@51.15.143.128) (Quit: The Lounge - https://thelounge.chat) |
| 09:56:30 | → | ubert1 joins (~Thunderbi@2a02:8109:9880:303c:d9d9:7602:9dc7:8ac6) |
| 09:57:38 | × | ccntrq quits (~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) (Remote host closed the connection) |
| 09:57:56 | → | ccntrq joins (~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) |
| 09:58:26 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 10:00:39 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 10:00:41 | → | jonathanx_ joins (~jonathan@dyn-5-sc.cdg.chalmers.se) |
| 10:01:06 | × | jonathanx__ quits (~jonathan@dyn-5-sc.cdg.chalmers.se) (Read error: Connection reset by peer) |
| 10:01:50 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 10:02:44 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 10:02:44 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 252 seconds) |
| 10:03:50 | × | jespada quits (~jespada@146.70.119.10) (Ping timeout: 240 seconds) |
| 10:05:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 10:06:17 | → | jespada joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 10:09:30 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 10:11:50 | → | mcglk joins (~mcglk@131.191.49.120) |
| 10:11:51 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 10:12:54 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 10:14:08 | → | ccntrq1 joins (~Thunderbi@dynamic-077-000-134-112.77.0.pool.telefonica.de) |
| 10:15:39 | × | ccntrq quits (~Thunderbi@2a01:c23:8923:4a00:f4fb:ce19:b4aa:64e0) (Ping timeout: 240 seconds) |
| 10:15:39 | ccntrq1 | is now known as ccntrq |
| 10:17:26 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 10:17:27 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 10:17:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:23:38 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 10:23:59 | → | ccntrq1 joins (~Thunderbi@2a01:c23:89af:e800:829c:948b:5308:87a0) |
| 10:24:51 | × | ccntrq quits (~Thunderbi@dynamic-077-000-134-112.77.0.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 10:24:51 | ccntrq1 | is now known as ccntrq |
| 10:25:15 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 10:25:34 | × | ubert1 quits (~Thunderbi@2a02:8109:9880:303c:d9d9:7602:9dc7:8ac6) (Remote host closed the connection) |
| 10:25:40 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 248 seconds) |
| 10:27:41 | → | ccntrq1 joins (~Thunderbi@2a01:c22:91cf:ed00:7b58:9e32:239c:6bea) |
| 10:28:36 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 10:29:18 | × | ccntrq quits (~Thunderbi@2a01:c23:89af:e800:829c:948b:5308:87a0) (Ping timeout: 250 seconds) |
| 10:29:18 | ccntrq1 | is now known as ccntrq |
| 10:29:41 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 10:31:42 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:32:18 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 10:33:50 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 240 seconds) |
| 10:36:30 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 10:36:48 | → | ccntrq1 joins (~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) |
| 10:38:19 | × | ccntrq quits (~Thunderbi@2a01:c22:91cf:ed00:7b58:9e32:239c:6bea) (Ping timeout: 240 seconds) |
| 10:38:19 | ccntrq1 | is now known as ccntrq |
| 10:38:54 | × | odnes quits (~odnes@5-203-138-220.pat.nym.cosmote.net) (Remote host closed the connection) |
| 10:45:21 | → | jmcarthur joins (~jmcarthur@45.15.176.228) |
| 10:48:16 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 10:51:34 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 10:51:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 10:53:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:55:54 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:00:40 | → | pfharlock joins (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 11:14:18 | → | jpds2 joins (~jpds@gateway/tor-sasl/jpds) |
| 11:14:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:15:34 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 11:19:27 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 11:20:17 | × | ccntrq quits (~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) (Ping timeout: 252 seconds) |
| 11:20:27 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 11:21:14 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:22:48 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:26:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:27:26 | × | jmcarthur quits (~jmcarthur@45.15.176.228) (Ping timeout: 252 seconds) |
| 11:30:57 | <dragestil> | what's the fastest sqlite client library? |
| 11:32:21 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:d4d3:3586:6b4e:856e) |
| 11:34:36 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 11:35:20 | <jonathanx_> | Is there an easy way to go from auto-derived Aeson ToJSON instances to manually written ones? Technically, it should be possible to generate them, but I don't know of a way to do it. |
| 11:36:03 | <geekosaur> | -ddump-deriv should give you the generated code for derived instances |
| 11:36:12 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 11:36:27 | <jonathanx_> | cool :D |
| 11:36:41 | <tomsmeding> | jonathanx_: are those auto-derived instances using Generics or using TemplateHaskell? |
| 11:36:49 | <jonathanx_> | I'll google that flag to try to figure out where to put them |
| 11:36:50 | <jonathanx_> | Generics |
| 11:37:05 | <jonathanx_> | *where to put it |
| 11:37:06 | <geekosaur> | oh, that'll suck more |
| 11:37:15 | <tomsmeding> | then the expanded code (with -ddump-deriv) will just delegate the actual functionality to the generics infrastructure |
| 11:37:18 | <tomsmeding> | i.e. you'll learn little |
| 11:37:24 | <geekosaur> | yeh |
| 11:37:24 | <jonathanx_> | oh |
| 11:37:34 | <jonathanx_> | that's a shame |
| 11:37:51 | <geekosaur> | and there will be no easy way to migrate because Generics doesn't do things anything like a manually written instance would |
| 11:37:59 | <tomsmeding> | ^ |
| 11:38:33 | <jonathanx_> | I'm carily confident that it's possible to write a mnaual instance that matches the generic output |
| 11:38:51 | <geekosaur> | oh, it's certainly possible. you just won't get any help doing it |
| 11:38:58 | <tomsmeding> | in fact, the derived instance will be _empty_, I think, because it just delegates to the DefaultSignatures version |
| 11:39:10 | <jonathanx_> | aw |
| 11:40:21 | <jonathanx_> | does the TH version differ from the generic one? If the end result is identical then I could migrate to TH and then dump the derived instance |
| 11:40:30 | × | jonathanx_ quits (~jonathan@dyn-5-sc.cdg.chalmers.se) (Quit: Leaving) |
| 11:40:39 | → | ccntrq joins (~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) |
| 11:40:45 | <geekosaur> | TH is a lot more like a manual instance |
| 11:40:45 | <tdammers> | dragestil: are you sure the SQLite connectivity API is going to be your performance bottleneck? Because that'd be unusual. |
| 11:40:47 | <geekosaur> | sigh |
| 11:41:13 | <tomsmeding> | @tell jonathanx_ behaviour should be the same, and indeed the TH-generated instance _does_ migrate to a manual instance (use -ddump-splices instead) |
| 11:41:13 | <lambdabot> | Consider it noted. |
| 11:41:19 | <geekosaur> | I was thinking sqlite itself would be more of a bottleneck than the API |
| 11:41:55 | <dragestil> | tdammers: good point, I don't know. I'm more thinking along the lines of things like https://github.com/hdbc/hdbc-sqlite3/issues/10 |
| 11:42:14 | <dragestil> | s/thinking/wondering/ |
| 11:42:28 | → | jonathanx joins (~jonathan@dyn-5-sc.cdg.chalmers.se) |
| 11:43:11 | <tdammers> | right, yeah - but then again, unlike a client/server database, SQLite runs in the host's own process space, so this kind of "optimization" might not actually buy you all that much in the end |
| 11:43:14 | <tdammers> | not sure though |
| 11:43:31 | <dragestil> | ok |
| 11:43:39 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:44:35 | × | pfharlock quits (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 11:44:39 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 11:44:44 | <geekosaur> | jonathanx, TH will be a lot more like a manual instance, and if you use -ddump-splices you can again retrieve the code it's writing for you |
| 11:44:59 | → | pfharlock joins (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 11:45:05 | <geekosaur> | (and it will probably be faster than the Generics instance, to boot) |
| 11:46:04 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 11:46:38 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:49:25 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 11:53:20 | → | ccntrq1 joins (~Thunderbi@2a01:c23:95c5:d000:fb5:17d9:6e61:51df) |
| 11:53:29 | × | ccntrq quits (~Thunderbi@2a01:c22:8582:f00:65ba:6f86:791a:d2a7) (Ping timeout: 248 seconds) |
| 11:53:29 | ccntrq1 | is now known as ccntrq |
| 11:57:10 | × | acidjnk quits (~acidjnk@p200300d0c7068b32d947962d5a8ebd7e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:57:57 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 12:00:24 | × | simeon quits (~pi@dslb-088-078-150-105.088.078.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 12:02:02 | → | simeon joins (~pi@dslb-088-076-113-053.088.076.pools.vodafone-ip.de) |
| 12:02:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 12:04:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:04:12 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 12:05:14 | → | coot joins (~coot@213.134.190.95) |
| 12:06:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:09:27 | × | ccntrq quits (~Thunderbi@2a01:c23:95c5:d000:fb5:17d9:6e61:51df) (Ping timeout: 240 seconds) |
| 12:09:27 | <dminuoso> | I want to generate structs like this: https://gist.github.com/dminuoso/fdb358d4930096e6d9171a11d5bfcc7e |
| 12:09:29 | → | ccntrq1 joins (~Thunderbi@2a01:c23:9554:5500:ec23:74af:5c6d:510b) |
| 12:09:41 | <dminuoso> | These are obviously not legal haskell constructors or field names. |
| 12:09:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:10:05 | <dminuoso> | I could rename them, but in the problem domain, people will more than likely want to refer to them by "Alc-Acct-OC-I-Inprof-Octets-Id" |
| 12:10:09 | <dminuoso> | How do I get around this dilemma? |
| 12:10:35 | <tomsmeding> | s/-/_/g ? |
| 12:11:17 | <dminuoso> | Mmm |
| 12:11:44 | ccntrq1 | is now known as ccntrq |
| 12:12:45 | <maerwald[m]> | Is there a way to auto-generate quasi-quoters? 😅 Anything of the form `foo :: String -> Maybe a` |
| 12:14:07 | jpds2 | is now known as jpsa |
| 12:14:14 | jpsa | is now known as jpds |
| 12:14:14 | <dminuoso> | tomsmeding: So far Ive been toying with renaming, yes. |
| 12:15:37 | <dminuoso> | Im just not very happy about it. |
| 12:16:03 | <dminuoso> | OverloadedLabels is what Im exploring righ tnow |
| 12:19:08 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 12:23:02 | → | fef joins (~thedawn@user/thedawn) |
| 12:23:21 | × | ccntrq quits (~Thunderbi@2a01:c23:9554:5500:ec23:74af:5c6d:510b) (Ping timeout: 248 seconds) |
| 12:25:32 | → | ccntrq joins (~Thunderbi@2a02:3100:74fa:d500:e252:509c:65b7:d5bb) |
| 12:29:34 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 12:33:18 | <merijn> | maerwald[m]: In general? No |
| 12:33:28 | <merijn> | maerwald[m]: For some specific type convenient for you? Yes |
| 12:33:41 | <merijn> | maerwald[m]: What are you trying to do? |
| 12:34:00 | <maerwald[m]> | merijn: being lazy |
| 12:34:14 | <maerwald[m]> | I want TH to write TH for me xD |
| 12:34:32 | <merijn> | maerwald[m]: I mean, do you happen to be trying type-safe, partial, compile time conversion from String to some type? |
| 12:34:53 | <maerwald[m]> | It's a parser |
| 12:34:56 | <merijn> | Because, in that case, I already wrote the annoying boilerplate for you |
| 12:35:18 | <merijn> | You can maybe generalise it to you specific usecase |
| 12:35:29 | <maerwald[m]> | https://hackage.haskell.org/package/postgresql-syntax-0.4.1/docs/PostgresqlSyntax-Parsing.html |
| 12:35:40 | <merijn> | https://github.com/merijn/validated-literals |
| 12:35:56 | <maerwald[m]> | And since there are like 20 subparsers, it feels annoying |
| 12:36:55 | <merijn> | maerwald[m]: You could consider making a Validate instance for all of those types or, alternatively, just rip off the code in that package |
| 12:37:06 | <merijn> | It's like 144 lines, most of them docs anyway :p |
| 12:38:47 | <merijn> | maerwald[m]: Hell, with the fromLiteralWithError you can even propagate the parse error as compile time error :p |
| 12:40:02 | <maerwald[m]> | Right, so I could write a TH thing that writes the Validate instance for all the types |
| 12:41:38 | <maerwald[m]> | Or via generic |
| 12:41:47 | <merijn> | maerwald[m]: The Validate part doesn't require writing TH at all |
| 12:42:03 | <merijn> | maerwald[m]: You can simply instantiate Validate class with a function "String -> Maybe a" |
| 12:42:25 | → | fef joins (~thedawn@user/thedawn) |
| 12:42:34 | <maerwald[m]> | Then I still need a quasiquoter |
| 12:42:51 | <merijn> | maerwald[m]: liftResults is the only function requiring TH to implement, but it has a default instance using Lift and Lift is derivable in modern GHC |
| 12:44:19 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 12:44:19 | <merijn> | ah, wait, I guess you want the quasiquoter instead of String literal for queries... |
| 12:44:48 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 12:45:01 | <merijn> | maerwald[m]: I mean, if you have a function "String -> Q Exp" then constructing a quasiquoter is fairly trivial |
| 12:45:38 | <merijn> | Although adding convenient quasiquoter support to that package would be a good idea... |
| 12:48:21 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 12:49:15 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 12:49:58 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection) |
| 12:50:29 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 13:01:19 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 13:15:22 | × | ccntrq quits (~Thunderbi@2a02:3100:74fa:d500:e252:509c:65b7:d5bb) (Remote host closed the connection) |
| 13:15:41 | → | ccntrq joins (~Thunderbi@2a02:3100:74fa:d500:97b0:c40e:b388:2843) |
| 13:17:06 | → | odnes joins (~odnes@2a02:587:e901:3110::aaf) |
| 13:19:01 | → | jonathanx_ joins (~jonathan@dyn-5-sc.cdg.chalmers.se) |
| 13:25:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 13:26:22 | × | b0o quits (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection) |
| 13:26:22 | × | fvr quits (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 13:26:22 | × | evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection) |
| 13:26:22 | × | bsima1 quits (9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer) |
| 13:26:22 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 13:26:22 | × | sm2n quits (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 13:26:22 | × | tdmm quits (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 13:26:22 | × | dawdler quits (035b60b5aa@user/dawdler) (Remote host closed the connection) |
| 13:26:22 | × | ymherklotz quits (cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection) |
| 13:26:22 | × | kvakil quits (6f76c3db2e@2604:bf00:561:2000::40a) (Remote host closed the connection) |
| 13:26:22 | × | filwisher quits (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 13:26:22 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 13:26:22 | × | jkoshy quits (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 13:26:22 | × | samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 13:26:22 | × | Ankhers quits (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 13:26:22 | × | fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 13:26:22 | × | lukec quits (9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection) |
| 13:26:22 | × | jakzale quits (6291399afa@user/jakzale) (Remote host closed the connection) |
| 13:26:26 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 13:27:16 | → | lukec joins (9dfd4d094e@2604:bf00:561:2000::10e) |
| 13:27:16 | → | dawdler joins (035b60b5aa@2604:bf00:561:2000::3b6) |
| 13:27:16 | → | samhh joins (7569f027cf@2604:bf00:561:2000::e4) |
| 13:27:17 | → | bsima1 joins (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 13:27:20 | → | filwisher joins (2e6936c793@2604:bf00:561:2000::170) |
| 13:27:27 | → | kvakil joins (6f76c3db2e@2604:bf00:561:2000::40a) |
| 13:27:28 | → | tdmm joins (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 13:27:28 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 13:27:28 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 13:27:29 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 13:27:34 | → | jakzale joins (6291399afa@user/jakzale) |
| 13:27:36 | × | dawdler quits (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 13:27:36 | → | dawdler joins (035b60b5aa@user/dawdler) |
| 13:27:39 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 13:27:39 | → | fvr joins (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 13:27:39 | → | ymherklotz joins (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 13:27:40 | → | evanrelf joins (3addc196af@2604:bf00:561:2000::f0) |
| 13:27:42 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 13:27:46 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 13:27:47 | → | b0o joins (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 13:27:51 | → | Ankhers joins (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 13:28:35 | <lortabac> | what's the simplest way to do (Maybe a, b) -> Maybe (a, b) |
| 13:29:01 | <Hecate> | oh dear |
| 13:29:16 | <merijn> | 'strong' used to be in some library, but not anymore, I think |
| 13:29:57 | <merijn> | Simplest is probably lambda? |
| 13:30:10 | <Hecate> | lortabac: simple pattern-matching |
| 13:30:11 | <merijn> | :t \(a, b) -> fmap (,b) a |
| 13:30:12 | <lambdabot> | Functor f => (f t1, t2) -> f (t1, t2) |
| 13:31:38 | <geekosaur> | sequence would do it if they were swapped |
| 13:31:44 | <lortabac> | merijn: thanks, with TupleSections it's not too bad |
| 13:32:11 | <lortabac> | geekosaur: actually maybe I can swap them |
| 13:32:18 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 13:32:29 | <geekosaur> | > sequence ("a", Just 5) |
| 13:32:31 | <lambdabot> | Just ("a",5) |
| 13:33:19 | <tomsmeding> | not too sure whether that's the most readable though :p |
| 13:33:34 | <lortabac> | I need something like Biapplicative |
| 13:33:38 | <lortabac> | does it exist? :D |
| 13:33:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:34:22 | → | Simon12 joins (~Simon@2001:4ca0:0:f237:f4e9:b9f2:ea66:2d8f) |
| 13:34:24 | <Simon12> | Hey guys |
| 13:34:32 | <Simon12> | Today I come to visit with an logial question |
| 13:34:51 | <lortabac> | apparently sequenceBia is a thing |
| 13:35:02 | × | jonathanx_ quits (~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 252 seconds) |
| 13:35:13 | × | jonathanx quits (~jonathan@dyn-5-sc.cdg.chalmers.se) (Ping timeout: 260 seconds) |
| 13:35:13 | <Simon12> | How can I display the Boolean function h(a,b,c) = (a * b) + c only with the NOR operator? |
| 13:35:29 | <lortabac> | it's in the bifunctors package, but it's probably overkill for my simple use case |
| 13:37:21 | <merijn> | lortabac: It does |
| 13:37:27 | <merijn> | lortabac: I think it's even in base now? |
| 13:37:47 | <geekosaur> | @index sequenceBia |
| 13:37:47 | <lambdabot> | bzzt |
| 13:38:04 | <merijn> | ah, it's just Bifunctor that's in base |
| 13:38:30 | <geekosaur> | yeh |
| 13:39:56 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 13:39:56 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 13:39:56 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:40:34 | × | ccntrq quits (~Thunderbi@2a02:3100:74fa:d500:97b0:c40e:b388:2843) (Remote host closed the connection) |
| 13:42:02 | → | ccntrq joins (~Thunderbi@2a02:3100:74fa:d500:b1e:7b90:a106:30b6) |
| 13:42:16 | <maerwald> | merijn: how do I go from `Splice Q b` to `Q Exp` |
| 13:42:19 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:42:29 | <merijn> | maerwald: That's a no-op |
| 13:42:36 | <merijn> | maerwald: It's a compat newtype |
| 13:42:51 | <merijn> | For the change in GHC 9.2 (or 9.0?) where the type of splices changes |
| 13:43:04 | <maerwald> | I don't understand, the types don't align |
| 13:43:13 | <merijn> | maerwald: See th-compat |
| 13:43:59 | <merijn> | maerwald: "Splice Q b" is just "Q (TExp b)" in old GHCs |
| 13:44:10 | <merijn> | https://hackage.haskell.org/package/th-compat-0.1.3/docs/Language-Haskell-TH-Syntax-Compat.html#t:Splice |
| 13:44:58 | <maerwald> | merijn: https://paste.tomsmeding.com/QGO9IAMZ |
| 13:45:08 | → | ccntrq1 joins (~Thunderbi@dynamic-095-112-244-199.95.112.pool.telefonica.de) |
| 13:46:35 | × | ccntrq quits (~Thunderbi@2a02:3100:74fa:d500:b1e:7b90:a106:30b6) (Ping timeout: 252 seconds) |
| 13:46:36 | ccntrq1 | is now known as ccntrq |
| 13:46:39 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 13:47:00 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 13:47:01 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 13:47:06 | <merijn> | maerwald: Oh, right, yeah. Because I produce typed TH, you "untype" it via unType |
| 13:47:09 | <merijn> | maerwald: https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH.html#v:unType |
| 13:47:38 | <maerwald> | merijn: https://paste.tomsmeding.com/lskkpeCU ;) |
| 13:47:45 | <maerwald> | TH sucks |
| 13:48:11 | <merijn> | maerwald: No, you just didn't read the error ;) |
| 13:48:17 | <tomsmeding> | <$> |
| 13:48:22 | <merijn> | You have "Q (TExp a)", you need "Q Exp" |
| 13:48:26 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 13:48:27 | <merijn> | So you want "fmap unType" |
| 13:48:30 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 13:48:49 | → | xaotuk joins (~sasha@net238-32-245-109.mbb.telenor.rs) |
| 13:49:10 | <merijn> | but I assumed you'd be able to infer that from the error and my link :p |
| 13:49:56 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 250 seconds) |
| 13:50:33 | <tomsmeding> | that moment when hoogling for TypeRep -> Type gives you only 'unsafeCoerce' |
| 13:50:59 | <merijn> | tomsmeding: RIP your sanity |
| 13:51:02 | <tomsmeding> | does such functionality exist somewhere? |
| 13:51:50 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 13:51:50 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:51:50 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 13:51:50 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 13:52:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:52:29 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 13:52:39 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 13:52:54 | → | fef joins (~thedawn@user/thedawn) |
| 13:53:17 | <tomsmeding> | ah https://hackage.haskell.org/package/th-utilities-0.2.4.3/docs/TH-Utilities.html#v:typeRepToType apparently |
| 13:57:01 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 13:58:05 | → | arjun joins (~arjun@user/arjun) |
| 14:01:01 | → | ccntrq1 joins (~Thunderbi@2a01:c23:9034:a600:c21b:dfb2:bfd7:ec9c) |
| 14:01:46 | <maerwald> | merijn: https://github.com/merijn/validated-literals/pull/7 |
| 14:03:05 | <maerwald> | that actually allows me to easily create quasi quoters from `readEither` |
| 14:03:05 | × | ccntrq quits (~Thunderbi@dynamic-095-112-244-199.95.112.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 14:03:06 | ccntrq1 | is now known as ccntrq |
| 14:04:11 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 252 seconds) |
| 14:06:08 | <tomsmeding> | uh oh, ghc panic saying "InScope {wild_00 $dQuote_aaQY $dTypeable_aaRc $dTypeable_sdCX}" |
| 14:06:09 | <merijn> | I actually wanted to bug #ghc and check if there's typed QuasiQuoters yet (I think there should be?) |
| 14:06:25 | <tomsmeding> | merijn: sanity decreases over time indeed |
| 14:06:46 | <maerwald> | I blame long covid instead of my life-style |
| 14:09:04 | <merijn> | maerwald: That's not quite how I'd see the quasi quoter, additionally it brings the complication that I'm not sure how you'd use a quasiquoter with arguments to get the quasiquoter |
| 14:09:13 | <maerwald> | merijn: what? |
| 14:09:43 | <merijn> | maerwald: Do you end up having to write "[quasiQuoter a b|...|]" to use that or what? |
| 14:09:52 | <merijn> | That doesn't work, does it? |
| 14:09:55 | <maerwald> | no, you create a top-level binding |
| 14:10:19 | <maerwald> | s = quasiQuoter (Proxy :: Proxy String) (Proxy :: Proxy Int) |
| 14:10:48 | <maerwald> | then: [s|123|] |
| 14:11:05 | <merijn> | maerwald: Except you then can't use it in the same module |
| 14:11:14 | <maerwald> | *shrug* |
| 14:11:16 | <merijn> | maerwald: because quasi quoters can't be defined in the module they're used, afaik? |
| 14:11:19 | <merijn> | Anyway |
| 14:11:27 | <merijn> | I'll have a think about it tomorrow |
| 14:12:13 | × | xaotuk quits (~sasha@net238-32-245-109.mbb.telenor.rs) (Ping timeout: 256 seconds) |
| 14:16:57 | × | Simon12 quits (~Simon@2001:4ca0:0:f237:f4e9:b9f2:ea66:2d8f) (Quit: Client closed) |
| 14:17:10 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:17:20 | → | searemind joins (~searemind@122.161.49.238) |
| 14:17:33 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 14:19:46 | × | searemind quits (~searemind@122.161.49.238) (Client Quit) |
| 14:20:26 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 14:21:59 | → | yauhsien joins (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) |
| 14:22:06 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 14:23:24 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds) |
| 14:23:48 | <tomsmeding> | can I rely on '[] to produce the list _type_ and not the empty list _constructor_? |
| 14:24:12 | × | hgolden quits (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 14:24:22 | <lortabac> | tomsmeding: I think you have to remove the quote if you want the list type |
| 14:24:36 | <tomsmeding> | lortabac: oh sorry, I meant in templatehaskell |
| 14:24:41 | <tomsmeding> | like, ' being a name quote |
| 14:24:48 | <tomsmeding> | Name quote, to be precise |
| 14:25:36 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 14:25:46 | → | hgolden joins (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 14:26:31 | × | yauhsien quits (~yauhsien@61-231-26-70.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 14:27:36 | <lortabac> | tomsmeding: sorry, I read that question out of context |
| 14:27:42 | <tomsmeding> | (why does Type have a ListT constructor if actual list types are represented with ConT '[]) |
| 14:28:36 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 14:28:37 | → | searemind^ joins (~searemind@122.161.49.238) |
| 14:28:50 | × | searemind^ quits (~searemind@122.161.49.238) (Client Quit) |
| 14:29:11 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 14:29:16 | → | searemind^ joins (~searemind@122.161.49.238) |
| 14:29:18 | → | bahamas joins (~lucian@84.232.141.55) |
| 14:30:34 | × | searemind^ quits (~searemind@122.161.49.238) (Client Quit) |
| 14:31:11 | → | searemind^ joins (~searemind@122.161.49.238) |
| 14:32:20 | × | searemind^ quits (~searemind@122.161.49.238) (Client Quit) |
| 14:33:35 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:34:54 | → | searemind joins (~u0_a2090@122.161.49.238) |
| 14:35:22 | × | searemind quits (~u0_a2090@122.161.49.238) (Client Quit) |
| 14:46:36 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 14:46:50 | → | searemind joins (~u0_a2090@122.161.49.238) |
| 14:48:00 | × | alp_ quits (~alp@user/alp) (Ping timeout: 250 seconds) |
| 14:49:19 | ← | searemind parts (~u0_a2090@122.161.49.238) () |
| 14:53:41 | → | alp_ joins (~alp@user/alp) |
| 14:56:51 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 14:57:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 14:59:03 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 15:01:46 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:08:10 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 240 seconds) |
| 15:09:14 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 15:09:17 | → | xkuru joins (~xkuru@user/xkuru) |
| 15:10:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 15:13:46 | → | zebrag joins (~chris@user/zebrag) |
| 15:15:20 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 15:16:26 | × | kuribas quits (~user@ptr-17d51emdvfb7f7okr89.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 15:16:31 | × | ccntrq quits (~Thunderbi@2a01:c23:9034:a600:c21b:dfb2:bfd7:ec9c) (Ping timeout: 260 seconds) |
| 15:20:59 | → | ccntrq joins (~Thunderbi@2a01:c23:9119:1600:4034:6c3d:626c:d3f8) |
| 15:23:50 | → | ccntrq1 joins (~Thunderbi@2a01:c23:8973:2800:be2:49b2:569e:306a) |
| 15:24:06 | <kritzefitz> | tomsmeding: If I reify '[] it says DataConI instead of TyConI. |
| 15:24:20 | <tomsmeding> | kritzefitz: indeed I found out that it picks the wrong one :p |
| 15:24:49 | <tomsmeding> | now I wonder how I get the Name for the list type constructor without buiding a Name myself using (ModName "GHC.Types") etc |
| 15:25:00 | × | ccntrq quits (~Thunderbi@2a01:c23:9119:1600:4034:6c3d:626c:d3f8) (Ping timeout: 240 seconds) |
| 15:25:05 | <kritzefitz> | ''[] seems to work for me. |
| 15:25:12 | <tomsmeding> | oooooooooh |
| 15:25:45 | tomsmeding | slaps head |
| 15:26:33 | → | ccntrq joins (~Thunderbi@2a01:c23:9018:e400:84c7:29ed:dc5d:3836) |
| 15:26:42 | <geekosaur> | that's what I just found in the TH docs, yeh |
| 15:26:54 | <geekosaur> | thought I remembered that syntax |
| 15:27:48 | × | ccntrq1 quits (~Thunderbi@2a01:c23:8973:2800:be2:49b2:569e:306a) (Ping timeout: 240 seconds) |
| 15:29:26 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 15:30:07 | <kritzefitz> | It's kinda unfortunate that ''Name returns a data constructor if Name is not a type instead of throwing an error. I guess the reason for that has something to with DataKinds? |
| 15:30:34 | <geekosaur> | probably |
| 15:31:23 | <tomsmeding> | hm, ''Just doesn't seem to work for me |
| 15:31:44 | <tomsmeding> | (DataKinds _is_ on) |
| 15:32:16 | <kritzefitz> | Huh, indeed. I noticed that '(:) works and thought it works for all data constructors. (Data Kinds is _off_) |
| 15:32:16 | × | dsrt^ quits (~dsrt@173-160-94-253-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 15:32:34 | <kritzefitz> | err, ''(:) works. |
| 15:32:50 | <tomsmeding> | interesting |
| 15:32:58 | <tomsmeding> | maybe (:) is too hard-wired in GHC? |
| 15:34:05 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 15:40:35 | × | ccntrq quits (~Thunderbi@2a01:c23:9018:e400:84c7:29ed:dc5d:3836) (Ping timeout: 260 seconds) |
| 15:42:11 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:43:00 | → | ente joins (~daemon@inferno.barfooze.de) |
| 15:44:03 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 15:44:05 | <albet70> | python generator/yield, ES6 Promise, Java 7 Future, kotlin coroutine, scheme callcc shift/reset, and haskell ContT, are they all same or similar? |
| 15:44:18 | × | mbuf quits (~Shakthi@182.77.101.218) (Quit: Leaving) |
| 15:44:40 | → | ccntrq joins (~Thunderbi@2a01:c22:889b:ad00:a2f4:2f25:7f3d:714e) |
| 15:45:12 | <c_wraith> | albet70: there are two distinct ideas in there - coroutines and continuations. |
| 15:46:02 | <albet70> | "🟢 c_wraith :albet70: there are two distinct ideas in there - coroutines and continuations.", continuation can implement coroutine |
| 15:46:05 | <c_wraith> | you can implement coroutines with continuations, but they aren't the same |
| 15:46:22 | <c_wraith> | continuations can implement any control flow pattern |
| 15:46:27 | <c_wraith> | coroutines cannot |
| 15:49:14 | × | ccntrq quits (~Thunderbi@2a01:c22:889b:ad00:a2f4:2f25:7f3d:714e) (Ping timeout: 252 seconds) |
| 15:49:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:2bb6:68f9:5f28:94b) (Quit: WeeChat 2.8) |
| 15:49:24 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds) |
| 15:49:29 | → | ccntrq joins (~Thunderbi@2a01:c22:890d:1f00:4060:9fab:d2c7:2887) |
| 15:52:08 | <albet70> | does ContT's callCC depends on lazy evaluations strategy? |
| 15:52:34 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 15:54:06 | <albet70> | I hope there's a common skill, if I can comprehend the concept then I can use lambda to implement then in different languages, that would be wonderful |
| 15:55:36 | → | fef joins (~thedawn@user/thedawn) |
| 15:57:00 | <albet70> | I use Data.List's function to solve python list issues in work, it's very good, but python doesn't have Data.List so I have to "copy" them to python |
| 15:59:08 | → | jinsun joins (~jinsun@user/jinsun) |
| 16:00:00 | → | merijn joins (~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl) |
| 16:01:39 | × | odnes quits (~odnes@2a02:587:e901:3110::aaf) (Ping timeout: 240 seconds) |
| 16:06:01 | → | odnes joins (~odnes@2a02:587:e901:3110::aaf) |
| 16:10:32 | → | coot joins (~coot@213.134.190.95) |
| 16:12:25 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 16:17:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 16:18:11 | <dolio> | No, callCC doesn't depend on lazy evaluation. |
| 16:18:16 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:18:33 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 16:19:22 | → | econo joins (uid147250@user/econo) |
| 16:21:49 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 16:22:25 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:23:51 | × | odnes quits (~odnes@2a02:587:e901:3110::aaf) (Quit: Leaving) |
| 16:24:34 | × | razetime quits (~quassel@117.254.34.133) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:26:40 | → | bahamas joins (~lucian@84.232.141.55) |
| 16:26:55 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:27:38 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:28:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:29:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:32:03 | → | img joins (~img@user/img) |
| 16:33:47 | × | ccntrq quits (~Thunderbi@2a01:c22:890d:1f00:4060:9fab:d2c7:2887) (Ping timeout: 252 seconds) |
| 16:33:52 | → | ccntrq1 joins (~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) |
| 16:36:10 | ccntrq1 | is now known as ccntrq |
| 16:44:45 | → | stackdroid18 joins (14094@user/stackdroid) |
| 16:49:53 | → | EvanR joins (~EvanR@user/evanr) |
| 16:51:24 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 17:03:32 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:03:57 | × | merijn quits (~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 17:04:33 | → | img joins (~img@user/img) |
| 17:04:51 | × | img quits (~img@user/img) (Client Quit) |
| 17:06:16 | → | img joins (~img@user/img) |
| 17:08:28 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:09:23 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 17:09:45 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 248 seconds) |
| 17:10:34 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:11:48 | × | alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 17:11:59 | → | searemind joins (~searemind@122.161.49.238) |
| 17:13:25 | × | searemind quits (~searemind@122.161.49.238) (Client Quit) |
| 17:14:48 | → | coot joins (~coot@213.134.190.95) |
| 17:17:07 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:21:16 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 17:22:45 | × | Vajb quits (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 17:23:13 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:23:49 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:24:37 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 17:25:45 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 17:26:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:26:42 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 17:31:25 | → | Yumemi_ joins (~Yumemi@chamoin.net) |
| 17:32:19 | × | myme quits (~myme@2a01:799:d5a:cd00:8120:ecfa:c999:5176) (Ping timeout: 260 seconds) |
| 17:32:58 | → | myme joins (~myme@2a01:799:d5a:cd00:c044:db87:472c:8a95) |
| 17:33:32 | → | alp_ joins (~alp@user/alp) |
| 17:33:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 17:34:21 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:39:30 | → | christiansen joins (~davidc@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 17:40:47 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:41:05 | × | arjun quits (~arjun@user/arjun) (Remote host closed the connection) |
| 17:43:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:43:52 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:43:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:46:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:48:15 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 17:48:17 | × | ccntrq quits (~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) (Remote host closed the connection) |
| 17:48:17 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 17:48:35 | → | ccntrq joins (~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) |
| 17:50:20 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:59:58 | × | mikoto-c1 quits (~mikoto-ch@213.177.151.239) (Quit: mikoto-c1) |
| 18:00:11 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 18:03:38 | → | kenran joins (~kenran@200116b82bed0c0009c327eee040f706.dip.versatel-1u1.de) |
| 18:04:34 | × | kenran quits (~kenran@200116b82bed0c0009c327eee040f706.dip.versatel-1u1.de) (Client Quit) |
| 18:06:11 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 18:11:09 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 18:14:58 | ChanServ | sets mode +o dolio |
| 18:20:32 | → | acidjnk joins (~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) |
| 18:23:14 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:24:10 | → | bahamas joins (~lucian@84.232.141.55) |
| 18:27:49 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 18:28:29 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 18:29:29 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection) |
| 18:29:55 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 18:30:03 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 18:31:00 | × | ccntrq quits (~Thunderbi@2a02:3100:747c:6500:bbdc:b5b5:5e46:f87e) (Remote host closed the connection) |
| 18:32:21 | × | cigsender quits (~cigsender@cpe5c7d7db831c8-cm5c7d7db831c6.cpe.net.cable.rogers.com) (Quit: Lost terminal) |
| 18:38:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 18:39:38 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 18:47:40 | → | searemind joins (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) |
| 18:50:28 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:51:21 | <dminuoso> | Staring at https://hackage.haskell.org/package/attoparsec-0.14.4/docs/src/Data.Attoparsec.ByteString.Char8.html#decimal - where does the Integral constraint come from? Im trying to understand how one can write code that produces a polymorphic Integral thing |
| 18:52:00 | <geekosaur> | fromIntegral? |
| 18:52:14 | <dminuoso> | Yeah but that produces something Num polymorphic |
| 18:52:14 | <geekosaur> | where step … = … fromIntegral … |
| 18:52:52 | <geekosaur> | that's why they constrain it |
| 18:53:21 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 18:53:24 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 18:53:33 | <dminuoso> | Ohhh darn, I didnt realize that Integral was a subclass of Num |
| 18:53:36 | <geekosaur> | the parser is designed to parse digit strings, so the result must be at least some Integral |
| 18:53:46 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:1079:7342:5035:76b9) |
| 18:53:48 | <dminuoso> | Kept looking at its superclasses and thinking "this has only Real and Enum, whats the link to Num" |
| 18:54:07 | <dminuoso> | geekosaur: Honestly given the behavior, it might as well keep the Num constraint. |
| 18:54:26 | <dminuoso> | Currently weighing in on an issue on attoparsec |
| 18:57:13 | <dminuoso> | geekosaur: Thanks, the missing link was just that Num is a superclass of Integral. :) |
| 18:59:25 | <geekosaur> | Num via Real |
| 19:01:46 | × | oats quits (~thomas@user/oats) (Quit: until later, my friends) |
| 19:05:01 | → | dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 19:11:11 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Remote host closed the connection) |
| 19:11:11 | → | oats joins (~thomas@user/oats) |
| 19:11:35 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 19:13:01 | × | oats quits (~thomas@user/oats) (Client Quit) |
| 19:14:03 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 19:14:47 | → | oats joins (~thomas@user/oats) |
| 19:16:12 | × | oats quits (~thomas@user/oats) (Client Quit) |
| 19:16:32 | → | oats joins (~thomas@user/oats) |
| 19:16:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:21:59 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 19:29:15 | <EvanR> | :t digitToInt |
| 19:29:17 | <lambdabot> | Char -> Int |
| 19:29:50 | <EvanR> | naively, you only need Num to accumulate digits in some base into a number? |
| 19:30:14 | <EvanR> | oof, the conversion from Int to number |
| 19:30:15 | <geekosaur> | it's attoparsec over a ByteString so they're already Word8 |
| 19:33:24 | <geekosaur> | and it provides a bunch of SPECIALIZE for various Integral types, so this is also optimization |
| 19:34:19 | <dminuoso> | https://github.com/haskell/attoparsec/issues/211 |
| 19:34:30 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 19:34:43 | → | Kaipei joins (~Kaiepi@156.34.47.253) |
| 19:34:52 | × | fef quits (~thedawn@user/thedawn) (Quit: Killer) |
| 19:35:38 | <EvanR> | agreed |
| 19:36:09 | <EvanR> | some kind of bounds check is necessary during the parse for security, might as well be the real bounds check |
| 19:37:29 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 19:41:56 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 248 seconds) |
| 19:45:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 19:45:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:45:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:47:33 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 19:50:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 19:54:01 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 20:00:44 | → | ubert1 joins (~Thunderbi@p200300ecdf1588baa343c6de390eaaec.dip0.t-ipconnect.de) |
| 20:02:12 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:1079:7342:5035:76b9) (Quit: WeeChat 2.8) |
| 20:08:13 | × | ubert1 quits (~Thunderbi@p200300ecdf1588baa343c6de390eaaec.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 20:10:03 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:18:18 | × | jrm quits (~jrm@156.34.173.250) (Ping timeout: 260 seconds) |
| 20:18:55 | <dminuoso> | Can forkIOWithUnmask itself ever fail? |
| 20:19:24 | <dminuoso> | Ah I think I just want `async` |
| 20:25:33 | → | Tuplanolla joins (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 20:34:02 | → | gff joins (~gff@168.103.132.194) |
| 20:34:43 | × | Kaipei quits (~Kaiepi@156.34.47.253) (Ping timeout: 256 seconds) |
| 20:38:25 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 20:40:19 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:d4d3:3586:6b4e:856e) (Ping timeout: 240 seconds) |
| 20:42:11 | <monochrom> | :) |
| 20:43:03 | <monochrom> | "Due to COVID-19, forkIOWithoutMask is temporarily an alias of forkIOWithMask until further notice." >:) |
| 20:44:29 | <EvanR> | uninterruptible interruptible unmasking unless |
| 20:45:15 | <EvanR> | janitor trips over power cord during an uninterruptible mask |
| 20:46:25 | <dminuoso> | EvanR: Yeah about that, will uninterruptibleMask increase power consumption to weld the power cord into the PSU to cover that case? |
| 20:46:38 | <dminuoso> | Seems like the logical thing to do |
| 20:46:43 | <monochrom> | haha |
| 20:46:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 20:47:13 | <monochrom> | What if there is no PSU? Will it order one from Amazon? :) |
| 20:47:49 | <EvanR> | ghc should ask halloween michael meyers how he implements uninterruptible sequels |
| 20:48:28 | <monochrom> | "Hi my haskell program is blocking for no reason" <5 hours later> "OK strace says it's waiting for an Amazon delivery. Amazing!" |
| 20:49:16 | → | dsrt^ joins (~dsrt@50-73-82-13-static.hfc.comcastbusiness.net) |
| 20:49:21 | <tomsmeding> | monochrom: for certain values of "amazing" |
| 20:49:38 | <monochrom> | "Except that I prefer Alibaba. Is there a config variable for that?" |
| 20:50:20 | <dminuoso> | There's an LD_PRELOAD for that. |
| 20:50:25 | <monochrom> | heh |
| 20:51:22 | → | geekosaur[m][m] joins (~geekosaur@2001:470:69fc:105::2:cb7) |
| 20:51:26 | <EvanR> | if the computer is blown up with auto destruct ordinance, but during an uninterruptible mask, it disturbingly reforms like a vampire movie |
| 20:52:16 | <monochrom> | VampireT |
| 20:52:52 | <EvanR> | is the 2nd law of thermo uninterruptible, use that somehow |
| 20:54:46 | → | misterfish joins (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
| 20:55:10 | <dminuoso> | If only we had an IOT, then we could use TardisT to send uninterruptibleMask back into the past. |
| 20:55:21 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 276 seconds) |
| 20:55:29 | <dminuoso> | Someone really ought to do some work on IOT. Maybe some poor PhD student? |
| 20:55:45 | tomsmeding | . o O ( not me ) |
| 20:56:44 | <dminuoso> | But seriously, writing threads in Haskell is not fun. |
| 20:57:13 | <dminuoso> | Trying to get this code right so no async exception can rip it apart.. *sigh* |
| 20:57:57 | <monochrom> | I think IOT would be full of unsafePerformIO or worse. |
| 20:58:08 | <dminuoso> | It would be full of unsafeUndoIO as well. |
| 20:58:21 | <monochrom> | Haha |
| 20:59:23 | <monochrom> | async those has already chosen its masking policy and doesn't expose that choice to high level use, no? |
| 20:59:56 | <monochrom> | i.e., the API doesn't let you customize |
| 21:01:15 | <dminuoso> | Right |
| 21:04:10 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 21:04:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:04:48 | × | michalz quits (~michalz@185.246.204.125) (Remote host closed the connection) |
| 21:05:20 | → | zebrag joins (~chris@user/zebrag) |
| 21:08:00 | × | ski quits (~ski@remote12.chalmers.se) (Quit: Lost terminal) |
| 21:08:16 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:18:40 | × | benin quits (~benin@183.82.179.155) (Quit: The Lounge - https://thelounge.chat) |
| 21:20:50 | → | alp_ joins (~alp@user/alp) |
| 21:21:45 | × | christiansen quits (~davidc@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 21:23:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:24:38 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:25:36 | → | jrm joins (~jrm@156.34.173.250) |
| 21:31:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:45:26 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 21:49:48 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 21:52:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 22:01:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 22:05:56 | × | mixfix41 quits (~sdenyninn@user/mixfix41) (Quit: hit) |
| 22:06:48 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 22:07:12 | → | odnes joins (~odnes@5-203-241-182.pat.nym.cosmote.net) |
| 22:10:25 | → | dut_ joins (~dut@user/dut) |
| 22:11:35 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:12:28 | → | acidjnk_new joins (~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) |
| 22:13:25 | × | dut quits (~dut@user/dut) (Ping timeout: 246 seconds) |
| 22:13:33 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:14:57 | <misterfish> | ong |
| 22:15:10 | <misterfish> | sorry, pls disregard |
| 22:15:11 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:15:17 | ← | misterfish parts (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) () |
| 22:15:32 | × | acidjnk quits (~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:15:43 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 22:18:38 | × | acidjnk_new quits (~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:28:08 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:29:44 | × | gnyeki quits (~gnyeki@user/gnyeki) (Quit: leaving) |
| 22:29:56 | × | mmhat quits (~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 22:34:55 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 22:35:14 | × | zeenk quits (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 22:35:28 | → | gnyeki joins (~gnyeki@user/gnyeki) |
| 22:39:41 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:44:23 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 22:44:54 | × | odnes quits (~odnes@5-203-241-182.pat.nym.cosmote.net) (Remote host closed the connection) |
| 22:45:32 | → | nate1 joins (~nate@98.45.169.16) |
| 22:50:12 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 22:52:15 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:56:23 | → | srk- joins (~sorki@user/srk) |
| 22:59:03 | → | srk| joins (~sorki@user/srk) |
| 22:59:30 | × | srk quits (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 23:00:10 | × | dhil quits (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 23:00:29 | → | srk joins (~sorki@user/srk) |
| 23:00:59 | <EvanR> | seems like IOT would require semantics for IO |
| 23:02:45 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:03:00 | × | srk- quits (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 23:03:44 | × | srk| quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 23:06:40 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:07:04 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 23:08:32 | → | kilolympus joins (~kilolympu@31.205.200.235) |
| 23:11:17 | <sm> | hey all, do you remember that past project aimed at collecting haskell links that was sort of a structured wiki/db app ? I'm forgetting its name |
| 23:14:44 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 23:16:54 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 23:17:09 | Square | is now known as Sqaure |
| 23:18:52 | ChanServ | sets mode +o sm |
| 23:21:12 | → | jinsun joins (~jinsun@user/jinsun) |
| 23:21:18 | <dmj`> | sm: http://dev.stephendiehl.com/hask/ ? |
| 23:21:45 | <sm> | no... |
| 23:23:39 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 23:23:49 | <sm> | but dang, isn't that an amazing document & isn't Haskell really big |
| 23:25:24 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 23:27:49 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 23:27:56 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 23:30:16 | <EvanR> | whoa |
| 23:33:21 | <shapr> | sm: was it https://github.com/cohomolo-gy/haskell-resources ? |
| 23:34:27 | <sm> | no.. but thanks for that too |
| 23:35:22 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:35:34 | <shapr> | sm: was it https://en.wikibooks.org/wiki/Haskell ? |
| 23:37:34 | <sm> | no. It wasn't an official resource, it was a private project by a community member, with an unusual name, a custom web app, each topic had a page, you could edit through the web (maybe) |
| 23:38:06 | <sm> | and I believe they retired it in the last 2-3 years |
| 23:38:35 | <shapr> | Any other keywords for my brain? |
| 23:40:11 | <sm> | if I think of anything more I'll share.. it's coming closer.. |
| 23:42:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Quit: Leaving) |
| 23:44:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:44:30 | <sm> | hoo.. tough one |
| 23:44:45 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 23:44:52 | <Bulby[m]> | hoo?!?? |
| 23:44:58 | <Bulby[m]> | my keyword for hoogle 😳 |
| 23:45:47 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 23:47:30 | <sm> | I'm asking because it was an example of a more automated, scalable way of gathering haskell links, which I'm daydreaming about at https://github.com/simonmichael/haskell-links, in case anyone wants to help |
| 23:48:46 | <EvanR> | Conclusions: The next ML will be pure, with effects only via monads. The next Haskell will be strict, but still pure. (Wearing the Hair Shirt: A Retrospective on Haskell) |
| 23:50:24 | <texasmynsted> | sm: what about haskell.org |
| 23:51:09 | <texasmynsted> | There are many Haskell links there, organized with context. |
| 23:53:14 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 23:53:19 | <dmj`> | EvanR: Why can't the next haskell be explicitly lazy, have row polymorphism, a modern backend while staying Haskell 98 ? |
| 23:54:07 | <EvanR> | because SPJcold said so |
| 23:55:10 | <sm> | texasmynsted: yes there are, and I mention it in the quote at the top, as not fully succeeding. It links a small fraction of the resources out there |
| 23:56:23 | <sm> | @where books |
| 23:56:23 | <lambdabot> | https://www.extrema.is/articles/haskell-books http://www.vex.net/~trebla/haskell/learn-sources.html, see also @where LYAH, RWH, YAHT, HFTVB, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, |
| 23:56:23 | <lambdabot> | PFAD, WYAH, non-haskell-books |
| 23:57:03 | <sm> | I'm thinking of something like a cross between @where and https://www.extrema.is/articles/haskell-books |
| 23:58:27 | <texasmynsted> | oh I see. |
| 23:58:41 | <EvanR> | from /hask doc above "If you find yourself falling back on [Template Haskell] ask yourself, what in my abstractions has failed me such that my only option is to write code that writes code." loving it xD |
| 23:58:53 | <texasmynsted> | How about a haskell link twitter feed? |
| 23:59:06 | <texasmynsted> | New link every day? |
| 23:59:30 | <sm> | shapr: got it! https://guide.aelve.com |
| 23:59:49 | <sm> | texasmynsted: that's a good idea too, if it doesn't already exist |
All times are in UTC on 2022-05-10.