Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 .. 5022
— 502,152 events total
2020-11-02 13:20:35 × texasmynsted quits (~texasmyns@212.102.45.115) (Ping timeout: 260 seconds)
2020-11-02 13:21:12 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-11-02 13:23:44 × alp quits (~alp@2a01:e0a:58b:4920:34a0:e5bb:3231:c2c3) (Ping timeout: 240 seconds)
2020-11-02 13:26:16 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-02 13:26:19 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-11-02 13:27:14 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-02 13:28:52 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 13:30:20 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-02 13:31:37 × akad_ quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 260 seconds)
2020-11-02 13:31:51 → ggole joins (~ggole@2001:8003:8119:7200:c42a:651c:d46:c888)
2020-11-02 13:33:36 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-11-02 13:37:09 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-02 13:41:03 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 13:41:12 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-02 13:43:27 × Sanchayan quits (~Sanchayan@106.200.218.30) (Quit: leaving)
2020-11-02 13:44:18 → khaladrogo joins (~khaladrog@2405:204:5217:6256:258b:d489:f19c:6ea7)
2020-11-02 13:44:51 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-11-02 13:45:37 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-02 13:46:12 × drbean quits (~drbean@TC210-63-209-202.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-11-02 13:47:36 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-11-02 13:49:30 hackage http-rfc7807 0.1.0.0 - RFC7807 style response messages https://hackage.haskell.org/package/http-rfc7807-0.1.0.0 (PeterTrsko)
2020-11-02 13:50:00 → texasmynsted joins (~texasmyns@212.102.45.115)
2020-11-02 13:51:40 <dminuoso> merijn: Interestingly, sizeOf *should* not be fed with undefined.
2020-11-02 13:51:46 <dminuoso> In most cases there are proper values around
2020-11-02 13:52:43 <dminuoso> Storable is quite unusable for flexible length things, even if you implement sizeOf to use it, `with` will feed you an undefined rather than the argument.
2020-11-02 13:53:02 <dminuoso> alloca = allocaBytesAligned (sizeOf (undefined :: a)) (alignment (undefined :: a))
2020-11-02 13:54:22 × texasmynsted quits (~texasmyns@212.102.45.115) (Ping timeout: 260 seconds)
2020-11-02 13:57:06 × Ariakenom quits (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2020-11-02 13:57:43 → alp joins (~alp@2a01:e0a:58b:4920:34a0:e5bb:3231:c2c3)
2020-11-02 13:58:57 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-02 13:59:17 <bqv> lucky for me, i'm just interfacing a pretty basic C library
2020-11-02 13:59:26 <bqv> either way, thanks friends, it works!
2020-11-02 13:59:30 × todda7 quits (~torstein@2a02:587:d28:2900:bd30:f5ea:90f2:33aa) (Ping timeout: 268 seconds)
2020-11-02 14:00:52 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-02 14:01:44 → Ariakenom joins (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se)
2020-11-02 14:02:43 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 14:04:39 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-02 14:07:56 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 14:08:30 → zx__ joins (~oracle@unaffiliated/oracle)
2020-11-02 14:09:13 × kish` quits (~oracle@unaffiliated/oracle) (Disconnected by services)
2020-11-02 14:09:19 zx__ is now known as kish`
2020-11-02 14:09:49 × sam___ quits (~sam@48.16.23.93.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-02 14:10:08 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds)
2020-11-02 14:11:18 → sam___ joins (~sam@187.164.185.81.rev.sfr.net)
2020-11-02 14:11:26 <idnar> merijn: nowadays I use TypeApplications instead of Proxy :P
2020-11-02 14:11:40 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-02 14:11:48 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-02 14:12:33 × machinedgod quits (~machinedg@207.253.244.210) (Quit: leaving)
2020-11-02 14:12:50 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-02 14:12:54 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-02 14:13:09 × eedgit quits (~eedgit@95.179.237.21) (Quit: Ping timeout (120 seconds))
2020-11-02 14:13:18 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 14:13:29 → eedgit joins (~eedgit@95.179.237.21)
2020-11-02 14:14:49 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-02 14:18:42 × Tario quits (~Tario@200.119.184.48) (Ping timeout: 256 seconds)
2020-11-02 14:18:48 <dminuoso> idnar: Congratulations, you now rely on an unstable API
2020-11-02 14:19:17 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 14:19:26 <dminuoso> Do you have polykinds? Then you better also explicitly quantify those, or you dont have compatibility with 8.8
2020-11-02 14:19:30 <dminuoso> (Or was it 8.10?)
2020-11-02 14:19:45 <dminuoso> And you must constantly live with the fact that GHC can just change the order of type variables,
2020-11-02 14:20:03 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 14:21:49 → Ariakenom_ joins (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se)
2020-11-02 14:22:40 <davean> dminuoso: Yah the type variable order thing with TypeApplication is insane :(
2020-11-02 14:23:04 <davean> I only use type application with explicite forall
2020-11-02 14:23:04 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
2020-11-02 14:23:20 <dminuoso> davean: Indeed. I tend to only use it for Proxy
2020-11-02 14:23:22 <idnar> dminuoso: that certainly sounds like me! I think it won't reorder if you have explicit `forall`, and not working on a library means I care less about compat
2020-11-02 14:23:45 → Tario joins (~Tario@200.119.184.48)
2020-11-02 14:23:48 × Ariakenom quits (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2020-11-02 14:24:09 <davean> idnar: it won't reorder the type variables listed in the forall, correct.
2020-11-02 14:24:10 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-02 14:24:51 <idnar> but I basically have every extension on at this point :P
2020-11-02 14:24:52 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-02 14:24:58 <dminuoso> idnar: Next up, you can only apply visible type arguments
2020-11-02 14:25:06 <dminuoso> In some situations that can be really annoying
2020-11-02 14:25:10 × stree_ quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-11-02 14:25:27 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-11-02 14:25:30 <merijn> idnar: Right, but almost no one has explicit forall in their code and most people don't consider "type variable order" part of their public API for PVP purposes
2020-11-02 14:25:45 × Ariakenom_ quits (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2020-11-02 14:26:32 → andi- joins (~andi-@NixOS/user/andi-)
2020-11-02 14:26:59 <idnar> merijn: yeah, my comment was firmly tongue-in-cheek :)
2020-11-02 14:27:00 <dminuoso> I mean if you use it for Proxy, then TypeApplications is completely benign and great. If its internal, well you have enough weapons to hurt yourself anyway, but for public API its best to just use Proxy
2020-11-02 14:27:02 <dminuoso> oh
2020-11-02 14:27:32 <dminuoso> idnar: Its interesting how Haskell seems to be split into two kinds of people
2020-11-02 14:27:54 <dminuoso> Those who progressively end up with nearly all extensions enabled, and those who fight against any extension.
2020-11-02 14:28:00 <dminuoso> I seem to belong to the former group
2020-11-02 14:28:09 <dminuoso> Rarey do I have a module with less than 8 extensions...
2020-11-02 14:28:45 <dminuoso> TypeFamilies, ScopedTypeVariables, RankNTypes are currently my favourite ones..
2020-11-02 14:29:05 <davean> I'm kinda in the middle
2020-11-02 14:29:15 <idnar> I ran into an awkward spot with GADTs and skolems where I had to use a proxy to make it work
2020-11-02 14:30:01 <dminuoso> % let f = id in f @Int 1
2020-11-02 14:30:01 <yahb> dminuoso: ; <interactive>:329:15: error:; * Cannot apply expression of type `a0 -> a0'; to a visible type argument `Int'; * In the expression: f @Int 1; In the expression: let f = id in f @Int 1; In an equation for `it': it = let f = id in f @Int 1
2020-11-02 14:30:06 <dminuoso> It's easy to hit the limits of TA :)
2020-11-02 14:30:58 <dminuoso> davean: Where do you draw the line?
2020-11-02 14:31:26 <dminuoso> Are there particular extensions you dont like? Or is there a maximum number of extensions?
2020-11-02 14:31:44 <merijn> I prefer non-infectious extensions
2020-11-02 14:32:00 <merijn> i.e. where the consumer of the code doesn't need the extension
2020-11-02 14:32:15 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 14:32:52 × yumh quits (~yumh@mail.xglobe.in) (Ping timeout: 256 seconds)
2020-11-02 14:33:18 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 .. 5022

All times are in UTC.