Logs: freenode/#haskell
| 2020-09-24 14:41:18 | × | Guest74273 quits (~z0@bl17-248-65.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2020-09-24 14:41:53 | <maerwald> | sm[m]: we tend to add esoteric stuff, but not care too much about technical deb |
| 2020-09-24 14:41:53 | → | henninb joins (~henninb@63-226-191-96.mpls.qwest.net) |
| 2020-09-24 14:41:55 | <maerwald> | t |
| 2020-09-24 14:42:16 | <dminuoso> | sm[m]: I dont think it's the right characterization. I find it unlikely that the main thing that people drives away from Haskell is "String is inefficient". |
| 2020-09-24 14:42:38 | <int-e> | but why does it have to be in base... base is too big already |
| 2020-09-24 14:43:09 | → | jedws joins (~jedws@2001:8003:337f:1b00:4ccc:a9c7:5cc7:b953) |
| 2020-09-24 14:43:13 | <Cale> | The thing that prevents Haskell from being popular is that it is very much unlike most other programming languages |
| 2020-09-24 14:43:22 | → | schiava_trav joins (~luca@2001:b07:6463:cabb:a808:a7b7:a175:cb05) |
| 2020-09-24 14:43:23 | <geekosaur> | I thought @free didn't support typeclasses or something like that |
| 2020-09-24 14:43:26 | <sm[m]> | here's the full comment for context: https://news.ycombinator.com/item?id=24570095 |
| 2020-09-24 14:43:38 | <Cale> | geekosaur: ah, perhaps! |
| 2020-09-24 14:43:39 | <dolio> | It supports some now. |
| 2020-09-24 14:43:41 | <Cale> | @free map |
| 2020-09-24 14:43:43 | <lambdabot> | g . h = k . f => $map g . map h = map k . $map f |
| 2020-09-24 14:43:48 | ← | schiava_trav parts (~luca@2001:b07:6463:cabb:a808:a7b7:a175:cb05) () |
| 2020-09-24 14:43:50 | <Cale> | Yeah, there we go |
| 2020-09-24 14:43:59 | <dolio> | But it wouldn't support functor, I think. |
| 2020-09-24 14:44:00 | × | henninb quits (~henninb@63-226-191-96.mpls.qwest.net) (Client Quit) |
| 2020-09-24 14:44:02 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-24 14:44:12 | <dolio> | Oh wait, I think I'm thinking of djinn. |
| 2020-09-24 14:44:45 | × | _vaibhavingale_ quits (~Adium@110.172.22.172) (Ping timeout: 240 seconds) |
| 2020-09-24 14:45:07 | → | _vaibhavingale_ joins (~Adium@203.188.228.27) |
| 2020-09-24 14:45:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-24 14:45:27 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2020-09-24 14:46:01 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-09-24 14:46:13 | <AWizzArd> | How efficiently can ghc compile this? setA a <> setB b <> ... <> setZ z $ defaultConfig |
| 2020-09-24 14:46:27 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 14:46:38 | <AWizzArd> | The end result will be setA a defaultConfig <> setB b defaultConfig <> ... <> setZ z defaultConfig |
| 2020-09-24 14:46:50 | <dminuoso> | AWizzArd: Hard to say in general. |
| 2020-09-24 14:47:08 | <AWizzArd> | ok |
| 2020-09-24 14:47:20 | <dolio> | It might figure it all out, but it seems like it's just asking for trouble. |
| 2020-09-24 14:47:22 | <dmwit> | How inefficient is it possible to get with something so simple? |
| 2020-09-24 14:47:43 | <int-e> | ghc inlines heavily so this can easily reduce to a single constructor application. |
| 2020-09-24 14:48:28 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds) |
| 2020-09-24 14:48:44 | <dminuoso> | AWizzArd: Also, for that concrete part, compile with -O2 and look at the core? |
| 2020-09-24 14:48:55 | <dminuoso> | Then you know exactly how GHC will compile it. ;) |
| 2020-09-24 14:49:04 | <dmwit> | The worst thing I can imagine the compiler doing has the same asymptotics as the best thing I can imagine it doing. |
| 2020-09-24 14:49:23 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds) |
| 2020-09-24 14:50:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-09-24 14:50:19 | <int-e> | Constructing a configuration... seems unlikely to be a hotspot in the code. |
| 2020-09-24 14:50:59 | <int-e> | If it were a hotspot... constant factors matter. |
| 2020-09-24 14:51:20 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-24 14:51:38 | <int-e> | (And we care. List fusion mostly does not affect asymptotics, but it makes a huge difference for constant factors.) |
| 2020-09-24 14:51:38 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-24 14:52:42 | <int-e> | (List fusion, ironically, also means that our inefficient String type can carry a lot of stuff efficiently enough... as long as strings are generated and consumed on the fly, not stored.) |
| 2020-09-24 14:52:54 | × | sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!) |
| 2020-09-24 14:53:49 | <dolio> | Does text do fusion? |
| 2020-09-24 14:54:05 | <Taneb> | Yes, sometimes |
| 2020-09-24 14:54:26 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-09-24 14:54:48 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-09-24 14:54:50 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-09-24 14:56:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 14:57:23 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2020-09-24 14:57:41 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2020-09-24 14:58:37 | → | leonardys joins (~leonard@118.136.193.220) |
| 2020-09-24 15:00:01 | × | Flaim1 quits (~Flaim@178.239.168.171) () |
| 2020-09-24 15:01:15 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-09-24 15:02:42 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-09-24 15:03:42 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 15:03:50 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 15:04:19 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Remote host closed the connection) |
| 2020-09-24 15:05:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-24 15:07:23 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 258 seconds) |
| 2020-09-24 15:07:49 | × | leonardys quits (~leonard@118.136.193.220) (Quit: WeeChat 2.9) |
| 2020-09-24 15:08:08 | → | z0 joins (~z0@bl17-248-65.dsl.telepac.pt) |
| 2020-09-24 15:08:32 | z0 | is now known as Guest69388 |
| 2020-09-24 15:10:36 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 15:10:42 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 15:12:28 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-09-24 15:12:46 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-24 15:16:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 15:17:48 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-09-24 15:19:02 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-24 15:21:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-24 15:23:28 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds) |
| 2020-09-24 15:24:15 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-24 15:24:42 | × | jedws quits (~jedws@2001:8003:337f:1b00:4ccc:a9c7:5cc7:b953) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-24 15:25:04 | <AWizzArd> | Is there a way to register some kind of onSuccessfulServerStart hook that will allow me to print "Service started!" somewhere? |
| 2020-09-24 15:25:23 | → | jneira_ joins (~jneira@242.red-176-83-10.dynamicip.rima-tde.net) |
| 2020-09-24 15:25:48 | × | shad0w_ quits (~shad0w_@160.202.37.157) (Ping timeout: 260 seconds) |
| 2020-09-24 15:26:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 15:27:33 | × | jneira[m] quits (~jneira@80.30.101.206) (Ping timeout: 260 seconds) |
| 2020-09-24 15:28:08 | × | jneira_ quits (~jneira@242.red-176-83-10.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-09-24 15:28:51 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 258 seconds) |
| 2020-09-24 15:29:26 | → | jneira_ joins (~jneira@242.red-176-83-10.dynamicip.rima-tde.net) |
| 2020-09-24 15:29:37 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:8541:dba8:723b:a7a4) (Ping timeout: 260 seconds) |
| 2020-09-24 15:29:57 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-09-24 15:30:14 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 15:31:31 | <phadej> | using what? warp? |
| 2020-09-24 15:32:03 | <phadej> | there is e.g. https://hackage.haskell.org/package/warp-3.3.13/docs/Network-Wai-Handler-Warp.html#v:setBeforeMainLoop |
| 2020-09-24 15:33:07 | <AWizzArd> | phadej: looks good |
| 2020-09-24 15:34:05 | × | chalkmonster quits (~chalkmons@unaffiliated/chalkmonster) (Remote host closed the connection) |
| 2020-09-24 15:35:08 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 2020-09-24 15:35:25 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 240 seconds) |
| 2020-09-24 15:35:40 | × | jlamothe quits (~jlamothe@dev.jlamothe.net) (Ping timeout: 272 seconds) |
| 2020-09-24 15:35:46 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-09-24 15:36:24 | × | chele quits (~chele@2a02:8106:1:f900:faca:b8ff:fe2f:8499) (Remote host closed the connection) |
| 2020-09-24 15:37:46 | → | shad0w_ joins (~shad0w_@160.202.37.157) |
| 2020-09-24 15:37:54 | → | jespada joins (~jespada@90.254.241.6) |
All times are in UTC.