Logs on 2021-03-09 (freenode/#haskell)
| 00:01:03 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 00:02:56 | → | redmp joins (~redmp@172.58.35.53) |
| 00:05:54 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 245 seconds) |
| 00:11:12 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 00:12:01 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 00:15:18 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 00:19:14 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:9951:ddf8:bc56:65f5) (Remote host closed the connection) |
| 00:23:35 | × | CodeAlways quits (uid272474@gateway/web/irccloud.com/x-dzvbbhipleasvhkv) (Quit: Connection closed for inactivity) |
| 00:24:39 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 00:27:37 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 00:29:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c500:64a8:b98c:677d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:30:22 | → | bennofs_ joins (~quassel@dslb-094-222-034-104.094.222.pools.vodafone-ip.de) |
| 00:32:25 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 00:33:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 00:34:14 | × | bennofs__ quits (~quassel@dslb-188-106-250-212.188.106.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 00:35:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 00:36:49 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 00:39:03 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:51:09 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:52:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:54:59 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 00:56:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 01:01:57 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) (Ping timeout: 260 seconds) |
| 01:03:52 | → | _xor joins (~xor@74.215.46.133) |
| 01:05:50 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 01:06:17 | × | carlomagno quits (~cararell@148.87.23.4) (Ping timeout: 256 seconds) |
| 01:06:42 | → | average joins (uid473595@gateway/web/irccloud.com/x-esnsvhjcxsvlaxwu) |
| 01:07:34 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:4e2:5952:361b:951a) |
| 01:11:04 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 01:11:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) |
| 01:12:10 | × | bss03 quits (~bss@ip70-178-92-189.ks.ks.cox.net) () |
| 01:14:29 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 01:14:40 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 01:16:25 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Read error: Connection reset by peer) |
| 01:16:43 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 01:17:01 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 01:18:52 | × | acidjnk_new quits (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:21:00 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Remote host closed the connection) |
| 01:21:47 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 01:22:28 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 01:23:36 | → | stree joins (~stree@68.36.8.116) |
| 01:23:47 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-rvinuuthmqchdvfm) |
| 01:25:57 | → | nineonine joins (~nineonine@50.216.62.2) |
| 01:26:26 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Ping timeout: 264 seconds) |
| 01:28:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:28:45 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 264 seconds) |
| 01:30:45 | → | Tario joins (~Tario@201.192.165.173) |
| 01:35:00 | → | drakonis joins (~drakonis@unaffiliated/drakonis) |
| 01:38:09 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 01:38:35 | → | stree joins (~stree@68.36.8.116) |
| 01:39:02 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:43:40 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-qlgjfbrgmlhxoijq) |
| 01:44:42 | → | drbean joins (~drbean@TC210-63-209-145.static.apol.com.tw) |
| 01:45:29 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 01:46:33 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 01:48:37 | → | jrqc joins (~rofl@96.78.87.197) |
| 01:52:41 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 01:53:00 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:53:29 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 01:54:51 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 01:55:52 | × | Jd007 quits (~Jd007@162.156.11.151) (Client Quit) |
| 01:59:15 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 02:01:13 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 02:06:36 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.152) (Ping timeout: 246 seconds) |
| 02:06:36 | × | sveit quits (~sveit@45.77.0.246) (Quit: Bye) |
| 02:06:36 | × | simplegauss quits (~simplegau@45.77.0.246) (Quit: Bye) |
| 02:07:10 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 02:13:45 | → | augnun joins (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) |
| 02:17:59 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 02:18:18 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 02:22:27 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:22:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 02:24:03 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:25:59 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 02:26:28 | → | guest39 joins (~user@49.5.6.87) |
| 02:27:56 | → | carlomagno joins (~cararell@148.87.23.4) |
| 02:27:57 | <guest39> | [0,1,2,3,4,5,6,7] how to get all elements sum of the even index and odd index? |
| 02:28:20 | <guest39> | [0+2+4+6, 1+3+5+7] |
| 02:29:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:31:49 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:32:29 | <glguy> | guest39, validating a credit card? |
| 02:35:13 | <lyxia> | > foldr (\x (i,j,k) -> (j+x,i,not k)) (0,0,False) [a,b,c,d,e,f,g,h,i,j] |
| 02:35:14 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zwhkjwvkwzspfstr) (Quit: Connection closed for inactivity) |
| 02:35:15 | <lambdabot> | (0 + i + g + e + c + a,0 + j + h + f + d + b,False) |
| 02:36:48 | <guest39> | ... |
| 02:36:49 | <lyxia> | I guess I don't need the booleans if we're indexing normally |
| 02:37:03 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 02:40:02 | <siraben> | What's the categorical reason why lens compose backwards? |
| 02:41:51 | × | alx741 quits (~alx741@186.178.108.96) (Quit: alx741) |
| 02:41:54 | <siraben> | IIU, Lens are morphisms in the profunctor category |
| 02:45:00 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 02:45:01 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 02:46:59 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 02:46:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:48:34 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 02:51:03 | × | xff0x quits (~xff0x@2001:1a81:5322:b100:4b34:5fe:a761:7d97) (Ping timeout: 260 seconds) |
| 02:52:39 | → | xff0x joins (~xff0x@2001:1a81:535c:a00:5328:b97c:8fc5:c4d4) |
| 02:55:31 | <dolio> | It doesn't have anything to do with category theory. It's because a lens from whole to part is implemented as a function with type `E[part] -> E[whole]`, so if you just compose the functions implementing them, the ordering is going to be backwards from how you might expect. |
| 03:02:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 03:03:08 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) |
| 03:03:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) (Client Quit) |
| 03:03:30 | <Axman6> | :t let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [1..7] |
| 03:03:31 | <lambdabot> | (Num a, Enum a) => (a, a) |
| 03:03:37 | <Axman6> | > let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [1..7] |
| 03:03:38 | <lambdabot> | (16,12) |
| 03:04:21 | <Axman6> | should probably be ([],[x]) if evens are on the left |
| 03:04:35 | <Axman6> | no |
| 03:04:44 | <Axman6> | > let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [0..7] |
| 03:04:46 | <lambdabot> | (12,16) |
| 03:07:55 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:10:17 | <heck-to-the-gnom> | Is there a way that I could convert `[a, b, c]` to `a + b + c` - Similar to to `zipWith`, but only running the operation on one list |
| 03:10:46 | <Axman6> | sum? |
| 03:10:56 | <Axman6> | > sum [a,b,c] :: Expr |
| 03:10:57 | <lambdabot> | 0 + a + b + c |
| 03:11:11 | <heck-to-the-gnom> | And, not just `+` specifically, `<+>` or `,` etc would need to be possible too |
| 03:11:22 | <Axman6> | what you're describing is a fold |
| 03:11:26 | <Axman6> | :t foldl |
| 03:11:27 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 03:11:27 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:11:28 | finn_elija | is now known as Guest27267 |
| 03:11:28 | FinnElija | is now known as finn_elija |
| 03:11:28 | <Axman6> | :t foldr |
| 03:11:29 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 03:11:39 | <Axman6> | % :t foldl @[] |
| 03:11:39 | <yahb> | Axman6: (b -> a -> b) -> b -> [a] -> b |
| 03:11:43 | <heck-to-the-gnom> | ah, thx |
| 03:11:55 | <Axman6> | > foldl (*) 1 [a,b,c] :: Expr |
| 03:11:57 | <lambdabot> | 1 * a * b * c |
| 03:12:04 | <Axman6> | > foldr (*) 1 [a,b,c] :: Expr |
| 03:12:06 | <lambdabot> | a * (b * (c * 1)) |
| 03:12:39 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 03:13:08 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-dbnctqivboqvftoe) () |
| 03:13:49 | <Axman6> | this is a quite fundamental topic in functional programming in general, so it's worth spending some time on. like how to you use foldr to make [[a]] -> [a] where all the lists are concatenated, how do you append two lists using foldr ([a] -> [a] -> [a]) |
| 03:14:03 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-oicrocvqkpivxmgb) |
| 03:15:08 | × | Guest27267 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 03:15:11 | <Axman6> | there's also very little relationship with zipWith, at least for inital understanding |
| 03:15:39 | <heck-to-the-gnom> | zipWith is just what I'd seen before, so I used that as a reference point |
| 03:19:47 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0.1) |
| 03:22:05 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 03:22:27 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 03:24:30 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 03:25:08 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 03:29:27 | <redmp> | I'm having a bit of trouble vith flake-compat |
| 03:29:28 | → | waskell_ joins (~quassel@d66-183-124-203.bchsia.telus.net) |
| 03:30:02 | <redmp> | can anybody here help out? here's my example repro: https://termbin.com/y2rj |
| 03:30:19 | <redmp> | I'm getting the error "called without required argument 'nixpkgs'" |
| 03:30:53 | <redmp> | nixpkgs is present in my inputs, and nixpkgs is an input to my outputs function |
| 03:32:17 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:33:05 | × | waskell quits (~quassel@d66-183-230-153.bchsia.telus.net) (Read error: Connection reset by peer) |
| 03:33:58 | <monochrom> | I wonder if you accidentally used the wrong channel. |
| 03:35:11 | <redmp> | oh, again.. i keep doing this recently! i'm sorry |
| 03:35:33 | <Axman6> | back to millitary police school for you! |
| 03:36:14 | <monochrom> | I just worried that in case of wrong channel you don't get the help you need. |
| 03:37:08 | <heck-to-the-gnom> | To be fair, however, you weren't that far off as far as channels go. I learned of nix from this channel, actually. |
| 03:38:43 | × | theDon quits (~td@94.134.91.237) (Ping timeout: 256 seconds) |
| 03:38:49 | <redmp> | hah! yeah, the two places have a bit in common.. but the problem is this is maybe the 4th time i've done this between the two channels in the past week.. i seem to be losing my marbles |
| 03:40:17 | → | theDon joins (~td@muedsl-82-207-238-174.citykom.de) |
| 03:40:29 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-pnwfbntchtcoqxxp) (Quit: Connection closed for inactivity) |
| 03:40:42 | <monochrom> | Similarly, I have had student mistakenly emailed me "hi prof X, I have a timetable conflict with your MAT304 midterm, what can I do?", where I am not prof X and I don't tach MAT304. This is when I must reply "wrong address" because if the student doesn't realize it, much disaster will happen. |
| 03:41:55 | <Axman6> | so what are you doing with LLVM anyway and why not do it in Haskell? guessing it's not just something that spits out LLVM IR? |
| 03:42:40 | <monochrom> | It's a code optimization course, write your own analyses and/or transformation passes. |
| 03:42:42 | <curiousgay> | https://wiki.haskell.org/How_to_work_on_lists I don't understand map ($ my_element) xs |
| 03:43:16 | <Axman6> | curiousgay: ($ x) is the same as (\f -> f $ x), does that help at all? |
| 03:43:21 | <monochrom> | And it has to be LLVM, using the LLVM API. |
| 03:43:46 | <Axman6> | hoq doesa the pattern matching stuff in LLVM feel, coming from Haskell? |
| 03:43:54 | <Axman6> | w* |
| 03:44:08 | <monochrom> | What pattern matching? :) |
| 03:44:26 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 03:44:56 | <Axman6> | I thought a lot of IR transfermations and optimisations were written by describing patterns to find in the IR and some funky, possibly template driven, pattern matching thing |
| 03:45:36 | <monochrom> | It's just "isa<Instruction>(my_Value_pointer)" or "if ((x = dyn_cast<Instruction>(my_Value_pointer)) != 0)" |
| 03:45:55 | <curiousgay> | Axman6: I thought $ is the operator that separates functions, not data |
| 03:46:19 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:46:38 | <monochrom> | Perhaps gcc does use that declarative style because it can use some kind of Lisp. |
| 03:47:04 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 03:47:13 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds) |
| 03:47:37 | <Axman6> | it's a function, just like any other. (+ 3) is a function which adds three to whatever it is applied to, it is equivalent to (\n -> n + 3). in the same way, ($ x) is a function which, when given a function, applies it to x, so is the same as (\f -> f $ x), a.k.a, (\f -> f x) |
| 03:47:43 | <monochrom> | LLVM in C++? You feel like you are a Haskell compiler compiling pattern matching to if-then-else and isa and dyn_cast and "x.opcode == Add". |
| 03:49:13 | <Axman6> | it's a function, just like any other. (+ 3) is a function which adds three to whatever it is applied to, it is equivalent to (\n -> n + 3). in the same way, ($ x) is a function which, when given a function, applies it to x, so is the same as (\f -> f $ x), a.k.a, (\f -> f x) |
| 03:49:16 | <Axman6> | uh |
| 03:49:22 | <Axman6> | haven't they even heard of catamorphisms? D: |
| 03:49:41 | <curiousgay> | Axman6: but what's said there is about specific "my_element", that's confusing, I though that'll help to avoid if else pairs in map's argument |
| 03:49:43 | <Axman6> | whoever build the keyboard (me) did a really dumb thing putting ' and up arrow near enter |
| 03:49:48 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:49:52 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 03:49:57 | → | guest39` joins (~user@49.5.6.87) |
| 03:50:01 | <Axman6> | curiousgay: I don't understand the question |
| 03:50:02 | → | muzimuzhi joins (17ef15ef@23.239.21.239) |
| 03:50:17 | → | poljar1 joins (~poljar@93-139-44-107.adsl.net.t-com.hr) |
| 03:50:21 | × | muzimuzhi quits (17ef15ef@23.239.21.239) (Client Quit) |
| 03:50:24 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 03:50:31 | → | travisb_ joins (~travisb@2600:1700:7990:24e0:1282:ff43:20c2:7b5f) |
| 03:50:33 | <monochrom> | $ does not separate function. or data, for that matter. |
| 03:50:34 | <curiousgay> | Axman6: search in that link "Apply a list of functions to a single element to get a list of results." |
| 03:50:36 | → | Tesseraction_y joins (~Tesseract@unaffiliated/tesseraction) |
| 03:50:42 | → | david__ joins (~david@234.109.45.217.dyn.plus.net) |
| 03:50:45 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Disconnected by services) |
| 03:50:50 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:50:51 | → | gawen_ joins (~gawen@movzbl.root.sx) |
| 03:50:51 | travisb_ | is now known as tabemann |
| 03:50:53 | → | jonathanx__ joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 03:50:56 | → | gothos_ joins (~gothos@antsy.jhz.name) |
| 03:50:57 | → | bollu7 joins (~bollu@139.59.46.74) |
| 03:51:01 | <Axman6> | curiousgay: are you happy with the fact that in that partticular example, xx :: [a -> b], a.k.a, a list of function all of the same type, a -> b? and that my_element :: a? |
| 03:51:06 | → | nshepperd27 joins (~nshepperd@li364-218.members.linode.com) |
| 03:51:08 | → | polux20015 joins (~polux@51.15.169.172) |
| 03:51:08 | <Axman6> | uh, xx = xs |
| 03:51:10 | → | DataComp_ joins (~lumeng@50.43.26.251) |
| 03:51:23 | → | Katarushisu5 joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 03:51:25 | <monochrom> | What I recommend is sleep on $'s type: (a->b) -> a -> b |
| 03:51:27 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:5551:513a:128c:3291) |
| 03:51:28 | → | [1]MrMobius joins (~MrMobius@208.58.206.154) |
| 03:51:35 | → | caubert_ joins (~caubert@136.244.111.235) |
| 03:51:37 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 03:51:47 | → | drewolson3 joins (~drewolson@64.227.24.16) |
| 03:51:54 | → | lep_ joins (~lep@94.31.86.183) |
| 03:52:02 | → | dave_uy33 joins (~david@108.61.193.26) |
| 03:52:28 | <Axman6> | > map ($ True) [show, const "Hello", \b -> if b then "Ok!" else "Nope!] |
| 03:52:29 | <lambdabot> | <hint>:1:70: error: |
| 03:52:30 | <lambdabot> | <hint>:1:70: error: |
| 03:52:30 | <lambdabot> | lexical error in string/character literal at end of input |
| 03:52:36 | <Axman6> | > map ($ True) [show, const "Hello", \b -> if b then "Ok!" else "Nope!"] |
| 03:52:36 | <monochrom> | Alternatively, ignore $, don't use it. For the exercise, use the "map" function and write your own lambda to give to map. |
| 03:52:38 | <lambdabot> | ["True","Hello","Ok!"] |
| 03:52:47 | <Axman6> | > map ($ False) [show, const "Hello", \b -> if b then "Ok!" else "Nope!"] |
| 03:52:49 | <lambdabot> | ["False","Hello","Nope!"] |
| 03:52:51 | → | Arch-TK joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 03:52:54 | → | MTwister joins (~Twister@2a01:4f8:171:4de::40:2) |
| 03:52:54 | → | zopsi_ joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 03:53:10 | → | haasn` joins (~nand@mpv/developer/haasn) |
| 03:53:18 | → | ralu4 joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 03:53:23 | → | madnight_ joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 03:53:35 | → | styledash9 joins (~styledash@157.230.173.136) |
| 03:53:37 | → | jol joins (jol@jol.dev) |
| 03:53:39 | <curiousgay> | wow |
| 03:53:42 | → | ekleog_ joins (~ii@prologin/ekleog) |
| 03:53:55 | → | Xnuk- joins (~xnuk@vultr.xnu.kr) |
| 03:53:59 | → | Majoo joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 03:54:05 | → | forell_ joins (~forell@unaffiliated/forell) |
| 03:54:09 | → | LittleFox94 joins (~littlefox@rondra.lf-net.org) |
| 03:54:10 | → | Techcable_ joins (~Techcable@168.235.93.147) |
| 03:54:11 | <Axman6> | > map (\functionFromList -> functionFromList $ False) [show, const "Hello", \b -> if b then "Ok!" else "Nope!"] |
| 03:54:12 | <lambdabot> | ["False","Hello","Nope!"] |
| 03:54:14 | → | mawk` joins (mawk@serveur.io) |
| 03:54:18 | → | jlamothe_ joins (~jlamothe@198.251.55.207) |
| 03:54:18 | → | oleks_ joins (~oleks@188.166.34.97) |
| 03:54:19 | → | ptrcmd_ joins (~ptrcmd@unaffiliated/petercommand) |
| 03:54:20 | → | int-e_ joins (~noone@int-e.eu) |
| 03:54:22 | → | haveo_ joins (~haveo@sl35.iuwt.fr) |
| 03:54:24 | → | Tene_ joins (~tene@mail.digitalkingdom.org) |
| 03:54:28 | → | tasuki_ joins (~tasuki@198.211.120.27) |
| 03:54:29 | → | dminuoso_ joins (~dminuoso@static.88-198-218-68.clients.your-server.de) |
| 03:54:30 | → | Philonous_ joins (~Philonous@unaffiliated/philonous) |
| 03:54:30 | → | sablib1 joins (~sablib@59.173.154.11) |
| 03:54:30 | → | micro_ joins (~micro@a9.lence.net) |
| 03:54:33 | → | neobit_ joins (~neobit@159.65.243.9) |
| 03:54:34 | → | Uma_ joins (~uma@umazalakain.info) |
| 03:54:39 | → | tomku|two joins (~tomku@unaffiliated/tomku) |
| 03:54:39 | → | cafce25_ joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 03:54:41 | → | dequbed_ joins (~dequbed@2001:bc8:3f24:100::1) |
| 03:54:42 | → | fr33domlover1 joins (~fr33domlo@fsf/member/fr33domlover) |
| 03:54:45 | → | sdressel_ joins (~sdressel@pwning.de) |
| 03:54:52 | → | gargawel joins (~gael@212.83.144.58) |
| 03:54:53 | → | kosmikus_ joins (~kosmikus@nullzig.kosmikus.org) |
| 03:54:54 | micro_ | is now known as Guest47409 |
| 03:55:00 | → | seveg_ joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 03:55:02 | × | ps-auxw quits (~arneb@p548d56ce.dip0.t-ipconnect.de) (Disconnected by services) |
| 03:55:04 | → | hexo| joins (~hexo@2a01:430:17:1::ffff:328) |
| 03:55:05 | → | sujeet` joins (sujeet@unaffiliated/freeboson) |
| 03:55:10 | → | ps-auxw joins (~arneb@p548d56ce.dip0.t-ipconnect.de) |
| 03:55:13 | → | fryguybo1 joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 03:55:13 | → | cods_ joins (~fred@82-65-232-44.subs.proxad.net) |
| 03:55:15 | → | noctux` joins (Bk2iLb2JsC@unaffiliated/noctux) |
| 03:55:23 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 03:55:31 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 03:55:35 | → | bind1 joins (~bind@unaffiliated/bind) |
| 03:55:42 | → | tjbp_ joins (~tom@2001:19f0:7400:8d4c:5400:2ff:fe2c:5662) |
| 03:55:46 | → | Geekingfrog_ joins (~geekingfr@li2156-64.members.linode.com) |
| 03:55:47 | → | nitrix_ joins (~nitrix@haskell/developer/nitrix) |
| 03:55:57 | <Axman6> | that page looks like a really poor resource to learn from IMO - useful if you have known how to do these things in the past as a reminder, but not useful for learning from |
| 03:56:01 | → | afx237 joins (~afx237@107.170.10.178) |
| 03:56:26 | → | datajerk_ joins (~datajerk@sense.net) |
| 03:56:26 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 03:56:30 | → | Vq_ joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 03:56:40 | → | rkv joins (~user@138.197.72.132) |
| 03:56:42 | → | elliott_1 joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 03:56:45 | → | chindy_ joins (~quassel@51.15.63.78) |
| 03:56:52 | <monochrom> | True of most of wiki.haskell.org really. |
| 03:57:36 | → | kaletaa_ joins (~kaletaa@188.34.177.83) |
| 03:57:42 | → | vodkaInferno joins (~wormphleg@104.131.156.184) |
| 03:57:51 | → | quinn_ joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 03:57:55 | → | sh91 joins (~sh9@softbank060116136158.bbtec.net) |
| 03:58:10 | → | omnitrogen_ joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 03:58:46 | × | Ekho quits (~Ekho@unaffiliated/ekho) (Disconnected by services) |
| 03:58:47 | <monochrom> | Most authors there are driven by enthusiasm in Haskell. Not to be confused with enthusiasm in teaching and explaining Haskell with clarity and focus. |
| 03:59:03 | → | Cthalupa- joins (~cthulhu@47.186.47.75) |
| 03:59:13 | → | drakonis- joins (~drakonis@unaffiliated/drakonis) |
| 03:59:24 | × | ukari quits (~ukari@unaffiliated/ukari) (*.net *.split) |
| 03:59:24 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (*.net *.split) |
| 03:59:25 | × | DataComputist quits (~lumeng@50.43.26.251) (*.net *.split) |
| 03:59:25 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (*.net *.split) |
| 03:59:25 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (*.net *.split) |
| 03:59:25 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (*.net *.split) |
| 03:59:25 | × | drakonis quits (~drakonis@unaffiliated/drakonis) (*.net *.split) |
| 03:59:25 | × | Nikotiini quits (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) (*.net *.split) |
| 03:59:25 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (*.net *.split) |
| 03:59:25 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (*.net *.split) |
| 03:59:25 | × | sablib quits (~sablib@171.113.165.91) (*.net *.split) |
| 03:59:25 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (*.net *.split) |
| 03:59:25 | × | Techcable quits (~Techcable@168.235.93.147) (*.net *.split) |
| 03:59:25 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (*.net *.split) |
| 03:59:25 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (*.net *.split) |
| 03:59:25 | × | caubert quits (~caubert@136.244.111.235) (*.net *.split) |
| 03:59:25 | × | LittleFox quits (~littlefox@rondra.lf-net.org) (*.net *.split) |
| 03:59:25 | × | jakalx quits (~jakalx@base.jakalx.net) (*.net *.split) |
| 03:59:25 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (*.net *.split) |
| 03:59:25 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (*.net *.split) |
| 03:59:25 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (*.net *.split) |
| 03:59:25 | × | apoc quits (~apoc@49.12.13.193) (*.net *.split) |
| 03:59:25 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (*.net *.split) |
| 03:59:25 | × | oleks quits (~oleks@188.166.34.97) (*.net *.split) |
| 03:59:25 | × | mawk quits (mawk@serveur.io) (*.net *.split) |
| 03:59:25 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (*.net *.split) |
| 03:59:25 | × | int-e quits (~noone@int-e.eu) (*.net *.split) |
| 03:59:25 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (*.net *.split) |
| 03:59:25 | × | d34df00d quits (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) (*.net *.split) |
| 03:59:25 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 03:59:25 | × | noctux quits (~noctux@unaffiliated/noctux) (*.net *.split) |
| 03:59:25 | × | chirpsalot quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (*.net *.split) |
| 03:59:25 | × | alp quits (~alp@163.172.83.213) (*.net *.split) |
| 03:59:25 | × | poljar quits (~poljar@93-139-44-107.adsl.net.t-com.hr) (*.net *.split) |
| 03:59:25 | × | Philonous quits (~Philonous@unaffiliated/philonous) (*.net *.split) |
| 03:59:25 | × | ManiacTwister quits (~Twister@claudia.s7t.de) (*.net *.split) |
| 03:59:25 | × | neobit quits (~neobit@159.65.243.9) (*.net *.split) |
| 03:59:25 | × | rkvist quits (~user@138.197.72.132) (*.net *.split) |
| 03:59:25 | × | nitrix quits (~nitrix@haskell/developer/nitrix) (*.net *.split) |
| 03:59:25 | × | noctuks quits (rAUWWueNl5@unaffiliated/noctux) (*.net *.split) |
| 03:59:25 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split) |
| 03:59:25 | × | MrMobius quits (~MrMobius@208.58.206.154) (*.net *.split) |
| 03:59:25 | × | seveg quits (~gabriel@188-167-252-202.dynamic.chello.sk) (*.net *.split) |
| 03:59:25 | × | WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
| 03:59:25 | × | xlei quits (znc@unaffiliated/xlei) (*.net *.split) |
| 03:59:25 | × | tv quits (~tv@unaffiliated/tv) (*.net *.split) |
| 03:59:25 | × | kosmikus quits (~kosmikus@haskell/developer/kosmikus) (*.net *.split) |
| 03:59:25 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (*.net *.split) |
| 03:59:25 | × | gawen quits (~gawen@movzbl.root.sx) (*.net *.split) |
| 03:59:25 | × | fr33domlover quits (~fr33domlo@fsf/member/fr33domlover) (*.net *.split) |
| 03:59:25 | × | datajerk quits (~datajerk@sense.net) (*.net *.split) |
| 03:59:25 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (*.net *.split) |
| 03:59:25 | × | Cthalupa quits (~cthulhu@47.186.47.75) (*.net *.split) |
| 03:59:25 | × | tomku quits (~tomku@unaffiliated/tomku) (*.net *.split) |
| 03:59:25 | × | haasn quits (~nand@mpv/developer/haasn) (*.net *.split) |
| 03:59:25 | × | micro quits (~micro@unaffiliated/micro) (*.net *.split) |
| 03:59:25 | × | hexo- quits (~hexo@83.167.228.130) (*.net *.split) |
| 03:59:25 | × | drewolson quits (~drewolson@64.227.24.16) (*.net *.split) |
| 03:59:25 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (*.net *.split) |
| 03:59:25 | × | lep-delete quits (~lep@94.31.86.183) (*.net *.split) |
| 03:59:25 | × | andjjj23 quits (~irc@107.170.228.47) (*.net *.split) |
| 03:59:25 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (*.net *.split) |
| 03:59:25 | × | arahael quits (~arahael@121-44-10-207.tpgi.com.au) (*.net *.split) |
| 03:59:25 | × | amx quits (amx@percival.namespace.at) (*.net *.split) |
| 03:59:25 | × | hrnz quits (~hrnz@unaffiliated/hrnz) (*.net *.split) |
| 03:59:25 | × | so quits (~so@unaffiliated/so) (*.net *.split) |
| 03:59:25 | × | guest39 quits (~user@49.5.6.87) (*.net *.split) |
| 03:59:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split) |
| 03:59:25 | × | Chefe quits (~Chefe@178.239.168.171) (*.net *.split) |
| 03:59:25 | × | kam1 quits (~kam1@113.203.63.161) (*.net *.split) |
| 03:59:25 | × | supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (*.net *.split) |
| 03:59:25 | × | cafce25 quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (*.net *.split) |
| 03:59:25 | × | jess quits (jess@freenode/staff/jess) (*.net *.split) |
| 03:59:25 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (*.net *.split) |
| 03:59:25 | × | mniip quits (~mniip@freenode/staff/mniip) (*.net *.split) |
| 03:59:25 | × | jlamothe quits (~jlamothe@198.251.55.207) (*.net *.split) |
| 03:59:25 | × | meck quits (~meck@li1809-18.members.linode.com) (*.net *.split) |
| 03:59:25 | × | sim642 quits (~simmo@unaffiliated/sim642) (*.net *.split) |
| 03:59:25 | × | dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split) |
| 03:59:25 | × | sujeet quits (sujeet@unaffiliated/freeboson) (*.net *.split) |
| 03:59:25 | × | zopsi quits (~zopsi@irc.dir.ac) (*.net *.split) |
| 03:59:25 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (*.net *.split) |
| 03:59:25 | × | abrar_ quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (*.net *.split) |
| 03:59:25 | × | sdressel quits (~sdressel@pwning.de) (*.net *.split) |
| 03:59:25 | × | lnx quits (~irssi@167.71.7.27) (*.net *.split) |
| 03:59:25 | × | ekleog quits (~ii@prologin/ekleog) (*.net *.split) |
| 03:59:25 | × | styledash quits (~styledash@157.230.173.136) (*.net *.split) |
| 03:59:25 | × | dave_uy3 quits (~david@108.61.193.26) (*.net *.split) |
| 03:59:25 | × | marble_visions quits (~user@68.183.79.8) (*.net *.split) |
| 03:59:25 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split) |
| 03:59:25 | × | tjbp quits (~tom@78.141.197.43) (*.net *.split) |
| 03:59:25 | × | bollu quits (~bollu@139.59.46.74) (*.net *.split) |
| 03:59:25 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (*.net *.split) |
| 03:59:25 | × | forell quits (~forell@unaffiliated/forell) (*.net *.split) |
| 03:59:25 | × | Geekingfrog quits (~geekingfr@li2156-64.members.linode.com) (*.net *.split) |
| 03:59:25 | × | Uma quits (~uma@umazalakain.info) (*.net *.split) |
| 03:59:25 | × | stefan-_ quits (~cri@42dots.de) (*.net *.split) |
| 03:59:25 | × | jol_ quits (~jol@jol.dev) (*.net *.split) |
| 03:59:25 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 03:59:25 | × | kaletaa quits (~kaletaa@188.34.177.83) (*.net *.split) |
| 03:59:25 | × | dminuoso quits (~dminuoso@unaffiliated/dminuoso) (*.net *.split) |
| 03:59:25 | × | ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (*.net *.split) |
| 03:59:25 | × | [df] quits (~ben@51.15.198.140) (*.net *.split) |
| 03:59:25 | × | janne quits (~janne@punainen.org) (*.net *.split) |
| 03:59:25 | × | polux2001 quits (~polux@51.15.169.172) (*.net *.split) |
| 03:59:25 | × | e2 quits (e2@sponsored.by.bnc4you.xyz) (*.net *.split) |
| 03:59:25 | × | tdammers quits (~tdammers@unaffiliated/tdammers) (*.net *.split) |
| 03:59:25 | × | heyj quits (sid171370@gateway/web/irccloud.com/x-yqxyyzcpfebmhzqe) (*.net *.split) |
| 03:59:25 | × | Athas quits (athas@sigkill.dk) (*.net *.split) |
| 03:59:25 | × | falsifian quits (~falsifian@exoco.falsifian.org) (*.net *.split) |
| 03:59:25 | × | Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 03:59:25 | × | Xnuk quits (~xnuk@45.76.202.58) (*.net *.split) |
| 03:59:25 | × | haveo quits (~haveo@sl35.iuwt.fr) (*.net *.split) |
| 03:59:25 | × | divVerent quits (~divVerent@xonotic/core-team/divVerent) (*.net *.split) |
| 03:59:25 | × | gargawel_ quits (~gael@212.83.144.58) (*.net *.split) |
| 03:59:25 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 03:59:25 | × | chindy quits (~quassel@51.15.63.78) (*.net *.split) |
| 03:59:25 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 03:59:25 | × | ahf quits (ahf@irssi/staff/ahf) (*.net *.split) |
| 03:59:25 | × | bind quits (~bind@unaffiliated/bind) (*.net *.split) |
| 03:59:25 | × | vodkaInf1rno quits (~wormphleg@104.131.156.184) (*.net *.split) |
| 03:59:25 | × | gothos quits (~gothos@antsy.jhz.name) (*.net *.split) |
| 03:59:25 | × | koluacik quits (~koluacik@134.122.28.77) (*.net *.split) |
| 03:59:25 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (*.net *.split) |
| 03:59:25 | × | tasuki quits (~tasuki@198.211.120.27) (*.net *.split) |
| 03:59:25 | × | afx237_ quits (~afx237@107.170.10.178) (*.net *.split) |
| 03:59:26 | rkv | is now known as rkvist |
| 03:59:26 | forell_ | is now known as forell |
| 03:59:26 | sujeet` | is now known as sujeet |
| 03:59:26 | omnitrogen_ | is now known as omnitrogen |
| 03:59:27 | nshepperd27 | is now known as nshepperd2 |
| 03:59:27 | bollu7 | is now known as bollu |
| 03:59:27 | haasn` | is now known as haasn |
| 03:59:28 | → | [df]_ joins (~ben@51.15.198.140) |
| 03:59:28 | ralu4 | is now known as ralu |
| 03:59:28 | polux20015 | is now known as polux2001 |
| 03:59:29 | Katarushisu5 | is now known as Katarushisu |
| 03:59:30 | styledash9 | is now known as styledash |
| 03:59:31 | drewolson3 | is now known as drewolson |
| 03:59:31 | gothos_ | is now known as gothos |
| 03:59:33 | → | sim642_ joins (~simmo@unaffiliated/sim642) |
| 03:59:36 | [1]MrMobius | is now known as MrMobius |
| 03:59:41 | → | noctux joins (~noctux@unaffiliated/noctux) |
| 03:59:45 | → | falsifian joins (~falsifian@exoco.falsifian.org) |
| 03:59:54 | → | stree joins (~stree@68.36.8.116) |
| 04:00:02 | → | stefan-_ joins (~cri@42dots.de) |
| 04:00:04 | drakonis- | is now known as drakonis |
| 04:00:08 | sim642_ | is now known as sim642 |
| 04:00:08 | → | e2 joins (e2@sponsored.by.bnc4you.xyz) |
| 04:00:17 | → | janne joins (~janne@punainen.org) |
| 04:00:25 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 04:00:36 | → | koluacik joins (~koluacik@134.122.28.77) |
| 04:00:49 | → | heyj joins (sid171370@gateway/web/irccloud.com/x-magrapjkmhanqhpk) |
| 04:01:08 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 04:01:11 | → | chirpsalot joins (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 04:01:13 | → | jess joins (jess@freenode/staff/jess) |
| 04:01:22 | → | andjjj23 joins (~irc@107.170.228.47) |
| 04:01:23 | <curiousgay> | monochrom: well, I hope even with that I'll learn Haskell quickly, I'm interested in learning something new and unusual, i.e. declarative programming |
| 04:01:27 | → | mniip joins (mniip@freenode/staff/mniip) |
| 04:01:40 | → | amx joins (amx@percival.namespace.at) |
| 04:01:43 | → | Nikotiini joins (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) |
| 04:01:44 | → | divVerent joins (~divVerent@xonotic/core-team/divVerent) |
| 04:01:54 | × | gitgoood quits (~gitgood@82-132-219-224.dab.02.net) (Read error: Connection reset by peer) |
| 04:01:55 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 04:01:57 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 04:02:03 | → | hrnz joins (~hrnz@unaffiliated/hrnz) |
| 04:02:05 | → | tdammers joins (~tdammers@77.109.72.101.res.static.edpnet.net) |
| 04:02:05 | × | tdammers quits (~tdammers@77.109.72.101.res.static.edpnet.net) (Changing host) |
| 04:02:05 | → | tdammers joins (~tdammers@unaffiliated/tdammers) |
| 04:02:08 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 04:02:08 | → | marble_visions joins (~user@68.183.79.8) |
| 04:02:08 | <monochrom> | The Gentle Introduction to Haskell was how I learned quickly. |
| 04:02:13 | → | tv joins (~tv@unaffiliated/tv) |
| 04:02:17 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 04:02:21 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 04:02:24 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 04:02:28 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 04:02:34 | → | apoc joins (~apoc@49.12.13.193) |
| 04:02:35 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 04:02:49 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 04:02:56 | <monochrom> | My http://www.vex.net/~trebla/haskell/learn-sources.html has more of my recommendations or comments. |
| 04:03:03 | → | arahael joins (~arahael@121-44-10-207.tpgi.com.au) |
| 04:03:09 | → | xlei joins (znc@unaffiliated/xlei) |
| 04:03:14 | → | cgfbee joins (~bot@oc1.itim-cj.ro) |
| 04:03:32 | → | ahf joins (ahf@irssi/staff/ahf) |
| 04:03:53 | <monochrom> | https://soupi.github.io/rfc/reading_simple_haskell/ could help if you just need a crash course for read-only. |
| 04:03:57 | <curiousgay> | Axman6: btw, there is "(if ... then ... else ...)-syntax in pattern" error in your example |
| 04:04:02 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 04:04:07 | → | kam1 joins (~kam1@113.203.63.161) |
| 04:04:18 | <curiousgay> | I've downloaded the gentle introduction book |
| 04:05:12 | <curiousgay> | ah, never mind, it's just me ommiting "->" |
| 04:05:51 | → | mceier joins (~mceier@89-68-132-187.dynamic.chello.pl) |
| 04:08:02 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 04:09:11 | × | drbean quits (~drbean@TC210-63-209-145.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 04:10:11 | <Axman6> | yeah lambdabot seems to disagree with that :P |
| 04:10:30 | → | lnx joins (~irssi@167.71.7.27) |
| 04:10:31 | → | Ekho joins (~Ekho@unaffiliated/ekho) |
| 04:10:32 | nitrix_ | is now known as nitrix |
| 04:10:39 | → | so joins (~so@unaffiliated/so) |
| 04:10:50 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 264 seconds) |
| 04:11:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:11:50 | <curiousgay> | monochrom: thanks, and I guess you mean the second link is about reading someone's code? well, I'm interested in writing own programs like servers, GUI apps, interactive command-line tools (communication with other programs included) |
| 04:12:21 | <monochrom> | Yes, reading Haskell syntax. |
| 04:16:16 | <heck-to-the-gnom> | I find haskell quite easy to read, most of the time |
| 04:16:21 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 04:16:55 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 04:17:10 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:a1fb:7cd0:d883:e836) () |
| 04:17:18 | → | nineonine joins (~nineonine@50.216.62.2) |
| 04:18:04 | → | alp joins (~alp@163.172.83.213) |
| 04:18:24 | <curiousgay> | heck-to-the-gnom: well, it depends on style someone else uses, I've seen terrible code in different languages where authors really didn't know what they were doing |
| 04:19:04 | <redmp> | haskell is easy to read if 1) the author used qualified imports 2) the author used explicit import lists 3) i have already memorized the modules the author imports |
| 04:19:35 | → | drbean joins (~drbean@TC210-63-209-26.static.apol.com.tw) |
| 04:19:40 | <redmp> | if none of those are true, it's a pain becasue you need to figure out the types of all the bindings |
| 04:22:26 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 04:24:14 | × | jdt quits (~jdt@208.85.233.130) (Ping timeout: 245 seconds) |
| 04:25:18 | → | Fuchs1 joins (~Fuchs@217.146.82.202) |
| 04:25:26 | <curiousgay> | hm, I see binaries built by GHC use C runtime |
| 04:26:11 | <curiousgay> | in Go binding to C breaks performance, stability, correctness, garbage collection, concurrency and cross-compilation |
| 04:27:28 | <redmp> | curiousgay: you're referring to the use of the foreign-function interface in go |
| 04:27:43 | <redmp> | curiousgay: there are similar problems when using the foreign-function interface to C in haskell |
| 04:28:15 | <redmp> | curiousgay: the runtime system (RTS) used by GHC binaries doesn't have these problems; it's built into the language and enables all of the high level features of haskell |
| 04:28:30 | <redmp> | curiousgay: including software transactional memory and green threads |
| 04:28:51 | <monochrom> | Sounds like Go is a jealous god. |
| 04:29:17 | → | jdt joins (~jdt@208.85.233.130) |
| 04:29:38 | × | redmp quits (~redmp@172.58.35.53) (Quit: Lost terminal) |
| 04:30:01 | → | redmp joins (~redmp@172.58.35.53) |
| 04:31:17 | <curiousgay> | redmp: that's unusual, because pure Go binaries don't link to any C library, while pure GHC binaries link to libc, libm, libgmp, librt, libdl, libffi, libnuma and libpthead |
| 04:31:56 | <monochrom> | What is unusual about that? |
| 04:31:58 | <curiousgay> | Go is completely self-contained unless some exotic operating systems force it to use C ABIs |
| 04:32:33 | <redmp> | curiousgay: yes, go is completely self-contained. haskell's RTS is written in C. there's nothing unusual here.. just different design choices |
| 04:32:46 | <curiousgay> | ok |
| 04:33:06 | <redmp> | curiousgay: there are variations on the way to compile haskell; i think you can get 100% static musl based binaries, but i haven't looked into that |
| 04:33:33 | curiousgay | runs void linux with glibc |
| 04:34:22 | <redmp> | curiousgay: you can always use `runhaskell` ;) |
| 04:34:49 | <spidr> | oh what |
| 04:35:01 | <monochrom> | runhaskell is just runghc |
| 04:35:10 | <spidr> | could I use runhaskell with fastcgiwrapper |
| 04:35:23 | <spidr> | to run myfile.hs in /cgi-bin/ |
| 04:35:47 | <monochrom> | Yes. |
| 04:36:14 | <curiousgay> | I'm surprised that the only binary stack doesn't install in PATH is GHC itself |
| 04:37:54 | <curiousgay> | so I'm just thinking of "stack ghc" as "go build" :D |
| 04:38:27 | <monochrom> | Isn't "stack build" even closer? better? |
| 04:39:42 | <curiousgay> | I didn't read documentation on "stack build" command because it was mentioned in creating packages |
| 04:39:49 | <redmp> | spidr: runhaskell/runghc might need help finding your dependencies if they're outside of `ghc-pkg list` which is usually only the stdlib packages |
| 04:40:07 | <curiousgay> | so I decided to skip that part until I'm ready to create packages |
| 04:40:11 | <redmp> | spidr: also runhaskell/runghc will be slower than compiling things, but that might be ok depending on what you're doing |
| 04:40:20 | <redmp> | *slower than binaries |
| 04:40:47 | <curiousgay> | you mean they run ghci? |
| 04:41:32 | <monochrom> | basically yes, if you understand it to be "runghc = ghci - the interactive prompt" |
| 04:41:37 | <redmp> | curiousgay: stack build and cabal build are like go build .. they make your libs into shared libs or your executables into a binary |
| 04:42:23 | <monochrom> | The speed of interpretation without the hinderance of UI. |
| 04:42:39 | → | plutoniix joins (~q@184.82.204.248) |
| 04:43:13 | <curiousgay> | redmp: you mean they don't require setting up yaml file and simply accept single .hs file as an argument? |
| 04:44:36 | × | augnun quits (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) (Quit: WeeChat 3.1) |
| 04:45:20 | <spidr> | redmp: im only learning, it would likely playing with base |
| 04:46:12 | <redmp> | spidr: then you should be good! runhaskell is great for learning and for not worrying about package formats |
| 04:46:38 | <spidr> | I need a project or something to actually write for practice |
| 04:46:48 | <spidr> | maybe I'll look at project euler |
| 04:46:58 | <redmp> | curiousgay: yes |
| 04:47:31 | <curiousgay> | thanks |
| 04:50:02 | <redmp> | spidr: the recent advent of code was also fun, i hear |
| 04:50:18 | → | bartemius joins (~bartemius@109-252-32-214.nat.spd-mgts.ru) |
| 04:50:27 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds) |
| 04:56:41 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 04:59:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:01:01 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 05:02:26 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 05:04:48 | <Axman6> | curiousgay: I think the fact that go doesn't link to anything is more a reflection on Go's deep NIH syndrome than Haskell's strangeness |
| 05:05:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:06:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 05:06:37 | × | drbean quits (~drbean@TC210-63-209-26.static.apol.com.tw) (Read error: Connection reset by peer) |
| 05:06:53 | → | drbean joins (~drbean@TC210-63-209-84.static.apol.com.tw) |
| 05:07:02 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 05:09:16 | × | Guest47409 quits (~micro@a9.lence.net) (Quit: leaving) |
| 05:09:30 | → | micro joins (~micro@unaffiliated/micro) |
| 05:11:13 | <spidr> | thanks |
| 05:11:30 | <curiousgay> | Axman6: I think Go not linking to anything allows easy cross-compilation, if you write Go program on linux you can cross-compile it to windows, macos, freebsd, plan 9, wasm and others by just setting GOOS and GOARCH environment variables |
| 05:12:06 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 05:12:08 | <Axman6> | sure, it also means needing a team of people who can maintain that, and we don't have that luxury |
| 05:12:09 | × | drbean quits (~drbean@TC210-63-209-84.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 05:12:14 | <curiousgay> | Go compiler is written in Go, Go runtime is written in Go, Go standard library is written in Go (with few exceptions like DNS resolver in net package) |
| 05:12:53 | <curiousgay> | and Go has its own assembler |
| 05:14:09 | <curiousgay> | Axman6: I think the not fair part about Go to Haskell is Ken Thompson :) |
| 05:14:17 | <Axman6> | the GHC RTS is quite a small amount of C, mostly responsible for allocations/GC, resource management through threads/sparks and interraction with the OS. We don';t want our GHC devs wasting their time maintaining essentially their own libc for each OS they target if we can have them doing useful work |
| 05:15:16 | → | supercoven_ joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 05:15:50 | <Axman6> | there's no particularly good reason why we couldn't get rid of C from the OS, but it's not worth the effort |
| 05:15:56 | <curiousgay> | that's fine, languages and their ecosystems are different, that's why they both are fun to learn |
| 05:16:10 | × | elliott_1 quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 05:16:57 | <curiousgay> | it's not even possible to get rid of C on windows, macos, solaris, openbsd and ios (and maybe android?) |
| 05:17:19 | <Axman6> | sure it is, if you're happy to write assembly |
| 05:17:30 | <curiousgay> | so Go bends to their rules while staying uncompromised on other OSes |
| 05:18:10 | <curiousgay> | Axman6: writing assembly won't help because syscalls are forced through C library by operating system kernel, that means even assembly code must link to libc to do syscalls |
| 05:18:24 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 05:18:44 | <Axman6> | really? you can't just use an int instruction? |
| 05:18:50 | <curiousgay> | no |
| 05:19:12 | <curiousgay> | err, wait, you can |
| 05:19:30 | <curiousgay> | but you can make syscalls only through libc on exotic operating systems |
| 05:20:23 | <curiousgay> | Axman6: https://github.com/golang/go/issues/36435 |
| 05:21:40 | <curiousgay> | but at least openbsd allows them from static binaries |
| 05:21:45 | <Axman6> | If I had to choose between the two, I'd choose to continue using OpenBSD and not Go :) |
| 05:22:28 | <curiousgay> | you use openbsd??? |
| 05:22:56 | <Axman6> | yes, for my router. FreeBSD for the server this IRC client is running on, and macOS for for getting work done |
| 05:23:08 | <curiousgay> | you don't want to know who I am :) |
| 05:23:10 | <jacks2> | what libraries are recommended these days for writing a webserver in haskell? |
| 05:23:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) |
| 05:23:39 | <spidr> | I am also interested, want to try writing an api in haskell |
| 05:23:40 | <redmp> | jacks2: servant, servant-server |
| 05:23:46 | <redmp> | jacks2: warp |
| 05:23:50 | <Axman6> | jacks2: I'm a huge fan of Servant (enough so that the main author said It was their best advertising at somepoint) |
| 05:24:19 | <monochrom> | Classic Mac used Pascal. |
| 05:25:00 | <jacks2> | thanks. I used scotty in the past. are these better? |
| 05:25:04 | <redmp> | spidr: jacks2: https://docs.servant.dev/en/stable/tutorial/index.html |
| 05:25:06 | <curiousgay> | Axman6: anyway, as a former desktop user of openbsd I think it's reasonable to use it for router (because I don't understand any firewall besides pf), but I won't use it for any other stuff anymore |
| 05:25:07 | <Axman6> | Servant isn't exactly the most beginniner friendly, as it uses a lot of advanced type system features that can be hard to deciphjer the compile errors of if you aren't familliar with it. but if you are happy with those features it's fantastically descriptive and builds a lot for you straight from the types |
| 05:25:15 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 05:25:21 | <redmp> | jacks2: servant lets you write a type to define your endpoints |
| 05:25:41 | <curiousgay> | and it's not only about Go, it's about many other decisions openbsd makes |
| 05:25:50 | <Axman6> | monochrom: back in the cooperative multitasking days - MacOS was so much fun back then. OS 9 was such a nice change |
| 05:26:10 | <redmp> | jacks2: and after writing your API type you can extract a server (a wai application to use with warp server) or a client (provided by servant-client |
| 05:27:31 | <monochrom> | Coincidence or plagiarism? 1. Classic MacOS used Pascal, Windows used and still uses the Pascal calling convention. 2. Classic MacOS used cooperative multitasking, so did Win16. |
| 05:29:39 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 05:30:31 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:32:32 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) |
| 05:32:39 | <Axman6> | curiousgay: pf is the main reason for me to use it, but I also like how east it is to administer, and it's getting eacier with each release. one of the places where NIH is done well =) |
| 05:32:48 | → | vonfry joins (~user@116.236.75.207) |
| 05:33:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) (Client Quit) |
| 05:34:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 05:37:07 | <Axman6> | one day, I swear, I will learn to type |
| 05:37:14 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Ping timeout: 264 seconds) |
| 05:37:33 | → | raym joins (~ray@45.64.220.113) |
| 05:37:36 | <Axman6> | but today is not that day. Thank the lord for GHC's help with the other typing |
| 05:41:22 | <curiousgay> | Axman6: fortunately being hard to administer is no longer my 70% of time pain point in linux, I just install void linux using basic commands and ed and get on with my life :) |
| 05:42:29 | <curiousgay> | as a former contributor to openbsd ports and ravenports, I find contributing to void packages extremely easy, that is also important for me, I'm productive and don't waste much time on writing how to package a specific program or library |
| 05:43:33 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:45:47 | <curiousgay> | honestly the only pain point about linux for me right now is that I can't get my webcam microphone working while in any bsd it just works, linux has this problem from the beginning (over 6 years passed) |
| 05:47:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 05:48:42 | <Axman6> | jacks2: IMO yes, Servamt is better, because it allows you to make the compiler check much more of your program. Scotty is much more string based, with Servant you just say that an argument to a handler comes from a capture in the URL of a certain type and you know that's the type you'll get. With Scotty you get a string and have to parse it in your code, which just feels barbaric :) |
| 05:49:50 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 05:51:08 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 05:53:23 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:55:57 | <jacks2> | Axman6, interesting! I'll give it a try |
| 05:59:39 | <Axman6> | jacks2: this looks like a decent introduction to it: https://mmhaskell.com/real-world/servant |
| 05:59:52 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) |
| 06:03:45 | → | nuh^ joins (nuh@ip98-184-89-2.mc.at.cox.net) |
| 06:05:52 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 06:08:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 06:08:42 | <jacks2> | thanks! |
| 06:09:21 | → | forgottenone joins (~forgotten@176.42.24.161) |
| 06:09:31 | × | redmp quits (~redmp@172.58.35.53) (Quit: leaving) |
| 06:10:52 | <Axman6> | jacks2: this is also relevant: https://www.reddit.com/r/haskell/comments/lqb6q2/servant_resources/ |
| 06:10:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc2c:a791:ab0d:f870) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:12:09 | → | nyaomin joins (~naomi@cpe-74-75-6-125.maine.res.rr.com) |
| 06:12:53 | × | nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 272 seconds) |
| 06:14:40 | → | aggin joins (~ecm@103.88.87.55) |
| 06:16:07 | <curiousgay> | monochrom: btw, even without previous experience with functional programming (the only declarative programming I've done before was writing makefiles), maybe it's just my flexible brain, but Haskell already feels familiar to me |
| 06:16:50 | <curiousgay> | not so familiar I could write a serious program of course, I mean it's just becomes intuitive |
| 06:18:23 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 06:19:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:20:28 | → | stree joins (~stree@68.36.8.116) |
| 06:20:34 | × | shadowdao quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer) |
| 06:20:40 | → | shadowdaemon joins (~user@unaffiliated/shadowdaemon) |
| 06:22:09 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:22:25 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 06:22:26 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 06:22:46 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 06:22:47 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 06:25:09 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 06:25:50 | × | bartemius quits (~bartemius@109-252-32-214.nat.spd-mgts.ru) (Remote host closed the connection) |
| 06:30:35 | × | shadowdaemon quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer) |
| 06:32:48 | → | bitmagie joins (~Thunderbi@200116b806fbf1006deab42a115502ff.dip.versatel-1u1.de) |
| 06:33:39 | × | bitmagie quits (~Thunderbi@200116b806fbf1006deab42a115502ff.dip.versatel-1u1.de) (Client Quit) |
| 06:33:47 | → | shadowdaemon joins (~user@unaffiliated/shadowdaemon) |
| 06:34:10 | × | aggin quits (~ecm@103.88.87.55) (Quit: WeeChat 3.0.1) |
| 06:36:41 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:36:43 | → | arrowsvc_ joins (~arr@2.93.163.35) |
| 06:37:38 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:37:46 | × | evrgreen quits (~user@47.156.152.231) (Ping timeout: 256 seconds) |
| 06:38:24 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 06:38:30 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 06:39:40 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 06:42:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 06:43:48 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 06:46:28 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 276 seconds) |
| 06:46:44 | → | michalz joins (~user@185.246.204.47) |
| 06:47:22 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 06:50:55 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 06:51:01 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 06:51:28 | × | shadowdaemon quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer) |
| 06:51:59 | lep_ | is now known as lep-delete |
| 06:56:17 | → | shadowdaemon joins (~user@unaffiliated/shadowdaemon) |
| 06:57:01 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 06:59:13 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-jygrmrkardidqebh) (Quit: Connection closed for inactivity) |
| 07:01:50 | → | fendor joins (~fendor@178.115.130.180.wireless.dyn.drei.com) |
| 07:02:28 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 07:02:45 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:03:11 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 07:04:09 | → | malumore joins (~malumore@151.62.118.68) |
| 07:04:21 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 07:04:48 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:05:09 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:81af:7dfd:a1aa:7c22) |
| 07:12:00 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:13:17 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:15:41 | × | tomku|two quits (~tomku@unaffiliated/tomku) (Ping timeout: 256 seconds) |
| 07:15:49 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 07:16:19 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 07:17:01 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 07:17:03 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 07:17:04 | × | loller_ quits (uid358106@gateway/web/irccloud.com/x-rvinuuthmqchdvfm) (Quit: Connection closed for inactivity) |
| 07:17:05 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 07:17:45 | → | toorevitimirp joins (~tooreviti@117.182.183.154) |
| 07:20:55 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 07:21:41 | <kayvan> | hello. help with servant queryParam plz? How do I make sure the right parameter is supplied? |
| 07:22:25 | → | nineonine joins (~nineonine@50.216.62.2) |
| 07:23:57 | <Lycurgus> | there's a servant channel |
| 07:24:17 | <Lycurgus> | #haskell-servant iirc |
| 07:25:17 | <Lycurgus> | also try a lil due diligence |
| 07:25:30 | → | jud joins (~jud@206.217.205.63) |
| 07:25:30 | × | jud quits (~jud@206.217.205.63) (Changing host) |
| 07:25:30 | → | jud joins (~jud@unaffiliated/jud) |
| 07:27:34 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 245 seconds) |
| 07:28:41 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 07:29:17 | Geekingfrog_ | is now known as Geekingfrog |
| 07:30:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:32:55 | → | bartemius joins (~bartemius@195.94.236.178) |
| 07:33:21 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 07:33:51 | × | proteusguy quits (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Ping timeout: 272 seconds) |
| 07:38:40 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 07:45:56 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:47:26 | → | proteusguy joins (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) |
| 07:50:20 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 07:53:00 | × | Fuchs1 quits (~Fuchs@217.146.82.202) (Remote host closed the connection) |
| 07:56:58 | <tolt> | kayvan: there's some good examples at https://docs.servant.dev/en/stable/tutorial/ApiType.html , not sure specifically what you are asking for but generally you can add `QueryParam "paramName" a` where a has an instance of https://hackage.haskell.org/package/servant-0.18.2/docs/Servant-API.html#t:ToHttpApiData |
| 07:57:30 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-zlhchyvsgfxybgra) (Quit: Connection closed for inactivity) |
| 08:00:38 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 08:01:04 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 08:03:20 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:04:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 08:07:01 | <edwardk> | what ghc release included record pattern synonyms? |
| 08:07:09 | <edwardk> | its basically ungoogleable from what i can tell |
| 08:07:23 | → | wimpunk joins (~wimpunk@195.140.213.38) |
| 08:07:44 | <opqdonut> | https://mpickering.github.io/posts/2015-12-12-pattern-synonyms-8.html |
| 08:07:54 | <opqdonut> | that's the first hit when I google "record pattern synonyms" :) |
| 08:08:06 | <edwardk> | interesting. they were there all along? |
| 08:08:08 | <edwardk> | hmm |
| 08:09:45 | <edwardk> | on 8.0.2 i enter that syntax but i get a regular pattern and no field accessors |
| 08:09:58 | Athas_ | is now known as Athas |
| 08:10:09 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 08:10:19 | <edwardk> | but in 8.10 it works |
| 08:10:24 | <edwardk> | so i guess i need to bisect |
| 08:10:57 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 08:11:33 | <edwardk> | moving Control.Monad.Representable.State into distributive for the v1 release, and want to include pattern synonyms to make it feel like regular state, but then i really want runStateT to be a field accessor in a record pattern synonym if possible |
| 08:12:31 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:13:50 | → | aggin joins (~ecm@103.88.87.55) |
| 08:15:20 | <edwardk> | ok 8.2 fixed the record thing |
| 08:15:28 | <edwardk> | so if i want to support 8.0 as well, i'll need CPP |
| 08:15:42 | → | CodeAlways joins (uid272474@gateway/web/irccloud.com/x-iwrstjeuktuytxyi) |
| 08:17:35 | mawk` | is now known as mawk |
| 08:18:19 | <charukiewicz> | Does anyone know why wai dropped support for FastCGI? Looks like there's a wai-handler-fastcgi package on Hackage but it was dropped from the yesodweb/wai monorepo. wai-extra still has support for CGI/SCGI. |
| 08:22:44 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 08:22:52 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 08:23:33 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 08:24:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:28:40 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 08:29:01 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 08:29:39 | × | aggin quits (~ecm@103.88.87.55) (Quit: WeeChat 3.0.1) |
| 08:30:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:30:20 | × | nuh^ quits (nuh@ip98-184-89-2.mc.at.cox.net) () |
| 08:31:23 | → | kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 08:32:51 | × | oleks_ quits (~oleks@188.166.34.97) (Quit: leaving) |
| 08:33:08 | → | oleks joins (~oleks@188.166.34.97) |
| 08:33:27 | × | bartemius quits (~bartemius@195.94.236.178) (Read error: Connection reset by peer) |
| 08:33:35 | → | bartemius joins (~bartemius@195.94.236.178) |
| 08:34:07 | × | oleks quits (~oleks@188.166.34.97) (Client Quit) |
| 08:34:48 | → | oleks joins (~oleks@188.166.34.97) |
| 08:38:09 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-xvhrdtbecprnyroa) |
| 08:39:48 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 08:40:52 | × | Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 08:41:38 | → | stree joins (~stree@68.36.8.116) |
| 08:43:59 | → | Moyst joins (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 08:44:30 | int-e_ | is now known as int-e |
| 08:48:36 | → | Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 08:49:23 | → | acidjnk_new joins (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) |
| 08:50:29 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 08:50:40 | × | bartemius quits (~bartemius@195.94.236.178) (Read error: Connection reset by peer) |
| 08:51:52 | → | bartemius joins (~bartemius@195.94.236.178) |
| 08:55:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 08:57:05 | × | wimpunk quits (~wimpunk@195.140.213.38) (Read error: Connection reset by peer) |
| 09:00:12 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-hahwckvaqcfkjcyn) (Quit: Idle for 30+ days) |
| 09:02:37 | × | kam1 quits (~kam1@113.203.63.161) (Ping timeout: 272 seconds) |
| 09:02:53 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Ping timeout: 258 seconds) |
| 09:03:38 | × | malumore quits (~malumore@151.62.118.68) (Ping timeout: 264 seconds) |
| 09:03:44 | → | kam1 joins (~kam1@83.123.163.222) |
| 09:05:06 | → | kritzefitz joins (~kritzefit@p548c9398.dip0.t-ipconnect.de) |
| 09:09:24 | × | kritzefitz quits (~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:09:43 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 09:11:23 | × | bartemius quits (~bartemius@195.94.236.178) () |
| 09:17:46 | → | lupulo joins (~lupulo@163.117.64.56) |
| 09:17:48 | <lupulo> | hi |
| 09:24:06 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 09:26:49 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 09:28:33 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 09:28:51 | × | xff0x quits (~xff0x@2001:1a81:535c:a00:5328:b97c:8fc5:c4d4) (Ping timeout: 246 seconds) |
| 09:29:52 | → | xff0x joins (~xff0x@port-92-195-107-1.dynamic.as20676.net) |
| 09:30:11 | → | zaquest joins (~notzaques@5.128.210.178) |
| 09:33:52 | → | Aphex joins (uid70120@gateway/web/irccloud.com/x-mpzuytfykqmswndg) |
| 09:35:50 | <teddyc> | lupulo: hi |
| 09:36:07 | → | mayleesia joins (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) |
| 09:36:11 | × | kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 1.9.1) |
| 09:36:12 | <arahael> | I've got a Value I want to get the string out of, what's the best way to do this? I'm currently doing: case v of (String v) -> v |
| 09:36:26 | <arahael> | (Value is from Aeson) |
| 09:36:44 | → | malumore joins (~malumore@151.62.118.68) |
| 09:36:49 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 265 seconds) |
| 09:37:08 | <arahael> | charukiewicz: I don'tknow, but look to see if that coincided with support for web sockets. |
| 09:39:10 | → | tms_ joins (thomaav@cassarossa.samfundet.no) |
| 09:39:19 | <maerwald> | arahael: what type does that function have |
| 09:39:38 | <arahael> | maerwald: Value -> Text, I would expect. |
| 09:40:19 | <maerwald> | what happens if it's not String? |
| 09:40:38 | <arahael> | maerwald: Then the data is invalid. |
| 09:40:46 | <maerwald> | so you crash? |
| 09:40:57 | <arahael> | Yep, that sounds about right. |
| 09:41:44 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 09:41:52 | <maerwald> | then: `(\String s -> s) <$> value` sounds about right |
| 09:42:32 | <arahael> | Oh, is that the new lambda-pattern thing? |
| 09:42:41 | <__monty__> | No. |
| 09:42:44 | <arahael> | (Oh, no, that's _regular_ patterns, Neat.) |
| 09:42:44 | <maerwald> | s/<$>/$/ |
| 09:43:17 | <arahael> | maerwald: As an extension, I'm looking for a way that doesn't fail. :) The larger context is that I'm using this within parseJSON, implementing FromJSON. |
| 09:43:54 | <__monty__> | arahael: And what do you want to do in the case where the value isn't a String? |
| 09:43:59 | <arahael> | maerwald: Which returns a `Parser a`, so I'm thinking that a more appropriate function is probably `Value -> Parser a` |
| 09:44:12 | <maerwald> | https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#v:withText |
| 09:44:21 | × | leah2 quits (~leah@vuxu.org) (Remote host closed the connection) |
| 09:44:49 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 09:45:00 | <arahael> | maerwald: That's very nicely descriptive. Thanks. |
| 09:46:32 | → | leah2 joins (~leah@vuxu.org) |
| 09:46:55 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving) |
| 09:48:13 | <arahael> | Yes, much better. withText "MyType" f (v ! "tag") where f tag = case tag of ... |
| 09:51:35 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-degqoszkevovakgs) |
| 09:53:19 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 09:53:49 | × | martin02_ quits (silas@hund.fs.lmu.de) (Ping timeout: 272 seconds) |
| 09:55:40 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:58:17 | → | ubert1 joins (~Thunderbi@p200300ecdf25d9d5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 10:00:39 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 10:01:14 | × | APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:6532:dae5:7d97:31a5) (Ping timeout: 264 seconds) |
| 10:02:18 | → | martin02_ joins (silas@hund.fs.lmu.de) |
| 10:05:16 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 10:12:16 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 10:16:07 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 10:17:04 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 10:20:10 | → | bitmagie joins (~Thunderbi@200116b806fbf1006deab42a115502ff.dip.versatel-1u1.de) |
| 10:20:19 | × | ArsenArsen quits (~Arsen@fsf/member/ArsenArsen) (Ping timeout: 265 seconds) |
| 10:20:40 | × | bitmagie quits (~Thunderbi@200116b806fbf1006deab42a115502ff.dip.versatel-1u1.de) (Client Quit) |
| 10:22:44 | → | polyrain joins (~polyrain@124.177.21.171) |
| 10:23:39 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 10:24:22 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 10:25:55 | → | poppious joins (~poppidiou@2.221.197.73) |
| 10:28:18 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 10:29:31 | → | JLP1 joins (~JLP@217.146.82.202) |
| 10:30:21 | × | poppious quits (~poppidiou@2.221.197.73) (Client Quit) |
| 10:30:23 | × | polyrain quits (~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:31:03 | → | Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 10:32:02 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 10:33:03 | cods_ | is now known as cods |
| 10:33:20 | <arahael> | Hmm. I think I want to know how to search for docs better. I'm still essentially relying on Google. :( |
| 10:33:50 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Changing host) |
| 10:33:50 | → | cods joins (~fred@unaffiliated/cods) |
| 10:33:57 | <arahael> | I basically rely on either Google, or Hoogle, depending on the nature of the search. |
| 10:36:35 | <__monty__> | If I want docs I usually just use hackage. |
| 10:38:45 | <arahael> | __monty__: Yes, that's where I usually end up. |
| 10:39:03 | <arahael> | I guess what i'm after is a _convenient_ local hackage. |
| 10:39:30 | <__monty__> | I mean I skip the search engine. Just use a keyword search bookmark for hackage. |
| 10:39:53 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 10:41:00 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 10:41:24 | → | DTZUZO joins (~DTZUZO@207.81.119.43) |
| 10:42:16 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 10:42:45 | × | DTZUZO quits (~DTZUZO@207.81.119.43) (Client Quit) |
| 10:43:04 | → | DTZUZU joins (~DTZUZO@207.81.119.43) |
| 10:43:41 | <arahael> | Fair enough. Just would be nifty to have a faster search at times. |
| 10:48:06 | <__monty__> | I do run a local hoogle instance. |
| 10:48:20 | <__monty__> | But that only covers packages I'm already using in my projects. |
| 10:49:00 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 10:49:30 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 10:50:29 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 10:50:29 | × | Guest83912 quits (~textual@2603-7000-3040-0000-b555-d7b0-b650-3d1b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:55:10 | <arahael> | I'm currently attempting to do a 'cabal haddock', but it seems it doesn't work in the nix shell, attempting to figure out how on earth to enable it. |
| 11:01:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 11:01:17 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) |
| 11:01:18 | <arahael> | It's getting late, anyway. I'll figure it out another day. I realise it's typical to provide the error messag,e but the only error message is the cryptic "TargetDisabledByUser". |
| 11:01:27 | → | DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net) |
| 11:01:56 | × | DTZUZU_ quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 11:02:34 | <__monty__> | arahael: I'm not sure that's what you want anyway. Afaik it just builds the docs for the current project. |
| 11:02:34 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 11:02:54 | → | stree joins (~stree@68.36.8.116) |
| 11:03:05 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 11:03:13 | × | DTZUZU quits (~DTZUZO@207.81.119.43) (Ping timeout: 276 seconds) |
| 11:03:19 | <arahael> | And it's dependencies, hopefully? |
| 11:03:41 | <arahael> | It's the first thing on https://github.com/ndmitchell/hoogle/blob/master/docs/Install.md |
| 11:04:30 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 11:04:54 | <__monty__> | But if you're using nix you can just use ghcWithHoogle. |
| 11:05:09 | <__monty__> | And it's similarly easy if you use haskell.nix instead. |
| 11:05:16 | × | stree quits (~stree@68.36.8.116) (Client Quit) |
| 11:05:41 | → | stree joins (~stree@68.36.8.116) |
| 11:06:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 11:06:55 | <arahael> | Hmm, let me see if I can find some docs for that. |
| 11:07:09 | × | forgottenone quits (~forgotten@176.42.24.161) (Ping timeout: 264 seconds) |
| 11:07:59 | <arahael> | This looks promising - thanks for the 'ghcWithHoogle' keyword: https://www.haskellforall.com/2018/10/detailed-walkthrough-for-beginner.html |
| 11:08:06 | <arahael> | I'll read that tomorrow. :) |
| 11:08:09 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:2ddc:ec22:b220:a191) (Quit: Be excellent to each other) |
| 11:08:15 | <arahael> | As for haskell.nix, where's that? |
| 11:08:55 | <__monty__> | You really just want to read this for nix's haskell infra, https://haskell4nix.readthedocs.io/ |
| 11:09:07 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 11:09:17 | <__monty__> | And here's the docs for haskell.nix, https://input-output-hk.github.io/haskell.nix/ |
| 11:09:59 | <__monty__> | It's much nicer to work with from a dev POV imo. Not the shallowest learning curve though. |
| 11:10:05 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 11:10:14 | <arahael> | I'll give those a read as well. :) And yeah, the learning curve is freaking vertical when it comes to nix. |
| 11:10:24 | → | m2rrorbird joins (~dwsjeid91@185.204.1.223) |
| 11:11:12 | → | mirrorb2rd joins (~dwsjeid91@185.244.214.60) |
| 11:11:14 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-zpthsvfoipdugkpc) (Remote host closed the connection) |
| 11:13:35 | <arahael> | I guess I'm just using a standard 'cabal' setup within nix at the moment, the only thing in haskellPackages is cabal-install itself. |
| 11:13:45 | <__monty__> | arahael: That first link is the documentation that used to be part of the nixpkgs manual btw. Doesn't get more official than that. |
| 11:13:58 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 265 seconds) |
| 11:14:11 | <arahael> | Thanks for that. :) I wonder why it was taken out. |
| 11:14:16 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 11:15:33 | × | m2rrorbird quits (~dwsjeid91@185.204.1.223) (Ping timeout: 264 seconds) |
| 11:16:48 | × | mirrorb2rd quits (~dwsjeid91@185.244.214.60) (Ping timeout: 246 seconds) |
| 11:17:51 | <arahael> | I wonder why we're supposed to use ghcWithPackages instead of simply letting cabal deal with it? |
| 11:19:09 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:2c2a:5a7f:e21d:de48) |
| 11:19:50 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 11:22:53 | <arahael> | Well, I'll look tomrorow. :) G'night :) |
| 11:27:23 | → | kuribas joins (~user@ptr-25vy0i8ifwg1eerj10t.18120a2.ip6.access.telenet.be) |
| 11:28:43 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) (Quit: Textual IRC Client: www.textualapp.com) |
| 11:28:46 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:29:11 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) |
| 11:31:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 11:31:59 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 11:34:36 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:34:59 | × | xlei quits (znc@unaffiliated/xlei) (Read error: Connection reset by peer) |
| 11:35:53 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 11:36:16 | Alleria | is now known as Guest95920 |
| 11:42:52 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 11:45:53 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) |
| 11:49:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:49:44 | × | kam1 quits (~kam1@83.123.163.222) (Ping timeout: 265 seconds) |
| 11:50:09 | → | knupfer joins (~Thunderbi@dynamic-046-114-146-178.46.114.pool.telefonica.de) |
| 11:50:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:50:40 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 11:51:56 | → | ania123 joins (5e89ad7c@94.137.173.124) |
| 11:53:27 | → | alx741 joins (~alx741@186.178.108.96) |
| 11:54:06 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 11:55:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:56:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:58:02 | → | Psybur joins (~user@unaffiliated/psybur) |
| 11:58:35 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-kqndlcxucbbkreko) |
| 11:59:19 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 12:00:21 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 12:01:08 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 12:01:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 12:02:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:02:26 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Ping timeout: 264 seconds) |
| 12:04:25 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 12:04:50 | → | haskman joins (dfbe7e24@223.190.126.36) |
| 12:07:54 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 12:12:03 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-rskmegwndatuqvsm) |
| 12:12:07 | × | plutoniix quits (~q@184.82.204.248) (Quit: Leaving) |
| 12:14:10 | → | rust-rocks[m] joins (rust-rocks@gateway/shell/matrix.org/x-gcvobzthaxbvupil) |
| 12:26:05 | astroanax | is now known as Guest54023 |
| 12:26:05 | × | Guest54023 quits (astroanax@gateway/shell/ircnow/x-kqndlcxucbbkreko) (Killed (cherryh.freenode.net (Nickname regained by services))) |
| 12:28:53 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 265 seconds) |
| 12:31:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:31:30 | × | Guest95920 quits (~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds) |
| 12:32:26 | → | astroanax_ joins (astroanax@gateway/shell/ircnow/x-mwsymdmfxopxcrbb) |
| 12:32:46 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 12:32:46 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0.1) |
| 12:33:09 | Alleria | is now known as Guest29757 |
| 12:33:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:38:48 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 12:41:59 | astroanax_ | is now known as astroanax |
| 12:43:14 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 12:43:21 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 12:49:53 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:52:06 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 12:53:15 | × | sayola quits (~vekto@dslb-088-078-152-179.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 12:56:27 | × | gawen_ quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 12:56:48 | → | gawen joins (~gawen@movzbl.root.sx) |
| 12:59:21 | → | Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 12:59:42 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 13:01:41 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:02:51 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.152) |
| 13:02:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 13:02:59 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 13:07:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 13:07:50 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 13:08:34 | → | Quantik joins (~Quantik@2001:818:de6d:fc00:a104:5ee1:8ee8:df35) |
| 13:08:44 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 13:10:45 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:2d37:dad:8363:b013) (Ping timeout: 246 seconds) |
| 13:13:45 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 13:13:45 | × | knupfer quits (~Thunderbi@dynamic-046-114-146-178.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:14:12 | → | Tario joins (~Tario@201.192.165.173) |
| 13:15:08 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 13:15:23 | × | haskman quits (dfbe7e24@223.190.126.36) (Ping timeout: 240 seconds) |
| 13:15:33 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 13:18:52 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 13:20:31 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 13:20:44 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:59e2:d541:9d2d:e1e4) |
| 13:20:51 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 13:21:33 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 13:22:09 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 13:23:12 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:4318:6e8b:64bc:9113) |
| 13:25:24 | LittleFox94 | is now known as LittleFox |
| 13:27:00 | → | stree joins (~stree@68.36.8.116) |
| 13:28:04 | → | xlei joins (znc@unaffiliated/xlei) |
| 13:28:11 | × | Aphex quits (uid70120@gateway/web/irccloud.com/x-mpzuytfykqmswndg) (Quit: Connection closed for inactivity) |
| 13:28:50 | → | arrowsvc_ joins (~arr@2.93.163.35) |
| 13:30:27 | × | JLP1 quits (~JLP@217.146.82.202) (Remote host closed the connection) |
| 13:30:51 | × | Quantik quits (~Quantik@2001:818:de6d:fc00:a104:5ee1:8ee8:df35) (Quit: Leaving) |
| 13:33:49 | <mananamenos> | Hi, Im quite lost thinking about IO and exceptions. So I can have an IO function about which I can be completely sure that it will not throw and therefore will not crash the later execution, right? For example, `f = return 1 :: IO Int`. However, another function with the same `IO Int` type could be like this `g = throwIO (toException "whatever")`. So when I call the first function from some parent IO function, I know it |
| 13:33:49 | <mananamenos> | will not crash, however, when I call the second one, it could throw, and I can only know that if I look at the implementation of it. It seems I don't get some fundamental concept here.. |
| 13:34:58 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 13:35:01 | <arrowsvc_> | Isn't it the same the exception mechanism for all other languages? |
| 13:35:27 | Lycurgus | guesses no |
| 13:40:41 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:59e2:d541:9d2d:e1e4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:41:06 | <nshepperd> | most languages rely on you to read documentation or implementation to figure out what exceptions a procedure might throw |
| 13:41:36 | <geekosaur> | exceptions don't show in types. this can be regarded as a wart, but even (return 1) can potentially throw a heap exception |
| 13:42:41 | <geekosaur> | synchronous exceptions being exceptions instead of ExceptT is a wart, but a hard one to fix. that said, the throwIO example doesn't really fit that unless you split throwIO into sync and async variants |
| 13:42:50 | <Lycurgus> | yeah, if you look at the computer as an object from the outside, but you said the langs |
| 13:43:00 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:43:18 | <mananamenos> | geekosaur, I was thinking about something like you say * but even (return 1) can potentially throw a heap exception *. You have confirmed me that, so it makes sense now. Thank you! |
| 13:44:32 | <mananamenos> | what is a wart btw? :) |
| 13:44:58 | <merijn> | mananamenos: You cannot have an IO exception where you can be sure it doesn't throw (unless you inspect all code involved), no |
| 13:45:01 | <merijn> | Sadly |
| 13:45:47 | <geekosaur> | less severe than a bug |
| 13:45:56 | <Lycurgus> | wart: blows up on a simple task stupid langs handle with ease |
| 13:46:00 | <geekosaur> | an infelicity |
| 13:46:27 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-mwsymdmfxopxcrbb) (Ping timeout: 246 seconds) |
| 13:46:53 | <merijn> | mananamenos: warts are ugly/uncomfortable/unpleasant things :p |
| 13:48:09 | <merijn> | mananamenos: Technically, a wart is a kind of skin infection that has all those attributes |
| 13:48:13 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 13:48:17 | <mananamenos> | :) |
| 13:48:29 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 13:48:31 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit) |
| 13:48:47 | <mananamenos> | merijn, yeah, I skin thing came to me in google search, that's why I asked |
| 13:48:50 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 13:48:52 | <mananamenos> | Could you expand more about why: * synchronous exceptions being exceptions instead of ExceptT is a wart, but a hard one to fix *? |
| 13:49:00 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 256 seconds) |
| 13:49:16 | <merijn> | mananamenos: In Haskell exceptions (in the throw/throwIO sense) are treated as bottoms (non-termination, infinite recursion, etc.) |
| 13:50:05 | <nshepperd> | frequently, warts are also harder to fix than bugs. if you have a bug on your skin you just shake it off :p |
| 13:50:05 | <merijn> | mananamenos: I disagree with "exceptions should be ExceptT", tbh. That's a highly contentious and non-universal statemen by geekosaur |
| 13:50:31 | <mananamenos> | xD |
| 13:50:32 | <merijn> | unchecked exceptions are a mistake, but "ExceptT" is not the solution, imo |
| 13:50:55 | <geekosaur> | what Haskell calls synchronous exceptions are out of band returns, not exceptions |
| 13:51:29 | <merijn> | geekosaur: *Haskell* doesn't specify any form of exceptions, to my knowledge |
| 13:51:29 | <nshepperd> | isn't that what exceptions are |
| 13:51:41 | <geekosaur> | not in Haskell, in Haskell they're bottoms |
| 13:51:49 | <merijn> | And, tbh, I don't even know for sure what you refer to by "synchronous exceptions" |
| 13:51:59 | <geekosaur> | this isn't really a bottom, it's the kind of thing ExceptT is designed for |
| 13:52:31 | <merijn> | geekosaur: ExceptT is a poor fit for many, if not most, exceptions of the Control.Exception variety |
| 13:52:45 | <nshepperd> | that seems like mixing up the cart and the horse |
| 13:53:21 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 13:53:25 | <nshepperd> | are exceptions bottoms or are bottoms exceptions? |
| 13:53:26 | <merijn> | geekosaur: Unless you are going to argue in favour of "div :: Int -> Int -> ExcepT ArithException m Int" |
| 13:53:47 | <merijn> | nshepperd: Exceptions are bottoms |
| 13:53:52 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-nisypfklzoewoaqi) |
| 13:53:58 | <merijn> | nshepperd: Currently, anyway |
| 13:54:13 | <merijn> | They don't *have* to be, but that's how they're modelled in Haskell now |
| 13:54:37 | <nshepperd> | are you sure it's not bottoms that are modelled as exceptions |
| 13:54:48 | <Taneb> | > let f :: Integer -> Bool; f x = x `seq` f (x + 1) in f 0 |
| 13:54:54 | <Taneb> | This is a bottom that is not an exception |
| 13:54:54 | <lambdabot> | mueval-core: Time limit exceeded |
| 13:55:19 | × | raym quits (~ray@45.64.220.113) (Quit: leaving) |
| 13:55:41 | <merijn> | nshepperd: That doesn't make sense |
| 13:55:50 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 13:56:08 | <merijn> | nshepperd: bottom is the mathematical name for "non-termination" in the evaluation of lambda terms |
| 13:56:18 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 13:56:23 | <merijn> | So, infinite loops, crashes, etc. |
| 13:56:52 | <merijn> | For the purpose of "what are the semantics of evaluating Haskell expressions", "throw" is a bottom |
| 13:57:07 | <merijn> | Evaluation of the expression does not terminate |
| 13:57:22 | <merijn> | It crashes/bails out/etc., however you'd like to call it |
| 13:57:52 | <merijn> | nshepperd: You can't "model bottoms as exceptions", because at the meta-level (where you can talk about bottom) exceptions don't exist |
| 13:59:00 | <nshepperd> | my question is really why this alleged fact means that 'exceptions' can't also be 'out of band returns' just because some exceptions are also bottoms |
| 13:59:06 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 13:59:17 | × | average quits (uid473595@gateway/web/irccloud.com/x-esnsvhjcxsvlaxwu) (Quit: Connection closed for inactivity) |
| 13:59:59 | <merijn> | nshepperd: It depends on how you define "exception" and how you model that definition in the language |
| 14:00:32 | <merijn> | nshepperd: The definition of exception that is currently implemented in GHC says "exceptions are bottoms" |
| 14:01:00 | <merijn> | Whether exceptions *have* to be bottoms depends on both how you define "exception" and the language you're working in |
| 14:01:50 | <merijn> | nshepperd: If you want a definition of "non-bottom exceptions", you'll have to define it first and tell people what it is, because people are obviously going to default to "the definition that is actually implemented" |
| 14:02:20 | → | maop joins (~maop@37.120.211.188) |
| 14:03:29 | <merijn> | nshepperd: "just because some exceptions are also bottoms" <- in GHC *all* exceptions are, by definition, bottoms |
| 14:03:45 | <mananamenos> | merijn, why is ExceptT a poor fit for many, if not most, exceptions of the Control.Exception? |
| 14:04:14 | × | Psybur quits (~user@unaffiliated/psybur) (Ping timeout: 264 seconds) |
| 14:04:43 | <nshepperd> | merijn: so is throwIO a |
| 14:04:54 | <nshepperd> | bottom or a non exception? |
| 14:05:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 14:05:25 | <merijn> | mananamenos: A lot of the exception from Control.Exception are things that "shouldn't happen", and the only sensible way to handle them is to rollback a ton of stuff |
| 14:05:28 | <merijn> | nshepperd: It's a bottom |
| 14:06:10 | × | mayleesia quits (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) (Quit: mayleesia) |
| 14:06:31 | <nshepperd> | geekasaur seems to disagree |
| 14:07:09 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 14:07:57 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 14:08:03 | <mananamenos> | merijn, could you give a simple example? I don't understand * "shouldn't happen" * part |
| 14:08:37 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 14:08:59 | Arch-TK | is now known as atk |
| 14:09:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 14:18:24 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 14:18:48 | → | bor0 joins (~boro@unaffiliated/boro/x-000000001) |
| 14:18:51 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 14:20:06 | <bor0> | Wondering how/if lazy evaluation kicks in for https://paste.tomsmeding.com/8LQ6BNXP. For example, let's assume that generateCombinations l1 l2 produces a very large list. does `getPage (generateCombinations l1 l2) 200 20` only calculate those specific results (page 200, length 20) or does it actually calculate all of them? |
| 14:21:46 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 14:21:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 14:23:25 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 14:24:04 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (Read error: Connection reset by peer) |
| 14:26:24 | <geekosaur> | my primary contention is that things like "file not found" are synchronous and should not be modeled as bottoms. and yes, I'd argue div fits into the same category although a convenience function that converts it to a bottom could be provided |
| 14:29:04 | <geekosaur> | in fact most of the "exceptions" openFile can produce are synchronous and should be dealt with via ExceptT. the actual async exceptions can happen later when the resulting Handle is read from, although even there there might be synchronous read ops (that's a harder case to argue) |
| 14:30:30 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 14:30:30 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 14:30:30 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 14:30:38 | <maerwald> | ExceptT? :> |
| 14:32:41 | <lyxia> | bor0: only those results |
| 14:33:28 | <bor0> | lyxia, thanks, that's what my experiment showed but I wanted to confirm. This is magical. I had to do similar implementation in PHP (language without lazy evaluation) and the amount of manual work I had to do is ... calculate all those indices manually, do slicing of arrays, ugh |
| 14:33:37 | <lyxia> | > drop 10 [if i == 0 then undefined else (i, j) | i <- [0,1], j <- [0..9]] |
| 14:33:39 | <lambdabot> | [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9)] |
| 14:33:54 | <nshepperd> | what does "file not found should not be a bottom" actually mean specifically? is there something wrong with the throw/catch IO api? |
| 14:34:02 | <nshepperd> | you want checked exceptions? |
| 14:35:24 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 14:35:26 | → | kam1 joins (~kam1@83.123.154.198) |
| 14:35:31 | <bor0> | ah, didn't think of trying undefined. I just tried it on two lists that'd produce over a million results |
| 14:35:38 | <bor0> | Thanks! |
| 14:36:55 | → | carlomagno joins (~cararell@148.87.23.7) |
| 14:37:25 | × | carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection) |
| 14:38:44 | × | caubert_ quits (~caubert@136.244.111.235) (Quit: WeeChat 3.0) |
| 14:39:01 | → | caubert joins (~caubert@136.244.111.235) |
| 14:39:20 | → | carlomagno joins (~cararell@148.87.23.7) |
| 14:39:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 14:40:39 | <geekosaur> | catch is kinda lousy, yeah. especially how I need ScopedTypeVariables plus a type annotation to limit it to, say, IOExceptions. |
| 14:41:40 | <merijn> | geekosaur: I want checked exceptions that are not Except/Either |
| 14:41:44 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-nisypfklzoewoaqi) (Remote host closed the connection) |
| 14:41:46 | <geekosaur> | the way things can leak if I get laziness wrong is also bad |
| 14:42:25 | <maerwald> | merijn: is it really checked exceptions if it's the responsibility of a library author to create them? I'd say: no |
| 14:42:52 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 14:43:31 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 14:48:13 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-hxzrgpotzvfczuis) |
| 14:48:22 | <merijn> | maerwald: huh? |
| 14:50:37 | <merijn> | maerwald: I don't see how this relates to what I said? |
| 14:50:42 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-wqscfhvgecjdxrxn) |
| 14:50:44 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 14:51:29 | <nshepperd> | if you don't want checked exceptions you could use ExceptT SomeException but that's just IO but inefficient |
| 14:52:01 | × | Athas quits (athas@2a01:7c8:aaac:1cf:5551:513a:128c:3291) (Quit: ZNC - http://znc.sourceforge.net) |
| 14:52:56 | → | Athas joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 14:53:22 | × | bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 14:54:04 | × | acidjnk_new quits (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:54:56 | → | kam1 joins (~kam1@83.123.154.198) |
| 14:56:14 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 14:58:18 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 15:00:02 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds) |
| 15:02:49 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 15:02:56 | → | average joins (uid473595@gateway/web/irccloud.com/x-ccphdwzehpjwbayw) |
| 15:04:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 15:07:06 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 15:07:16 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 15:09:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 15:09:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 15:13:12 | × | ania123 quits (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 15:13:49 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 245 seconds) |
| 15:13:51 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 15:14:51 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 15:17:03 | × | michalz quits (~user@185.246.204.47) (Remote host closed the connection) |
| 15:19:06 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 15:20:32 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 15:24:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 15:26:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:26:20 | [df]_ | is now known as [df] |
| 15:26:26 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 15:28:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:30:02 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 15:31:08 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 15:32:11 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) |
| 15:32:23 | → | kam1 joins (~kam1@83.123.154.198) |
| 15:32:25 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 15:32:44 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 15:32:48 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 15:33:28 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 15:35:14 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 15:35:46 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 15:37:21 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 15:39:19 | × | carlomagno quits (~cararell@148.87.23.7) (Ping timeout: 265 seconds) |
| 15:39:28 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 15:39:43 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 15:40:06 | → | kam1 joins (~kam1@83.123.154.198) |
| 15:40:42 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:41:29 | → | jespada joins (~jespada@90.254.243.187) |
| 15:42:22 | → | carlomagno joins (~cararell@148.87.23.10) |
| 15:43:46 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 15:47:22 | → | Deide joins (~Deide@217.155.19.23) |
| 15:48:17 | → | stree joins (~stree@68.36.8.116) |
| 15:49:14 | → | knupfer joins (~Thunderbi@200116b82c21c8006dfd000a63365920.dip.versatel-1u1.de) |
| 15:53:18 | × | sssb54 quits (~ssssb56@vps-b2931db6.vps.ovh.ca) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 15:54:55 | × | fii quits (~Dykomii@kyoto.mii.moe) (Ping timeout: 272 seconds) |
| 15:55:33 | × | madog quits (~madog@163.ip-51-254-203.eu) (Ping timeout: 272 seconds) |
| 15:55:34 | × | SIben quits (~SIben@101.ip-164-132-107.eu) (Ping timeout: 272 seconds) |
| 15:55:34 | × | djanatyn quits (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 272 seconds) |
| 15:55:43 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 276 seconds) |
| 15:55:49 | → | SIben joins (~SIben@101.ip-164-132-107.eu) |
| 15:56:04 | → | madog joins (~madog@163.ip-51-254-203.eu) |
| 15:56:13 | → | djanatyn joins (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 15:58:43 | → | son0p joins (~son0p@181.136.122.143) |
| 15:59:37 | → | Iroha joins (~Dykomii@2607:5300:60:336a::1) |
| 15:59:58 | → | sssb54 joins (~ssssb56@vps-b2931db6.vps.ovh.ca) |
| 16:00:32 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 16:00:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 16:00:52 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) (Remote host closed the connection) |
| 16:00:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 16:00:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 16:01:27 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:2c0d:ff90:97b8:fc1b) |
| 16:02:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) |
| 16:02:16 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Remote host closed the connection) |
| 16:02:54 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 16:05:43 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 16:06:42 | → | gitgoood joins (~gitgood@82-132-218-166.dab.02.net) |
| 16:06:53 | gitgoood | is now known as gitgood |
| 16:07:18 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 260 seconds) |
| 16:08:11 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:08:47 | → | FortuneZero joins (3223b878@50.35.184.120) |
| 16:10:04 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 16:10:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 16:13:03 | → | jrqc joins (~rofl@96.78.87.197) |
| 16:13:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:14:46 | <Gurkenglas> | Would you say that Haskell theoretically has unit_or :: () -> () -> (), which maps (bottom, bottom) to bottom and all else to ()? |
| 16:18:02 | <dolio> | No. |
| 16:18:31 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:18:55 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 16:19:33 | <FortuneZero> | unit_or () () = () -- yes? |
| 16:19:42 | <FortuneZero> | unit_or _ _ = () -- no |
| 16:20:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 16:21:49 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 16:22:29 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 16:23:00 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 16:23:01 | <Gurkenglas> | FortuneZero, unit_or () () = (); unit_or () undefined = (); unit_or undefined () = (); unit_or undefined undefined = undefined. Except you can't write it like that, because you're not supposed to be able to directly check for undefined, and besides it would check the cases in order. But when undefined means infinite loop, you can say "calculate both arguments in parallel and return () when one finishes", but I was wondering whether that's |
| 16:23:01 | <Gurkenglas> | theoretically cheating. |
| 16:25:37 | <dolio> | There are packages that use low level GHC primitives to make it. |
| 16:27:34 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 16:27:45 | <dolio> | The primitives make no guarantee that it works, though, I think. |
| 16:28:37 | <dolio> | Even in GHC, probably. |
| 16:29:58 | → | conal joins (~conal@64.71.133.70) |
| 16:31:43 | × | toorevitimirp quits (~tooreviti@117.182.183.154) (Remote host closed the connection) |
| 16:32:17 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 272 seconds) |
| 16:36:27 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:37:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 16:38:27 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 246 seconds) |
| 16:39:36 | → | ADG1089__ joins (~aditya@223.226.235.12) |
| 16:39:46 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 16:40:00 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:40:50 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 16:41:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 16:47:24 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds) |
| 16:47:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 264 seconds) |
| 16:47:33 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 16:48:21 | → | mayleesia joins (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) |
| 16:50:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:51:59 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 16:52:01 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 16:53:48 | <FortuneZero> | I see what you are asking |
| 16:55:25 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 16:55:43 | <FortuneZero> | perhaps in GHC it can be implemented in parallel as you suggested: |
| 16:55:44 | <FortuneZero> | unit_or x y = unsafePerformIo $ Control.Concurrent.Async.race_ (return x) (return y) |
| 16:56:47 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 16:56:58 | <FortuneZero> | Is theoretical Haskell even a thing :] |
| 16:57:43 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 16:58:24 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 16:58:56 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 16:59:14 | → | gitgoood joins (~gitgood@82-132-216-176.dab.02.net) |
| 17:00:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 17:01:23 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 17:01:37 | → | kam1 joins (~kam1@83.123.154.198) |
| 17:01:53 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 17:01:59 | × | gitgood quits (~gitgood@82-132-218-166.dab.02.net) (Read error: Connection reset by peer) |
| 17:02:02 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 17:02:31 | <Gurkenglas> | yea im reading a domain theory book very slowly and thinking on all the tangents and hoping itll make me breeze through the excercises |
| 17:02:39 | <Gurkenglas> | ( https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf ) |
| 17:03:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:03:53 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 17:03:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 17:06:04 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 17:07:50 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:10:05 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 17:10:26 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 17:12:05 | Techcable_ | is now known as Techcable |
| 17:12:27 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 17:13:34 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 17:19:42 | → | lordyod6 joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 17:20:02 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 17:20:07 | → | ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 17:20:20 | × | lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 17:20:43 | lordyod6 | is now known as lordyod |
| 17:21:09 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 17:21:44 | → | redmp joins (~redmp@172.58.35.32) |
| 17:23:38 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 17:23:59 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:25:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 17:28:41 | Vq_ | is now known as Vq |
| 17:28:51 | <dolio> | Yeah, that's kind of an example where domain theory does not exactly match what is exposed in a lot of programming languages. I think it basically abstracts the ability to interleave algorithms and see if one gives you a result. But that's not included as an operation on arbitrary things in most programming languages. |
| 17:29:08 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:81af:7dfd:a1aa:7c22) (Remote host closed the connection) |
| 17:29:58 | <dolio> | You could add it, but it'd complicate the execution. |
| 17:30:32 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 17:31:04 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 17:31:49 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 17:37:29 | → | ArsenArsen joins (~Arsen@fsf/member/ArsenArsen) |
| 17:38:32 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 17:38:43 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 17:39:49 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 17:41:59 | <redmp> | i heard that the `acid-state` package isn't actually safe against crashes.. are there similar packages which are known to be reliable? |
| 17:44:41 | → | arcontethegreat[ joins (arcontethe@gateway/shell/matrix.org/x-tdaiuqgmbdibjmlc) |
| 17:47:19 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 17:47:43 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 17:48:24 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 17:51:08 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 260 seconds) |
| 17:52:24 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:52:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:54:27 | <c_wraith> | nothing in haskell. you'd probably end up with sqlite bindings as the easiest way forward. |
| 17:56:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 17:58:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 17:58:56 | × | FortuneZero quits (3223b878@50.35.184.120) (Quit: Connection closed) |
| 18:00:27 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 18:00:34 | × | ADG1089__ quits (~aditya@223.226.235.12) (Remote host closed the connection) |
| 18:01:14 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 18:01:47 | → | augnun joins (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) |
| 18:01:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 18:03:02 | × | Athas quits (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 18:03:45 | → | Athas joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 18:04:09 | × | Guest29757 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 264 seconds) |
| 18:04:16 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 18:05:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:06:35 | → | cheater joins (~user@unaffiliated/cheater) |
| 18:06:38 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.152) (Ping timeout: 264 seconds) |
| 18:08:55 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:09:04 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 18:09:33 | → | stree joins (~stree@68.36.8.116) |
| 18:11:31 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-qlgjfbrgmlhxoijq) (Quit: Connection closed for inactivity) |
| 18:12:39 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 18:12:43 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:14:45 | × | kuribas quits (~user@ptr-25vy0i8ifwg1eerj10t.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:16:13 | → | conal joins (~conal@64.71.133.70) |
| 18:16:19 | → | joes joins (~pi@ip5f5ac83d.dynamic.kabel-deutschland.de) |
| 18:17:09 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 18:18:33 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 18:19:16 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 18:19:49 | → | FortuneZero joins (3223b878@50.35.184.120) |
| 18:19:54 | → | jrqc joins (~rofl@96.78.87.197) |
| 18:20:36 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 18:20:48 | <redmp> | are there bindings to sqlite which don't rely on string queries? |
| 18:21:02 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 18:21:10 | cheater1 | is now known as cheater |
| 18:21:42 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:21:49 | <redmp> | i think folks here recommended https://github.com/nurpax/sqlite-simple to me in the past, but that's mostly a string-based interface |
| 18:22:05 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-funsiyagulsobejm) |
| 18:22:45 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-vnpfnslhfdyhjhtg) |
| 18:23:16 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 18:23:28 | → | mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-rxqqcuwejvbcsupd) |
| 18:23:35 | <geekosaur> | in general the typed interfaces are typed misery |
| 18:24:03 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:24:22 | <redmp> | geekosaur: it worked out well for servant/servant-server/servant-client |
| 18:24:59 | <redmp> | i wonder if we couldn't leverage similar techniques for dabatase access |
| 18:25:11 | <redmp> | but i guess what i'm hearing is that there isn't a community-accept approach currently |
| 18:25:18 | <redmp> | *community-accepted |
| 18:27:16 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 18:27:51 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:27:56 | → | dm9 joins (~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de) |
| 18:28:03 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 18:29:04 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 18:29:05 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 18:29:05 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 18:29:30 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 18:29:31 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 18:30:24 | → | mmohammadi9812 joins (~mmohammad@80.210.50.109) |
| 18:30:48 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 18:30:54 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 18:31:11 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 18:32:58 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 18:33:02 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 18:33:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 18:34:35 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:34:50 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 18:35:04 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 18:36:24 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 18:37:04 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-oqznulkyteygitwy) |
| 18:38:34 | → | APugNamedPugsley joins (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) |
| 18:38:39 | × | joes quits (~pi@ip5f5ac83d.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 18:38:46 | → | jrqc joins (~rofl@96.78.87.197) |
| 18:39:33 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 18:39:39 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 18:39:49 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:40:54 | × | darjeeling_ quits (~darjeelin@122.245.217.47) (Ping timeout: 245 seconds) |
| 18:42:24 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 240 seconds) |
| 18:46:36 | <infinisil> | Arghhh |
| 18:46:53 | <infinisil> | instance IsString IP where fromString = read |
| 18:46:58 | <infinisil> | Don't do this ^ |
| 18:47:14 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 18:47:30 | <infinisil> | Just spent an hour trying to debug this until I found this |
| 18:47:38 | Alleria | is now known as Guest73167 |
| 18:50:15 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 18:50:18 | <infinisil> | This is in https://hackage.haskell.org/package/iproute-1.7.10/docs/Data-IP.html#t:IP |
| 18:51:36 | → | C4ladbolg joins (~darkc@ool-18bcd822.dyn.optonline.net) |
| 18:53:46 | → | memcorrupt joins (~memcpy@unaffiliated/memcorrupt) |
| 18:53:54 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 18:54:15 | → | kam1 joins (~kam1@83.123.154.198) |
| 18:54:40 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 18:55:03 | → | darjeeling_ joins (~darjeelin@122.245.218.92) |
| 18:55:09 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 18:57:35 | → | conal joins (~conal@192.145.118.105) |
| 18:57:40 | × | memcorrupt quits (~memcpy@unaffiliated/memcorrupt) (Remote host closed the connection) |
| 18:58:01 | ← | C4ladbolg parts (~darkc@ool-18bcd822.dyn.optonline.net) ("WeeChat 2.3") |
| 18:58:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:00:11 | → | iqubic joins (~user@2601:602:9500:4870:f881:cb6e:a5c3:3858) |
| 19:00:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:00:34 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 19:02:13 | → | bergey joins (~user@107.181.19.30) |
| 19:02:23 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 19:02:48 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 19:03:03 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 19:03:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:03:32 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:56 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 19:04:09 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds) |
| 19:04:14 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 19:04:26 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 19:06:55 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 19:08:35 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 19:09:28 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 19:10:48 | ← | iqubic parts (~user@2601:602:9500:4870:f881:cb6e:a5c3:3858) ("ERC (IRC client for Emacs 28.0.50)") |
| 19:11:13 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:13:16 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 19:14:28 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 19:14:30 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 19:15:18 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 19:15:49 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 19:15:50 | × | knupfer quits (~Thunderbi@200116b82c21c8006dfd000a63365920.dip.versatel-1u1.de) (Ping timeout: 258 seconds) |
| 19:16:34 | × | APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) (Read error: Connection reset by peer) |
| 19:16:59 | → | APugNamedPugsley joins (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) |
| 19:18:15 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:18:42 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 19:19:06 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 19:19:14 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 245 seconds) |
| 19:21:33 | × | augnun quits (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) (Ping timeout: 260 seconds) |
| 19:21:38 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 19:24:58 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 260 seconds) |
| 19:25:44 | × | conal quits (~conal@192.145.118.105) (Quit: Computer has gone to sleep.) |
| 19:27:29 | → | conal joins (~conal@192.145.118.105) |
| 19:32:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 19:34:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 19:35:39 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 19:38:23 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 19:38:57 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 19:39:27 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 19:40:20 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 19:43:11 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 19:43:14 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds) |
| 19:44:58 | → | knupfer joins (~Thunderbi@200116b82c21c800a44c879b15e2d0dc.dip.versatel-1u1.de) |
| 19:49:19 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.251) |
| 19:49:21 | × | B-J quits (~BenziJuni@dsl-149-64-40.hive.is) (Ping timeout: 256 seconds) |
| 19:49:46 | × | mayleesia quits (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) (Quit: Connection closed) |
| 19:50:50 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 19:51:11 | × | dm9 quits (~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 19:51:33 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 19:52:14 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 19:53:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:56:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:00:24 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 20:00:56 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:01:50 | × | APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) (Ping timeout: 264 seconds) |
| 20:03:05 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:03:34 | ← | cohn parts (~noone@unaffiliated/cohn) () |
| 20:05:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 20:05:58 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 276 seconds) |
| 20:07:12 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 20:07:14 | → | petersen joins (~petersen@redhat/juhp) |
| 20:08:22 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 20:10:05 | × | hiroaki1 quits (~hiroaki@2a02:8108:8c40:2bb8:1b99:a7f4:2a9d:6474) (Ping timeout: 240 seconds) |
| 20:10:33 | → | hiroaki1 joins (~hiroaki@2a02:8108:8c40:2bb8:45f7:66d:ca9:84) |
| 20:10:50 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 20:10:52 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 20:13:19 | → | cohn joins (~noone@unaffiliated/cohn) |
| 20:13:26 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 20:14:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 20:17:56 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 20:18:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 20:18:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 20:20:16 | × | conal quits (~conal@192.145.118.105) (Ping timeout: 276 seconds) |
| 20:20:54 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 20:21:09 | → | ADG1089__ joins (~aditya@223.226.235.12) |
| 20:23:25 | <koz_> | infinisil: Wow that's some next-level terrible. |
| 20:24:36 | <koz_> | Is there any good... or any _any_ indicator of what `withFile` might throw? |
| 20:26:20 | <glguy> | koz_: that module throws IOError |
| 20:26:40 | <koz_> | glguy: You mean the withFile function throws IOError? |
| 20:26:46 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds) |
| 20:26:55 | <glguy> | the stuff in that module including withFile |
| 20:27:01 | <koz_> | glguy: OK, thanks. |
| 20:29:05 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) |
| 20:29:40 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 20:30:46 | → | electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 20:30:55 | → | stree joins (~stree@68.36.8.116) |
| 20:31:54 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 20:32:20 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 20:32:38 | <tomsmeding> | infinisil: why is that terrible? |
| 20:33:01 | <tomsmeding> | I mean, I don't like OverloadedStrings on the whole, but I don't see why this particular instance is trouble |
| 20:33:30 | <koz_> | tomsmeding: Because it defers compile-time problems to runtime needlessly. |
| 20:33:41 | <koz_> | A quasi-quoter would have been a much better choice. |
| 20:34:00 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 20:34:05 | <infinisil> | read in general should be avoided since it's partial, and throws a terrible error if it fails (Exception: Prelude.read: no parse) |
| 20:34:31 | <myShoggoth> | No parse, no peace |
| 20:34:37 | <koz_> | Also this. |
| 20:34:40 | <infinisil> | It's especially bad in a library |
| 20:34:51 | <koz_> | It's basically a very bad take at a runtime-failing quasi-quoter. |
| 20:35:00 | <infinisil> | I don't really care what you do in your application, but in a library that has over 1000 downloads a day, I don't want any read's |
| 20:35:10 | <tomsmeding> | I see, and I agree :p |
| 20:35:33 | <infinisil> | 1000 downloads over the last 30 days * |
| 20:35:51 | × | Athas quits (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 20:35:55 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 20:36:06 | → | conal joins (~conal@64.71.133.70) |
| 20:36:06 | <tomsmeding> | though the problem is lessened by you actually having to write the string in your source file; it won't automatically coerce String to IP fortunately |
| 20:36:28 | <tomsmeding> | that's a thing you'd be able to do in C++, and it's the worst |
| 20:36:29 | <koz_> | Yeah, but it still needlessly allows garbage which is compile-time checkable for validity. |
| 20:36:40 | <koz_> | And C++ is not a good example of design... anything. |
| 20:36:49 | × | Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt) |
| 20:37:03 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 20:37:03 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 20:37:03 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 20:37:17 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:4318:6e8b:64bc:9113) (Ping timeout: 272 seconds) |
| 20:37:22 | → | Athas joins (~athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 20:37:24 | <tomsmeding> | it works well for coding competitions |
| 20:37:27 | <infinisil> | In my case, I used the IsString instance for a test case |
| 20:38:21 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 20:38:39 | <tomsmeding> | (and working well for coding competitions implies, or if not that at least suggests, being bad for any general purpose coding where you have non-zero engineering standards) |
| 20:38:41 | → | forgottenone joins (~forgotten@176.42.29.216) |
| 20:39:38 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 20:39:39 | × | redmp quits (~redmp@172.58.35.32) (Ping timeout: 245 seconds) |
| 20:40:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 20:40:54 | → | crobbins_ joins (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) |
| 20:40:59 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 20:42:17 | → | carldd11 joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 20:42:24 | × | carldd11 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Client Quit) |
| 20:43:34 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 20:44:26 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:2c0d:ff90:97b8:fc1b) (Ping timeout: 264 seconds) |
| 20:44:42 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:47:04 | × | Tops2 quits (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 20:47:28 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 20:47:49 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:48:01 | fr33domlover1 | is now known as fr33domlover |
| 20:50:04 | <maerwald> | are these two fmap implementations equal? https://paste.tomsmeding.com/gfYBRQtl |
| 20:50:32 | × | crobbins_ quits (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) (Remote host closed the connection) |
| 20:51:19 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:484b:63d9:4725:b763) |
| 20:51:24 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 20:52:20 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 20:52:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:53:02 | → | creuxsader joins (~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) |
| 20:54:01 | × | Guest73167 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds) |
| 20:54:15 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:e6c8:817b:b58d:6ff3) |
| 20:54:22 | <glguy> | maerwald: does the first one even typecheck? |
| 20:54:28 | <maerwald> | yes |
| 20:54:34 | <glguy> | Oh, sorry. you're not using the normal Cont |
| 20:54:50 | <maerwald> | doesn't typecheck with ContT, yes |
| 20:54:55 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 20:55:24 | <maerwald> | but does it obey the laws etc, I dunno. I'm getting brain aneurism thinking about it. |
| 20:57:30 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (Read error: Connection reset by peer) |
| 20:57:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 20:58:00 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:58:09 | <tomsmeding> | I think (!) that if 'c' has type 'forall r. (a -> r) -> r' for some fixed 'a', then 'c (g . f) = g (c f)' for all f and g |
| 20:58:18 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 20:58:30 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 20:58:31 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Quit: WeeChat 1.9.1) |
| 20:58:47 | <monochrom> | You know what, IIRC some kind of Yoneda lemma says yes, they're the same. |
| 20:58:50 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 20:58:57 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 20:59:06 | <tomsmeding> | (my proposition would imply that maerwald's both definitions are in fact equivalent) |
| 20:59:22 | <monochrom> | Long story short, you would be right if your intuition says "the forall helps a lot here". |
| 20:59:30 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 20:59:42 | × | mmohammadi9812 quits (~mmohammad@80.210.50.109) (Remote host closed the connection) |
| 20:59:48 | <dolio> | @free c :: forall r. (A -> r) -> r |
| 20:59:48 | <lambdabot> | f . c = c . (.) f |
| 20:59:52 | <glguy> | fmap1 f (Cont c) = Cont \f' -> (f' . f) (c id) |
| 20:59:52 | <glguy> | fmap2 f (Cont c) = Cont \f' -> c (f' . f) |
| 20:59:55 | × | forgottenone quits (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 20:59:59 | → | mmohammadi9812 joins (~mmohammad@80.210.50.109) |
| 21:00:20 | <monochrom> | And yeah natural transformations and stuff too. |
| 21:00:27 | <glguy> | so the question is comparing: g (c id) to c g |
| 21:00:45 | <monochrom> | With that, I'm hungry, it's tea time. |
| 21:00:54 | <tomsmeding> | dolio: yay, that's precisely my proposition! |
| 21:00:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 21:01:31 | <glguy> | ?unpl c . (.) f |
| 21:01:31 | <lambdabot> | (\ x -> c (\ x0 -> f (x x0))) |
| 21:01:35 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 21:01:40 | <glguy> | ?unpl f . c |
| 21:01:41 | <lambdabot> | (\ x -> f (c x)) |
| 21:02:02 | <tomsmeding> | or more readably, \g -> c (f . g) versus \g -> f (c g) |
| 21:02:51 | <monochrom> | Heuristic: Every time you see "foo id", suspect Yoneda lemma. :) |
| 21:03:09 | → | forgottenone joins (~forgotten@176.42.29.216) |
| 21:03:16 | tomsmeding | still has to learn category theory some day |
| 21:03:27 | Rembane | too |
| 21:04:08 | × | fendor quits (~fendor@178.115.130.180.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:06:10 | → | Alleria joins (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) |
| 21:06:33 | Alleria | is now known as Guest86518 |
| 21:07:09 | × | jonathanx__ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 21:08:40 | → | fendor joins (~fendor@178.165.128.28.wireless.dyn.drei.com) |
| 21:10:50 | × | Guest86518 quits (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 21:11:04 | <maerwald> | tomsmeding: that makes 3 implementations, lol |
| 21:11:30 | <maerwald> | so yeah, it's f (c id) == c f |
| 21:13:36 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 21:14:07 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 21:14:07 | × | xensky_ quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 272 seconds) |
| 21:14:48 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 246 seconds) |
| 21:15:10 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 21:15:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 21:16:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 21:16:40 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 21:17:04 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 240 seconds) |
| 21:17:35 | × | mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection) |
| 21:18:32 | → | krt joins (488a1c12@72.138.28.18) |
| 21:18:33 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 264 seconds) |
| 21:18:38 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds) |
| 21:19:23 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 21:20:34 | × | knupfer quits (~Thunderbi@200116b82c21c800a44c879b15e2d0dc.dip.versatel-1u1.de) (Quit: knupfer) |
| 21:20:47 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 21:20:54 | → | knupfer joins (~Thunderbi@200116b82c21c80070e1b703f12bd6d8.dip.versatel-1u1.de) |
| 21:21:20 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 21:22:22 | → | Alleria_ joins (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) |
| 21:23:32 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 21:24:57 | × | forgottenone quits (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 21:25:48 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 21:25:54 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 245 seconds) |
| 21:26:23 | → | conal joins (~conal@64.71.133.70) |
| 21:27:53 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 21:28:17 | <krt> | trying to run hat-make on the main module of my program, but it can't find any Data modules. I guess it doesn't package any of the Haskell libraries by default, but I can't find any info on how to do it. Could somebody help out? |
| 21:28:42 | × | ADG1089__ quits (~aditya@223.226.235.12) (Remote host closed the connection) |
| 21:29:09 | <krt> | (hat-make --help just returns a help page for ghc) |
| 21:29:10 | → | conal_ joins (~conal@66.115.157.49) |
| 21:29:15 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 21:30:33 | × | cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 264 seconds) |
| 21:30:39 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:30:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 21:30:51 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 21:31:35 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 21:32:06 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 21:32:17 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 21:34:05 | <koz_> | Is there some kind of warning I can enable to yell at me for not specifying a derivation strategy? |
| 21:34:16 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:34:35 | → | hoppfull joins (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) |
| 21:35:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 21:37:39 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 21:37:58 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 21:38:09 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 21:39:03 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Read error: Connection reset by peer) |
| 21:41:42 | → | Cesdo joins (~cesdo@87.239.32.225) |
| 21:41:55 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 21:43:01 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 21:44:43 | × | FortuneZero quits (3223b878@50.35.184.120) (Quit: Connection closed) |
| 21:45:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 21:45:58 | → | kam1 joins (~kam1@83.123.154.198) |
| 21:46:23 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 21:48:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 21:49:19 | <infinisil> | koz_: How about -Wderiving-defaults + -Werror |
| 21:49:33 | <koz_> | infinisil: From which GHC version is that one available? |
| 21:50:22 | <infinisil> | koz_: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/using-warnings.html?highlight=deriving%20defaults#ghc-flag--Wderiving-defaults |
| 21:50:25 | <infinisil> | I guess 8.10 |
| 21:50:33 | <koz_> | Rats, I'm on 8.8 for this. |
| 21:50:40 | <infinisil> | Though try out the snippet there |
| 21:50:52 | <infinisil> | I feel like I got the warning from that before 8.10 |
| 21:51:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:51:27 | <infinisil> | Note that it only triggers for when you have both DeriveAnyClass and GeneralizedNewtypeDeriving and both could be used |
| 21:51:52 | <infinisil> | (which makes me think that's the only case where such a warning is needed) |
| 21:51:56 | <koz_> | Yeah, that's not quite as much as I'd like but it'd help. |
| 21:52:56 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 265 seconds) |
| 21:54:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) |
| 21:55:10 | × | mmohammadi9812 quits (~mmohammad@80.210.50.109) (Ping timeout: 276 seconds) |
| 21:56:03 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 22:01:05 | → | mmohammadi9812 joins (~mmohammad@2.178.147.15) |
| 22:01:18 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 22:02:09 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 22:04:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 22:04:36 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Remote host closed the connection) |
| 22:06:03 | × | knupfer quits (~Thunderbi@200116b82c21c80070e1b703f12bd6d8.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 22:06:50 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 22:08:24 | → | redmp joins (~redmp@172.58.35.128) |
| 22:09:46 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 22:10:09 | × | david__ quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 22:10:33 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 22:10:40 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 22:11:31 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 22:11:33 | → | krt7 joins (488a1c12@72.138.28.18) |
| 22:11:54 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 22:12:09 | × | jneira quits (5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) (Ping timeout: 245 seconds) |
| 22:12:14 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:13:25 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 22:13:31 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 22:15:03 | × | krt quits (488a1c12@72.138.28.18) (Ping timeout: 240 seconds) |
| 22:15:19 | × | malumore quits (~malumore@151.62.118.68) (Ping timeout: 276 seconds) |
| 22:16:19 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 22:16:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:18:18 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 246 seconds) |
| 22:19:14 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 245 seconds) |
| 22:20:04 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 22:20:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:22:55 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 22:24:27 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 22:25:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 22:26:43 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 245 seconds) |
| 22:33:57 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 22:34:16 | × | mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection) |
| 22:39:25 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 22:39:37 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 272 seconds) |
| 22:40:12 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 22:40:18 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 22:40:24 | <dmj`> | would be nice to have a statically enforced UUID library |
| 22:40:32 | <dmj`> | did type level Char land yet |
| 22:41:24 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds) |
| 22:44:15 | <Axman6> | What would it statically enforce? |
| 22:44:20 | × | l8star__ quits (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) (Quit: leaving) |
| 22:44:20 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 22:44:33 | <Axman6> | global uniqueness? That might take a while :) |
| 22:45:54 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 258 seconds) |
| 22:46:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 22:50:11 | <subttle> | Hi all, I have a question regarding some Data type with a Unicode name. I can't seem to import the data type from another file, I get the error "Module ‘Finite’ does not export ‘(🀰)’typecheck". Here is the Gist: https://gist.github.com/subttle/14de170221de98ca9abbc96a3f8f7cad Perhaps I should file a bug or is there something I'm missing? Any help would be appreciated. Thank you. |
| 22:50:59 | <subttle> | haha oops, s/Finite/Dominoes/g in that error message :D |
| 22:51:13 | gitgoood | is now known as gitgppd |
| 22:51:15 | gitgppd | is now known as gitgood |
| 22:51:58 | → | stree joins (~stree@68.36.8.116) |
| 22:52:40 | <monochrom> | Huh, I merely :load it, and it's "(Enable the GADTs extension to allow this)" because the file is using GADT syntax. |
| 22:53:01 | <Axman6> | That's horrific, I love it |
| 22:53:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:53:50 | <subttle> | monochrom: ah, sorry I had that enabled globally in my cabal build-depends, updated the gist, thanks :) |
| 22:53:54 | <Axman6> | do you need to enable UnicodeSyntax in the module importing it? |
| 22:54:22 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 22:54:29 | <monochrom> | I bet yes for realistic uses. |
| 22:54:32 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 22:54:32 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 22:54:33 | <subttle> | The Unicode syntax is simply because I'm using single char `∷` instead of "::" |
| 22:54:47 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 22:54:51 | <monochrom> | But currently I just have "module F where import Dominoes THE END" and no problem so far. |
| 22:55:25 | <monochrom> | After enabling GADTs in Dominoes.hs, that is. |
| 22:55:39 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 22:55:41 | <subttle> | Axman6: haha thanks, I have UnicodeSyntax enabled globally anyway |
| 22:55:47 | <Axman6> | ew |
| 22:56:39 | Athas_ | is now known as Athas |
| 22:57:16 | × | fendor quits (~fendor@178.165.128.28.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 22:57:45 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 22:58:11 | <subttle> | monochrom: So when you import `(🀰) into another file it works for you? Interesting. I'll keep looking into it, thanks for the help! |
| 22:58:37 | <subttle> | Axman6: it's the only way to live :D |
| 22:58:46 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 22:58:48 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 22:58:50 | <Axman6> | Reminder me to never colaborate with you :) |
| 22:58:55 | <monochrom> | I don't know how to reproduce your error. |
| 22:59:13 | <monochrom> | As said, I can reproduce some other error, but that's easily fixed, as said. |
| 22:59:26 | <subttle> | Axman6: lmao |
| 23:00:01 | <subttle> | monochrom: Well, the error originally comes from me trying to finally reorganize this gigantic file: https://github.com/subttle/regular/blob/master/src/Finite.hs#L2532 |
| 23:02:43 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:03:10 | <Axman6> | subttle: I am curious to see what that app looks like when it's done though, I do kind of love the idea of being able to use the very niche parts of unicode for domain specific stuff, but being impossible to type makes it not so fun froim a programmer's point of view |
| 23:03:28 | <subttle> | So I split it into a new file NEF.hs (Non Empty Finite) and when I try to import everything from Finite it works fine except for the types `(🁢), (🀰)` |
| 23:04:43 | <subttle> | Axman6: thanks <3 |
| 23:05:14 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 260 seconds) |
| 23:05:21 | × | bergey quits (~user@107.181.19.30) (Ping timeout: 264 seconds) |
| 23:05:57 | <subttle> | monochrom: I don't expect you to look through the thing to help me figure it out, I'll try to to isolate the issue further, I appreciate your help thus far! |
| 23:07:39 | → | owl1 joins (~owl@5.134.185.69) |
| 23:09:17 | × | teej quits (uid154177@gateway/web/irccloud.com/x-dmrpztuemewvoove) (Quit: Connection closed for inactivity) |
| 23:09:31 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 23:11:12 | ← | owl1 parts (~owl@5.134.185.69) () |
| 23:14:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:15:55 | → | teej joins (uid154177@gateway/web/irccloud.com/x-dbeumxrslumknqne) |
| 23:17:00 | → | kam1 joins (~kam1@83.123.154.198) |
| 23:19:20 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 23:19:39 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 245 seconds) |
| 23:21:32 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 23:23:48 | <subttle> | Ah, okay I figured it out, just in case anyone was wondering. As monochrom suggested I can `import Dominoes` just fine as long as I don't try to explicitly list what I'm importing, OR if I want to be explicit I have to say `type` in front of it |
| 23:24:37 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:25:11 | <subttle> | for sake of completeness here is what that looks like `import Dominoes (type (🀰), type (🁢))` |
| 23:25:30 | → | kam1 joins (~kam1@83.123.154.198) |
| 23:25:49 | <subttle> | Thanks everyone! |
| 23:26:08 | <monochrom> | :) |
| 23:26:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 23:26:26 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 23:27:10 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 23:28:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 23:28:44 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 23:28:48 | × | creuxsader quits (~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:28:50 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:29:14 | → | gitgoood joins (~gitgood@82-132-218-38.dab.02.net) |
| 23:31:33 | × | cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 256 seconds) |
| 23:31:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 23:31:51 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 23:31:56 | × | gitgood quits (~gitgood@82-132-216-176.dab.02.net) (Read error: Connection reset by peer) |
| 23:33:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:33:29 | → | curiousgay joins (~gay@178.217.208.8) |
| 23:34:33 | gitgoood | is now known as gitgood |
| 23:35:24 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 23:38:57 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds) |
| 23:40:50 | → | l8star__ joins (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) |
| 23:41:44 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 23:42:58 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-kzjqgwvrhyyjysqx) |
| 23:46:11 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 23:46:39 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:e6c8:817b:b58d:6ff3) (Ping timeout: 272 seconds) |
| 23:46:41 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) |
| 23:46:55 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 23:47:15 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 23:48:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 23:50:10 | → | Guest_45 joins (81aeb65c@129.174.182.92) |
| 23:51:36 | → | APugNamedPugsley joins (~13052@2601:58a:8300:f6a0:3167:53:f72a:f09e) |
| 23:51:46 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 23:52:12 | → | kam1 joins (~kam1@83.123.154.198) |
| 23:52:45 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 23:56:41 | × | Guest_45 quits (81aeb65c@129.174.182.92) (Quit: Ping timeout (120 seconds)) |
| 23:59:21 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
All times are in UTC on 2021-03-09.