Logs: liberachat/#haskell
| 2021-06-19 09:46:14 | <tomsmeding> | maerwald[m]: hm, sounds plausible |
| 2021-06-19 09:46:14 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-19 10:02:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-19 10:02:46 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-19 10:03:00 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-19 10:03:54 | → | saolof joins (~olofs@185.247.71.68) |
| 2021-06-19 10:04:25 | × | amirouche quits (~amirouche@static.62.204.203.116.clients.your-server.de) (Quit: I will be back!) |
| 2021-06-19 10:04:38 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-06-19 10:05:20 | <dragestil> | Does anyone have a streaming url for zurihac? I can't find it at https://zfoh.ch/zurihac2021/ |
| 2021-06-19 10:06:47 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-19 10:06:53 | → | kuribas joins (~user@ptr-25vy0i7qpn0l1vseydq.18120a2.ip6.access.telenet.be) |
| 2021-06-19 10:07:30 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2021-06-19 10:09:04 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-19 10:10:22 | <fendor> | dragestil, for the current talk: https://us02web.zoom.us/j/83721486748?pwd=QTV5WXNqWlRhN09sSkRJbWJsRythUT09 |
| 2021-06-19 10:11:09 | <dragestil> | Thanks fendor, i thought they use youtube... |
| 2021-06-19 10:11:21 | <fendor> | dragestil, for some talks they do |
| 2021-06-19 10:11:34 | × | MQ-17J quits (~MQ-17J@8.6.144.186) (Ping timeout: 244 seconds) |
| 2021-06-19 10:11:37 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-19 10:11:56 | <fendor> | I guess, when they want interaction, they use zoom? Idk |
| 2021-06-19 10:13:02 | <dragestil> | I was looking for a streaming link for non hackathon / interactive talks but could not find any on their site |
| 2021-06-19 10:13:04 | × | fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Ping timeout: 268 seconds) |
| 2021-06-19 10:13:25 | → | fabfianda joins (~fabfianda@mob-5-90-246-42.net.vodafone.it) |
| 2021-06-19 10:14:21 | <dragestil> | I guess the links are posted in discord. Thanks anyway |
| 2021-06-19 10:15:33 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-19 10:17:28 | <boxscape> | dragestil originally the plan was to do interactive talks in discord, but there turned out to be a 25 person limit for a room |
| 2021-06-19 10:18:07 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2021-06-19 10:18:42 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 10:19:00 | × | Guest9 quits (~Guest9@103.250.137.30) (Quit: Connection closed) |
| 2021-06-19 10:19:22 | <dragestil> | I see. Not familiar with discord. I guess I'll watch the recording on invidious / youtube when the event is over :) |
| 2021-06-19 10:20:04 | <dragestil> | Some talks from yesterday seem to be available already |
| 2021-06-19 10:20:22 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-06-19 10:20:27 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-19 10:20:42 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-06-19 10:21:56 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-19 10:23:20 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 10:23:55 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-19 10:24:35 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-19 10:26:38 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-06-19 10:26:44 | <kuribas> | :i zipWithM |
| 2021-06-19 10:26:49 | <kuribas> | :t zipWithM |
| 2021-06-19 10:26:50 | <lambdabot> | Applicative m => (a -> b -> m c) -> [a] -> [b] -> m [c] |
| 2021-06-19 10:27:52 | <kuribas> | should have been zipWithA |
| 2021-06-19 10:27:55 | <kuribas> | :t zipWithA |
| 2021-06-19 10:27:57 | <lambdabot> | error: |
| 2021-06-19 10:27:57 | <lambdabot> | • Variable not in scope: zipWithA |
| 2021-06-19 10:27:57 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-06-19 10:28:35 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-19 10:29:00 | → | ubert joins (~Thunderbi@p200300ecdf259d37e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-19 10:29:03 | <tomsmeding> | :t sequence |
| 2021-06-19 10:29:04 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-06-19 10:29:05 | <tomsmeding> | :t sequenceA |
| 2021-06-19 10:29:06 | <lambdabot> | (Traversable t, Applicative f) => t (f a) -> f (t a) |
| 2021-06-19 10:29:47 | tomsmeding | wonders why 'sequence' isn't just changed to only require Applicative |
| 2021-06-19 10:29:49 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-19 10:30:16 | tomsmeding | realises that that would be a breaking change because it's a class method |
| 2021-06-19 10:34:18 | × | fabfianda quits (~fabfianda@mob-5-90-246-42.net.vodafone.it) (Ping timeout: 240 seconds) |
| 2021-06-19 10:34:32 | → | fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) |
| 2021-06-19 10:36:51 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-06-19 10:37:09 | → | cheater joins (~Username@user/cheater) |
| 2021-06-19 10:37:30 | → | Guest95 joins (~Guest95@202.36.179.107) |
| 2021-06-19 10:37:55 | → | altern joins (~altern@altern.corbina.com.ua) |
| 2021-06-19 10:40:35 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Remote host closed the connection) |
| 2021-06-19 10:40:58 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-19 10:41:51 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-19 10:43:07 | <kuribas> | I am missing infix for partially applied functions. |
| 2021-06-19 10:43:23 | <kuribas> | like: foo `partially 1` bar |
| 2021-06-19 10:43:50 | <kuribas> | or: foo `partially 1` bar `partially 2` fu `partially 3` fuga |
| 2021-06-19 10:44:44 | <kuribas> | I guess "partially 1 foo $ partially 2 fu $ partially 3 fuga" is fine :-) |
| 2021-06-19 10:45:08 | × | saolof quits (~olofs@185.247.71.68) (Ping timeout: 268 seconds) |
| 2021-06-19 10:47:49 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-19 10:51:43 | <teaSlurper> | hey |
| 2021-06-19 10:51:48 | <boxscape> | kuribas foo &partially 1$ bar |
| 2021-06-19 10:52:11 | <boxscape> | hey teaSlurper |
| 2021-06-19 10:52:13 | <teaSlurper> | how do i refer to a variable name in same file that has an ambiguous name with another namespace in the prelude library |
| 2021-06-19 10:52:16 | <kuribas> | boxscape: noice :) |
| 2021-06-19 10:52:27 | <teaSlurper> | example |
| 2021-06-19 10:52:28 | <teaSlurper> | pi |
| 2021-06-19 10:52:33 | <kuribas> | teaSlurper: with a qualified import. |
| 2021-06-19 10:52:57 | <boxscape> | import qualified MyLibrary as ML |
| 2021-06-19 10:52:59 | <boxscape> | ML.pi |
| 2021-06-19 10:53:21 | <boxscape> | or just `import qualified MyLibrary` and then `MyLibrary.pi` |
| 2021-06-19 10:53:23 | <kuribas> | teaSlurper: you can import the prelude qualified. That said, try to avoid clashing with prelude... |
| 2021-06-19 10:53:44 | <boxscape> | oh wait, defined in the same file |
| 2021-06-19 10:53:58 | <boxscape> | teaSlurper what I said would only work if it's in a different file, but what kuribas said works |
| 2021-06-19 10:53:59 | <teaSlurper> | in same file ye, 'hiding' keyword? |
| 2021-06-19 10:54:06 | <boxscape> | yes, hiding works, too |
| 2021-06-19 10:54:09 | <boxscape> | import Prelude hiding (pi) |
| 2021-06-19 10:54:39 | <teaSlurper> | thx |
| 2021-06-19 10:54:46 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 10:54:47 | <teaSlurper> | is prelude haskell's standard library? |
| 2021-06-19 10:55:07 | <boxscape> | it's the parts of the standard libraries that are imported by default |
| 2021-06-19 10:55:31 | <boxscape> | there are other parts of the standard libraries you have to import explicitly |
| 2021-06-19 10:55:39 | <boxscape> | like some of the things in Data.List, for example |
| 2021-06-19 10:56:10 | <teaSlurper> | i see, thx |
| 2021-06-19 10:59:19 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-06-19 10:59:50 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-19 11:00:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-19 11:02:11 | × | xff0x quits (~xff0x@2001:1a81:5339:fe00:8365:3158:f169:6936) (Ping timeout: 272 seconds) |
| 2021-06-19 11:02:46 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:214:efbd:9851:b8b5) |
| 2021-06-19 11:03:41 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
All times are in UTC.