Logs: liberachat/#haskell
| 2021-07-26 16:02:09 | → | thyriaen joins (~thyriaen@dynamic-089-012-214-253.89.12.pool.telefonica.de) |
| 2021-07-26 16:02:41 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 2021-07-26 16:02:46 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 265 seconds) |
| 2021-07-26 16:04:01 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-26 16:05:25 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-26 16:06:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-26 16:07:36 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-07-26 16:07:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-26 16:13:55 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-26 16:20:59 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-07-26 16:21:40 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-26 16:22:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-26 16:23:11 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-07-26 16:23:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-26 16:26:45 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-26 16:28:51 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-26 16:29:10 | × | thyriaen quits (~thyriaen@dynamic-089-012-214-253.89.12.pool.telefonica.de) (Remote host closed the connection) |
| 2021-07-26 16:29:53 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-26 16:30:02 | → | soft-warm joins (~soft-warm@2600:8801:db01:8f0:4884:3488:98a1:1fd9) |
| 2021-07-26 16:31:11 | __xor | is now known as _xor |
| 2021-07-26 16:32:53 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-26 16:32:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-07-26 16:36:22 | × | _bin quits (~bin@user/bin/x-1583188) (Ping timeout: 245 seconds) |
| 2021-07-26 16:37:20 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-07-26 16:37:42 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-26 16:41:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-26 16:44:21 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 2021-07-26 16:48:56 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-26 16:49:14 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 255 seconds) |
| 2021-07-26 16:49:51 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-07-26 16:50:25 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-07-26 16:53:48 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 256 seconds) |
| 2021-07-26 16:55:08 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-26 16:56:01 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-26 16:57:39 | mnrmnaugh | is now known as BMCC |
| 2021-07-26 16:59:04 | → | peterhil joins (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi) |
| 2021-07-26 17:00:22 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-26 17:02:15 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-07-26 17:02:51 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-26 17:03:05 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 2021-07-26 17:04:01 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:f655:102a:90bc:6632) |
| 2021-07-26 17:04:59 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-26 17:05:07 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-26 17:06:17 | → | Null_A joins (~null_a@2601:645:8700:2290:98e5:42b9:7e41:db99) |
| 2021-07-26 17:06:20 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-26 17:08:18 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 2021-07-26 17:08:42 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-07-26 17:09:41 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-26 17:10:18 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2021-07-26 17:11:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-26 17:11:18 | → | aerona joins (~aerona@2600:6c54:4600:f300:5d:533e:d781:9302) |
| 2021-07-26 17:11:48 | BMCC | is now known as mnrmnaugh |
| 2021-07-26 17:11:52 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-26 17:15:31 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-07-26 17:16:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-26 17:16:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-26 17:18:25 | → | roboguy_ joins (~roboguy_@2605:a601:ac0e:ae00:6549:5b6:6ac5:3a5d) |
| 2021-07-26 17:19:51 | → | alecs joins (~alecs@151.62.33.211) |
| 2021-07-26 17:20:24 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-26 17:20:30 | <arkanoid> | the more I dive into haskell type system, the more I feel it's out of reach for my brain. I now fear the ivory tower. |
| 2021-07-26 17:21:47 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-26 17:22:28 | <davean> | arkanoid: its just a pile of equalities |
| 2021-07-26 17:22:53 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-07-26 17:22:55 | → | MoC joins (~moc@user/moc) |
| 2021-07-26 17:23:03 | <davean> | Are they equal? Yes/No |
| 2021-07-26 17:23:12 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-26 17:23:41 | <monochrom> | I am not sure what kind of response you're looking for. |
| 2021-07-26 17:24:10 | <monochrom> | I'm OK with "I'm just venting, please don't answer, nothing to look here" though. |
| 2021-07-26 17:24:37 | <davean> | monochrom: no, I pretty much always want to know if two types are equal or not, can you just tell me yes no for every pair of types? |
| 2021-07-26 17:25:00 | <monochrom> | I hope I can! |
| 2021-07-26 17:25:10 | <monochrom> | But I meant arkanoid's sentence. |
| 2021-07-26 17:26:23 | <monochrom> | But regarding type equality, people usually want a way more detailed answer than "no". |
| 2021-07-26 17:26:58 | × | roboguy_ quits (~roboguy_@2605:a601:ac0e:ae00:6549:5b6:6ac5:3a5d) (Remote host closed the connection) |
| 2021-07-26 17:27:05 | <davean> | hey want to know why it isn't equal |
| 2021-07-26 17:27:12 | <davean> | but thats pretty simple - because it isn't the same thing |
| 2021-07-26 17:27:19 | <monochrom> | :) |
| 2021-07-26 17:27:36 | <davean> | Honestly I'm serious here, people do seem to tihnk type systems are some complex beast |
| 2021-07-26 17:27:40 | → | roboguy_ joins (~roboguy_@2605:a601:ac0e:ae00:6549:5b6:6ac5:3a5d) |
| 2021-07-26 17:27:41 | <davean> | but they're just combinators and equality |
| 2021-07-26 17:28:05 | <davean> | I think people make too much of them |
| 2021-07-26 17:28:18 | <davean> | They're damn useful, but at the bottom, they're dirt simple |
| 2021-07-26 17:28:58 | <nitrix> | I prefer to think of it as constraint solving. |
| 2021-07-26 17:29:40 | × | roboguy_ quits (~roboguy_@2605:a601:ac0e:ae00:6549:5b6:6ac5:3a5d) (Remote host closed the connection) |
| 2021-07-26 17:29:52 | → | roboguy_ joins (~roboguy_@2605:a601:ac0e:ae00:6549:5b6:6ac5:3a5d) |
| 2021-07-26 17:30:03 | <arkanoid> | monochrom: I'm not expecting any response, it's just a phrase generated by a peak of frustration. I fear it was too early for trying the comprehension of "Thinking with types". I plan to step back and get another general book instead, just to regain some confidence (hopefully) |
| 2021-07-26 17:30:26 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-26 17:30:44 | <monochrom> | Uh that's definitely an advanced level book. |
| 2021-07-26 17:31:31 | <DigitalKiwi> | thinking without types |
| 2021-07-26 17:31:38 | <monochrom> | I haven't never studied it or anything equivalent, and yet I wrote a lot of little Haskell programs useful for me. |
| 2021-07-26 17:33:25 | <monochrom> | I don't understand why someone would go "I'm a Java beginner" then choose research papers on Java JIT optimization as their first material and then say "this is PhD-level madness, Java is not for me". |
| 2021-07-26 17:33:44 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-26 17:33:45 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-26 17:33:48 | <monochrom> | Well, I can understand if the solution is that they don't understand what "I'm a beginner" means. |
| 2021-07-26 17:34:08 | <davean> | monochrom: they don't want to be bored? |
| 2021-07-26 17:34:18 | <monochrom> | BTW there was also a time when OOP was PhD level stuff. |
| 2021-07-26 17:34:24 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1230074233012748289?s=20 |
| 2021-07-26 17:35:26 | <arkanoid> | That's not the point. It's kinda like "I love rally" and then when you finally feel brave enough to jump into a rally car you shit yourself |
| 2021-07-26 17:35:30 | → | ubert joins (~Thunderbi@77.119.217.220.wireless.dyn.drei.com) |
| 2021-07-26 17:36:07 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-26 17:36:09 | <davean> | monochrom: pretty much the JIT integration is the only reason I'd program Java |
All times are in UTC.