Logs: freenode/#haskell
| 2021-04-04 10:02:02 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-04 10:02:21 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-04 10:02:35 | × | HenryCH quits (~henry@2001:8e0:2003:e600:90c2:bde0:c24a:88c) () |
| 2021-04-04 10:02:38 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 2021-04-04 10:02:57 | <edwardk> | tbh, we _could_ filter that by base version and drop a good chunk of the index. |
| 2021-04-04 10:09:20 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-04-04 10:17:01 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-04 10:18:29 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-04 10:19:11 | → | esp32_prog joins (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-04-04 10:19:54 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-04 10:20:06 | <maralorn> | It seems the streamly library does not get a lot of adoption in the ecosystem although it seems like it ought to be quite universally applicable. Are there any known critiques of it that I can read? |
| 2021-04-04 10:21:00 | <maerwald> | maralorn: I don't know of any, except that API is still in flux, lots of stuff needs internal modules (these are exposed) and navigating the documentation can be bewildering |
| 2021-04-04 10:21:24 | <maerwald> | but it's certainly better than conduit, even in API usability |
| 2021-04-04 10:21:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Client Quit) |
| 2021-04-04 10:21:29 | <cub3s_> | maralorn, i haven't seen any critiques of it. as far as i can tell, it's simply the most superior streaming library given its stream fusion capabilities - focus on speed (tested in benchmarks) |
| 2021-04-04 10:21:57 | <cub3s_> | everything else is completely overrated imo and is, last time i checked, orders of magnitude slower than C |
| 2021-04-04 10:22:02 | <cub3s_> | only streamly comes even close to c |
| 2021-04-04 10:23:27 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 260 seconds) |
| 2021-04-04 10:24:13 | <cub3s_> | one thing i noticed the "streaming" library (thanks a lot to those guys for naming the library after the general concept /s) can do that streamly can't is a "streams of streams" concept, but the reason for that is again performance. |
| 2021-04-04 10:24:26 | <cub3s_> | if you don't mind 10x, 100x slowdown, go ahead and abstract your heart away |
| 2021-04-04 10:25:01 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2021-04-04 10:25:15 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) |
| 2021-04-04 10:25:41 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 10:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 10:27:36 | <cub3s_> | dmwit, thanks, makes sense. |
| 2021-04-04 10:27:52 | <cub3s_> | edwardk, i guess it hasn't been done. it's 1.7GB uncompressed. no big deal imo. |
| 2021-04-04 10:28:06 | <cub3s_> | (i was just curious) |
| 2021-04-04 10:29:03 | × | esp32_prog quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 2021-04-04 10:29:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-04 10:30:26 | <maralorn> | cub3s_: After the effectsystem debacle I don‘t trust benchmarks anymore. |
| 2021-04-04 10:30:46 | → | vv8 joins (~egp_@2.95.145.35) |
| 2021-04-04 10:30:53 | × | ADG1089 quits (~aditya@223.235.216.238) (Quit: Konversation terminated!) |
| 2021-04-04 10:32:34 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-04 10:33:08 | <cub3s_> | maralorn, i'm not familiar with that... but https://github.com/composewell/streaming-benchmarks: "Due care has been taken to keep the comparisons fair. Please send an email or a PR if the benchmarking code has a problem or is unfair to some library in any way." |
| 2021-04-04 10:33:37 | <cub3s_> | anyway i care most about my own code. if i notice order of magnitude speed boosts in real life, i will go for those :D |
| 2021-04-04 10:33:48 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-04 10:34:01 | <maralorn> | cub3s_: Makes sense. |
| 2021-04-04 10:34:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 10:35:00 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-04 10:35:17 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-04 10:35:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 10:35:26 | <cub3s_> | tbh, i don't REALLY know what stream fusion even is. all i know it seems to work :D |
| 2021-04-04 10:35:47 | <cub3s_> | from my point of view so far, it's just magic that compiles away all intermediate haskell stuff |
| 2021-04-04 10:36:13 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-04 10:36:45 | <maralorn> | cub3s_: I was referring to a talk by lexilambda on last years zurihac. The talk was very good and her point was basically that everyone had been doing effect system benchmarks wrong because polymorphic code in real world applications will get a lot less inlining. |
| 2021-04-04 10:36:59 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-04 10:38:47 | <cub3s_> | maralorn, oh, i think i saw that talk some time ago! streamly relies heavily on inlining. one can forget to inline and one is back to 10x slower. |
| 2021-04-04 10:38:55 | <cub3s_> | https://www.youtube.com/watch?v=uzsqgdMMgtk streamly author talked about this here |
| 2021-04-04 10:39:11 | <maralorn> | cub3s_: I think the core idea of stream fusion is to have an optimisation that when you do two subsequent operations on a list of things you don‘t build up the list of intermediate values in memory but directly apply both steps on each value. |
| 2021-04-04 10:39:47 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-04 10:39:53 | <maralorn> | That’s important for vector, text and bytestring. I don‘t really understand how it applies to streamly since it already explicitly uses streams … |
| 2021-04-04 10:43:45 | → | kuribas joins (~user@ptr-25vy0i83sb71lqt997o.18120a2.ip6.access.telenet.be) |
| 2021-04-04 10:45:13 | <cub3s_> | maralorn, i haven't fully wrapped my mind around it either |
| 2021-04-04 10:46:51 | → | pierro joins (524145c7@82-65-69-199.subs.proxad.net) |
| 2021-04-04 10:47:05 | × | pierro quits (524145c7@82-65-69-199.subs.proxad.net) (Client Quit) |
| 2021-04-04 10:47:09 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-04 10:47:17 | → | pierro joins (524145c7@82-65-69-199.subs.proxad.net) |
| 2021-04-04 10:47:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9561c5c4ebb47e158d05.dip0.t-ipconnect.de) |
| 2021-04-04 10:50:07 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-04 10:51:48 | × | average quits (uid473595@gateway/web/irccloud.com/x-rlnzyfvyufopfriy) (Quit: Connection closed for inactivity) |
| 2021-04-04 10:53:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-04 10:53:42 | → | average joins (uid473595@gateway/web/irccloud.com/x-wmrfwhwgtxjroplx) |
| 2021-04-04 11:03:31 | ← | pierro parts (524145c7@82-65-69-199.subs.proxad.net) () |
| 2021-04-04 11:07:30 | × | xff0x quits (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) (Ping timeout: 246 seconds) |
| 2021-04-04 11:08:28 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:8ecc:fc17:b59f:86b8) |
| 2021-04-04 11:10:57 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected) |
| 2021-04-04 11:12:04 | <Gurkenglas> | What imaginary language am I writing here? https://gist.github.com/Gurkenglas/9f02cfeba04b35e178753ae4663349ef I want it to prove or disprove my laws and when it can't ask me for help, when I overload (~>) I want it to infer which one I'm using based on what makes it compile, when multiple ways would compile I want it to prove (or disprove or ask for help) they're ==. |
| 2021-04-04 11:15:29 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-04-04 11:15:57 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) |
| 2021-04-04 11:17:14 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) (Ping timeout: 258 seconds) |
| 2021-04-04 11:20:18 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) (Ping timeout: 258 seconds) |
| 2021-04-04 11:25:41 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 11:26:00 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 11:27:46 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-04 11:27:46 | <steerio> | hey all! Sandy Maguire's book (and a lot of other resources) talk about star kinds being replaced by "Type". how do I get that? is there a GHC version that has it or an extension I need to enable? |
| 2021-04-04 11:28:39 | <steerio> | 9.0.1 definitely doesn't have it out of the box, neither does e.g. TypeInType trigger it |
| 2021-04-04 11:29:30 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:3c1:b586:27b7:7153) |
| 2021-04-04 11:35:28 | → | ddere joins (uid110888@gateway/web/irccloud.com/x-zsaufvbzeddqdaps) |
| 2021-04-04 11:35:47 | <edwardk> | {-# LANGUAGE NoStarIsType #-} import Data.Kind |
| 2021-04-04 11:36:36 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 11:39:05 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:6806:39ee:8b3a:57c8) |
| 2021-04-04 11:40:49 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 245 seconds) |
| 2021-04-04 11:41:21 | <edwardk> | the definition in Data.Kind is (morally) type Type = * |
| 2021-04-04 11:45:13 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-04 11:53:38 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-04 11:57:22 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2021-04-04 11:59:36 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-04 12:02:14 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 2021-04-04 12:03:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-04 12:03:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-04 12:05:46 | <steerio> | edwardk: thanks! |
| 2021-04-04 12:06:23 | <steerio> | edwardk: looks like I could've just done a text search on "star" in the extensions list :) |
| 2021-04-04 12:07:52 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 2021-04-04 12:22:26 | <edwardk> | anyways you can use it even without the extension either by defining that type yourself or importing Data.Kind |
| 2021-04-04 12:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 12:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 12:33:42 | × | roconnor quits (~roconnor@host-184-164-13-101.dyn.295.ca) (Ping timeout: 260 seconds) |
| 2021-04-04 12:35:39 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 2021-04-04 12:36:42 | → | mniip joins (mniip@freenode/staff/mniip) |
| 2021-04-04 12:37:06 | → | roconnor joins (~roconnor@host-192.252-170-125.dyn.295.ca) |
All times are in UTC.