Logs: freenode/#haskell
| 2020-09-24 00:52:18 | → | alexm_ joins (~AlexM87@161.8.233.138) |
| 2020-09-24 00:52:59 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2020-09-24 00:53:06 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-24 00:53:22 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-24 00:53:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-24 00:53:54 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-24 00:54:11 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-24 00:54:41 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-24 00:55:09 | → | kento joins (5990ce45@089144206069.atnat0015.highway.bob.at) |
| 2020-09-24 00:55:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-09-24 00:56:01 | × | kento quits (5990ce45@089144206069.atnat0015.highway.bob.at) (Remote host closed the connection) |
| 2020-09-24 00:58:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-09-24 00:59:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-24 01:00:09 | × | Ariakenom__ quits (~Ariakenom@h-98-128-180-170.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2020-09-24 01:03:02 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:fd58:7633:8b1d:97) |
| 2020-09-24 01:05:07 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f0fb:1679:1328:12c4) |
| 2020-09-24 01:06:49 | × | asan quits (~yan4138@124.78.124.81) (Ping timeout: 246 seconds) |
| 2020-09-24 01:07:22 | × | i7ofi9 quits (~i7ofi9@pool-173-76-100-85.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2020-09-24 01:07:34 | lemmih_ | is now known as lemmih |
| 2020-09-24 01:08:55 | → | asan joins (~yan4138@124.78.128.72) |
| 2020-09-24 01:12:44 | × | alexm_ quits (~AlexM87@161.8.233.138) (Remote host closed the connection) |
| 2020-09-24 01:13:15 | <AWizzArd> | Axman6: yes, a qualified import works perfectly, I just thought it could infer the function it needs to use via the :: Text sig. But now with what you said I understand it, thx. |
| 2020-09-24 01:13:55 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 265 seconds) |
| 2020-09-24 01:14:09 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 2020-09-24 01:14:28 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-24 01:14:59 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 2020-09-24 01:22:17 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-09-24 01:22:35 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds) |
| 2020-09-24 01:23:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-24 01:24:03 | → | mud joins (~mud@unaffiliated/kadoban) |
| 2020-09-24 01:24:42 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2020-09-24 01:28:44 | × | stree quits (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-09-24 01:29:02 | → | stree joins (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) |
| 2020-09-24 01:30:48 | → | xchg joins (~xchg@s91904426.blix.com) |
| 2020-09-24 01:33:06 | × | stree quits (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) (Client Quit) |
| 2020-09-24 01:33:22 | → | stree joins (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) |
| 2020-09-24 01:36:30 | × | cr0ssw1nd quits (~crosswind@151.251.248.4) (Ping timeout: 272 seconds) |
| 2020-09-24 01:42:16 | × | stree quits (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-09-24 01:42:32 | → | stree joins (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) |
| 2020-09-24 01:45:32 | → | sand_dull joins (~theuser@62.182.99.37) |
| 2020-09-24 01:46:36 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-24 01:48:17 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 2020-09-24 01:48:40 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 2020-09-24 01:49:21 | → | alexm_ joins (~AlexM87@161.8.233.138) |
| 2020-09-24 01:49:27 | → | drbean joins (~drbean@TC210-63-209-144.static.apol.com.tw) |
| 2020-09-24 01:49:44 | × | eric quits (~eric@2804:431:c7d4:b4fa:51d1:5637:ed81:5491) (Remote host closed the connection) |
| 2020-09-24 01:55:25 | × | alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 240 seconds) |
| 2020-09-24 01:55:57 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-09-24 01:56:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-24 01:59:24 | → | polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) |
| 2020-09-24 01:59:57 | × | xff0x quits (~fox@2001:1a81:525e:3100:586c:a336:dadc:73a7) (Ping timeout: 260 seconds) |
| 2020-09-24 02:00:10 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Client Quit) |
| 2020-09-24 02:00:46 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 256 seconds) |
| 2020-09-24 02:01:25 | → | xff0x joins (~fox@2001:1a81:5294:e900:586c:a336:dadc:73a7) |
| 2020-09-24 02:02:21 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-09-24 02:05:08 | <koz_> | Is there an already-existing thing which is equivalent to Identity :+: Env e? |
| 2020-09-24 02:07:03 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-09-24 02:09:23 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-09-24 02:09:37 | <koz_> | Well, I guess that's Env (Maybe e)? |
| 2020-09-24 02:09:46 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2020-09-24 02:10:05 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2020-09-24 02:11:24 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2020-09-24 02:12:05 | <koz_> | > Nothing <> Just "a" |
| 2020-09-24 02:12:07 | <lambdabot> | Just "a" |
| 2020-09-24 02:12:21 | <koz_> | > Just "a" <> Just "b" |
| 2020-09-24 02:12:24 | <lambdabot> | Just "ab" |
| 2020-09-24 02:12:35 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds) |
| 2020-09-24 02:12:49 | <c_wraith> | that doesn't look right at all |
| 2020-09-24 02:12:58 | <Axman6> | Jesus, scala's documentations keeps getting better, insisting on using ⇒ instead of => in the docs for functions when they're arguments ot methods |
| 2020-09-24 02:13:02 | → | GyroW_ joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) |
| 2020-09-24 02:13:20 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2020-09-24 02:14:30 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds) |
| 2020-09-24 02:16:33 | <dolio> | Axman6: Have you found the variable captures in the docs yet? :) |
| 2020-09-24 02:17:16 | <ddellacosta> | is Scala any good, for someone who enjoys Haskell? |
| 2020-09-24 02:17:45 | <Axman6> | no, not at all, it's a dumpster fire </personalOpinion> |
| 2020-09-24 02:17:46 | <dolio> | I don't think programming it like it's Haskell is very enjoyable. |
| 2020-09-24 02:18:10 | <Axman6> | I'm shocked by hpw crazy it is every day I try to do anything with it |
| 2020-09-24 02:18:16 | <ddellacosta> | thank you both |
| 2020-09-24 02:20:30 | <Axman6> | I knew before using it there were things that I wouldn't like about it, but it is just _so_ complex, it's the worst of Java's and Haskell's type systems in one, which seem to fight to remove all the niceties of both |
| 2020-09-24 02:21:32 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds) |
| 2020-09-24 02:25:03 | <Axman6> | dolio: re your question, I don't know, there's so much that makes no sense to me in the docs. even just little things like "where is the string I need to copy to import this module |
| 2020-09-24 02:25:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-24 02:25:22 | <dolio> | Heh. |
| 2020-09-24 02:25:23 | × | asan quits (~yan4138@124.78.128.72) (Ping timeout: 240 seconds) |
| 2020-09-24 02:26:21 | → | asan joins (~yan4138@58.37.8.8) |
| 2020-09-24 02:28:28 | → | alexm_ joins (~AlexM87@161.8.233.138) |
| 2020-09-24 02:29:22 | lagothrix | is now known as Guest42381 |
| 2020-09-24 02:29:22 | × | Guest42381 quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services))) |
| 2020-09-24 02:29:27 | <dolio> | Well, I don't know if they've fixed it recently, but it used to be that there were e.g. Maps that are a subtype of Collection, and the latter has one parameter `B`. Map has two, though, `K,A`, and `B = (K,A)`. But some methods are parametric over another `B`, for like `A => B` mapping, say. But then it also mentions the B from collection, and it can be difficult to tell which is referring to which. |
| 2020-09-24 02:29:28 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-09-24 02:30:03 | <dolio> | You can tell because it will say something like `Map[B]` in some of those cases instead of `Map[K,A]`. |
| 2020-09-24 02:30:12 | <dolio> | Anyhow, be aware of that. |
| 2020-09-24 02:30:48 | <dolio> | Because it's easy to get confused for a while if you're not. |
| 2020-09-24 02:30:49 | <Axman6> | :'( |
| 2020-09-24 02:30:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-09-24 02:32:59 | × | alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 258 seconds) |
| 2020-09-24 02:33:38 | → | toorevitimirp joins (~tooreviti@117.182.182.201) |
| 2020-09-24 02:35:31 | → | polyrain joins (~polyrain@130.102.13.66) |
| 2020-09-24 02:35:37 | × | polyrain quits (~polyrain@130.102.13.66) (Client Quit) |
| 2020-09-24 02:36:41 | × | ichimaru quits (~ichimaru@45.63.97.131) (Ping timeout: 256 seconds) |
All times are in UTC.