Logs: liberachat/#haskell
| 2021-07-15 19:32:43 | <EvanR> | e.g. there's dependent types, or liquid types, or something like this |
| 2021-07-15 19:33:38 | <tomsmeding> | dminuoso: I like that renaming proposal I think |
| 2021-07-15 19:33:58 | <tomsmeding> | it's pretty inconsequential, which is good |
| 2021-07-15 19:35:02 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-15 19:35:16 | <tomsmeding> | counterpoint to that we should have more control about import identifiers: if all we do is naming things, then it should be easy to figure out what a particular name refers to :p |
| 2021-07-15 19:35:33 | <tomsmeding> | s/import identifiers/importing identifiers/ |
| 2021-07-15 19:36:22 | × | alx741 quits (~alx741@186.178.109.32) (Ping timeout: 245 seconds) |
| 2021-07-15 19:37:10 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 252 seconds) |
| 2021-07-15 19:39:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-15 19:41:52 | <dminuoso> | tomsmeding: Btw, when you didn't notice the difference, it reminds me of that error I got: |
| 2021-07-15 19:41:57 | <dminuoso> | • No instance for (ParseFields (Nested Common)) |
| 2021-07-15 19:41:59 | <dminuoso> | instance ParseField (Nested Common) where |
| 2021-07-15 19:42:18 | <tomsmeding> | :D |
| 2021-07-15 19:42:19 | <dminuoso> | I couldn't believe my eyes for quite a while until I realized what was going on. |
| 2021-07-15 19:42:46 | <tomsmeding> | I venture that f vs F is still a bit more subtle in that position, but yes same thing :p |
| 2021-07-15 19:42:47 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-15 19:46:41 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-15 19:48:26 | → | mikail_ joins (~mikail@90.212.77.3) |
| 2021-07-15 19:49:21 | → | alx741 joins (~alx741@181.196.68.89) |
| 2021-07-15 19:50:27 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-15 19:50:57 | × | mikail quits (~mikail@90.212.77.3) (Ping timeout: 245 seconds) |
| 2021-07-15 19:52:31 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-15 19:52:53 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 19:54:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2021-07-15 19:55:16 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-07-15 19:57:21 | × | burnsidesLlama quits (~burnsides@client-8-82.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-07-15 19:57:57 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 19:58:39 | → | retroid_ joins (~retro@90.218.175.34) |
| 2021-07-15 20:01:40 | → | xff0x joins (~xff0x@2001:1a81:5396:d100:2b35:b634:3ed0:60cf) |
| 2021-07-15 20:02:17 | × | retro_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-15 20:02:59 | → | retro_ joins (~retro@90.218.175.34) |
| 2021-07-15 20:03:31 | × | retroid_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-15 20:05:14 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 258 seconds) |
| 2021-07-15 20:06:03 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 250 seconds) |
| 2021-07-15 20:06:45 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-15 20:09:08 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-15 20:10:07 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-15 20:12:26 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-15 20:14:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 245 seconds) |
| 2021-07-15 20:17:17 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-15 20:17:27 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-15 20:17:55 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-15 20:19:06 | → | KUrare joins (~KUrare@user/kurare) |
| 2021-07-15 20:22:26 | → | burnside_ joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 20:22:26 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-15 20:23:59 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-15 20:24:56 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-15 20:25:10 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 20:26:00 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 2021-07-15 20:27:06 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-15 20:29:02 | <stevenxl> | Is there a function that tests that the elements in a list are equal w/o regard to order? |
| 2021-07-15 20:29:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 20:29:26 | <Rembane> | stevenxl: f x = x == sort x |
| 2021-07-15 20:29:31 | <stevenxl> | I guess I could use `all [x `elem` xs]` or something |
| 2021-07-15 20:29:32 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-15 20:29:46 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 2021-07-15 20:29:49 | <stevenxl> | That's probably a better implementation! |
| 2021-07-15 20:31:23 | × | burnside_ quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-15 20:33:03 | <EvanR> | if it's a large number of elements... maybe a different data structure... Data.Set ? |
| 2021-07-15 20:33:58 | → | safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru) |
| 2021-07-15 20:34:01 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-15 20:35:05 | <safinaskar> | i'm very frustrated. Nearly week ago i released some haskell code and nearly nobody answered me! |
| 2021-07-15 20:35:09 | <safinaskar> | here is link: https://mail.haskell.org/pipermail/haskell-cafe/2021-July/134217.html |
| 2021-07-15 20:35:16 | <safinaskar> | also check two hackage links at the end |
| 2021-07-15 20:37:50 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-07-15 20:37:51 | → | mcglk_ joins (~mcglk@131.191.49.120) |
| 2021-07-15 20:40:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-15 20:44:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-15 20:45:32 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 20:48:19 | <maerwald> | did you post on reddig? |
| 2021-07-15 20:48:58 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 246 seconds) |
| 2021-07-15 20:49:16 | <safinaskar> | maerwald: no. i am not sure i even registered |
| 2021-07-15 20:49:27 | <maerwald> | haskell cafe is for old folks |
| 2021-07-15 20:49:29 | <maerwald> | :p |
| 2021-07-15 20:49:48 | <maerwald> | discourse is a bit quiet as well. I think reddit gets the most views |
| 2021-07-15 20:50:09 | <EvanR> | there's also functional programming discord, I heard |
| 2021-07-15 20:50:29 | <maerwald> | but then you have to hang out with the scala folks... |
| 2021-07-15 20:50:43 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-15 20:51:12 | <EvanR> | likely some scala zed going on there at least xD |
| 2021-07-15 20:54:25 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 265 seconds) |
| 2021-07-15 20:54:25 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 265 seconds) |
| 2021-07-15 20:54:55 | → | ubikium joins (~ubikium@2400:2200:b3:fefe:5e3e:e0d9:77e0:5099) |
| 2021-07-15 20:55:22 | × | ubikium quits (~ubikium@2400:2200:b3:fefe:5e3e:e0d9:77e0:5099) (Read error: Connection reset by peer) |
| 2021-07-15 20:55:35 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-15 20:57:51 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b951301624b1129165e7b.dip0.t-ipconnect.de) |
| 2021-07-15 20:59:44 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-15 21:03:30 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-07-15 21:03:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-15 21:06:01 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-15 21:07:09 | <stevenxl> | There was talk at the Haskell.Foundation about it hosting some kind of forum, but seems like our small community is already fractured. |
| 2021-07-15 21:07:33 | <stevenxl> | You get into that XKCD standards comic territory |
| 2021-07-15 21:08:19 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-15 21:08:22 | × | benin0369 quits (~benin@183.82.177.180) (Remote host closed the connection) |
| 2021-07-15 21:09:38 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 21:10:09 | → | chisui joins (~chisui@200116b866e14b00954b747ecb7b95bf.dip.versatel-1u1.de) |
| 2021-07-15 21:12:33 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-15 21:13:42 | <chisui> | Hey, what is the difference between `Data.Category.Kleisli` from base and `Data.Profunctor.Types.Star` from profunctors? As far as I can see they do the exact same. |
| 2021-07-15 21:13:57 | <maerwald> | stevenxl: isn't that discourse? |
| 2021-07-15 21:14:28 | <stevenxl> | maerwald: No I think they decided against adding to the list of "Haskell communities". |
| 2021-07-15 21:14:43 | <Hecate> | We don't have another forum |
All times are in UTC.