Logs: liberachat/#haskell
| 2021-08-20 19:41:08 | <monochrom> | Depends on the context? Isn't that my point? |
| 2021-08-20 19:41:34 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-20 19:41:48 | <monochrom> | Outside my class there are still a lot of beginners in #haskell whom I would not bring up sections too early either. |
| 2021-08-20 19:42:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-08-20 19:42:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-20 19:42:10 | <lechner> | hlint is a poor teacher |
| 2021-08-20 19:42:47 | <monochrom> | If the reader is ready for (+ 3) I write (+ 3). If the reader is not ready for that, I write (\x -> x + 3). If the reader is not even ready for that, I write "let f x = x + 3 in ..." |
| 2021-08-20 19:44:00 | <lechner> | isn't the lambda harder than a partially applied function? |
| 2021-08-20 19:44:17 | <lechner> | maybe i use RPN too mkch |
| 2021-08-20 19:44:22 | <lechner> | much |
| 2021-08-20 19:47:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-20 19:47:40 | × | alx741 quits (~alx741@181.196.69.234) (Ping timeout: 252 seconds) |
| 2021-08-20 19:50:50 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:1cfd:5590:1382:edd9) (Ping timeout: 250 seconds) |
| 2021-08-20 19:50:50 | × | Megant quits (megant@user/megant) (Ping timeout: 250 seconds) |
| 2021-08-20 19:51:41 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-20 19:53:43 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-20 19:53:49 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-20 19:54:11 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-20 19:54:49 | × | mei quits (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-08-20 19:55:53 | × | dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Client Quit) |
| 2021-08-20 19:56:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-20 19:57:53 | <sm> | someone should do the remember quote thingy with Rembane's "I just do what hlint tells me, it makes my life more interesting and increases the chance that monochrom becomes my arch enemy." |
| 2021-08-20 19:58:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-20 19:58:56 | <monochrom> | @remember Rembane I just do what hlint tells me, it makes my life more interesting and increases the chance that monochrom becomes my arch enemy. |
| 2021-08-20 19:58:56 | <lambdabot> | Okay. |
| 2021-08-20 19:59:04 | → | Megant joins (megant@user/megant) |
| 2021-08-20 19:59:30 | <lechner> | that actually works? |
| 2021-08-20 19:59:39 | <Rembane_> | :D |
| 2021-08-20 19:59:40 | → | xff0x joins (~xff0x@2001:1a81:5207:3100:686a:e8fd:47a9:633d) |
| 2021-08-20 19:59:43 | <sm> | nice :) |
| 2021-08-20 20:00:03 | → | alx741 joins (~alx741@181.196.68.120) |
| 2021-08-20 20:01:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-20 20:05:16 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 252 seconds) |
| 2021-08-20 20:07:19 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-20 20:09:21 | → | gustik joins (~gustik@2a01:c844:2410:9020:63ab:4bb6:83d2:e11b) |
| 2021-08-20 20:12:33 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-20 20:13:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-20 20:13:36 | × | s-h-i-n-o-b-i quits (~quassel@104.244.75.124) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-08-20 20:14:33 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-20 20:16:00 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-20 20:18:30 | <tomsmeding> | https://ircbrowse.tomsmeding.com/quotes.rss |
| 2021-08-20 20:18:43 | <tomsmeding> | I honestly don't know offhand how far back that goes |
| 2021-08-20 20:19:15 | <tomsmeding> | at least only libera, not freenode |
| 2021-08-20 20:20:27 | <tomsmeding> | that was the first (and yet only) @remember quote on liberachat! 🎉 |
| 2021-08-20 20:22:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-20 20:22:49 | × | Guest8144 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-20 20:25:58 | × | glguy quits (x@libera/staff/glguy) (Quit: Quit) |
| 2021-08-20 20:26:08 | → | glguy joins (x@libera/staff/glguy) |
| 2021-08-20 20:26:45 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9557dc14868c6ad3e278.dip0.t-ipconnect.de) |
| 2021-08-20 20:27:51 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-20 20:27:54 | chris | is now known as Guest1143 |
| 2021-08-20 20:29:11 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 2021-08-20 20:31:07 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2021-08-20 20:32:39 | × | Guest1143 quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-08-20 20:33:54 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-20 20:34:04 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-08-20 20:36:49 | <siers> | tomsmeding, did you write the ListFamily yourself? |
| 2021-08-20 20:37:01 | <siers> | tomsmeding, and the rest of that paste |
| 2021-08-20 20:37:43 | × | Megant quits (megant@user/megant) (Ping timeout: 252 seconds) |
| 2021-08-20 20:38:16 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-20 20:38:38 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-08-20 20:41:50 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-08-20 20:43:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-20 20:44:43 | → | ub joins (~Thunderbi@178.115.47.86.wireless.dyn.drei.com) |
| 2021-08-20 20:45:36 | <tomsmeding> | siers: yeah |
| 2021-08-20 20:45:49 | <tomsmeding> | followed the example in the documentation of Family |
| 2021-08-20 20:46:12 | <siers> | tomsmeding, had you seen tricks with Refl before? |
| 2021-08-20 20:46:53 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-20 20:47:17 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-20 20:47:36 | <tomsmeding> | siers: this is code I've been writing recently :p https://github.com/tomsmeding/accelerate/blob/no-explode/src/Data/Array/Accelerate/Trafo/AD/Translate.hs |
| 2021-08-20 20:47:57 | <tomsmeding> | so yeah |
| 2021-08-20 20:48:10 | × | ubert quits (~Thunderbi@178.115.47.86.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-08-20 20:48:10 | ub | is now known as ubert |
| 2021-08-20 20:49:57 | <tomsmeding> | siers: the ExprTermFamily in the gdiff documentation is analogous to 'ListFamily a' in my code |
| 2021-08-20 20:50:35 | <tomsmeding> | so 'ExprTermFamily ty fields' corresponds to 'ListFamily a ty fields': I added an additional type parameter |
| 2021-08-20 20:50:47 | <tomsmeding> | hence instance Family (ListFamily a) |
| 2021-08-20 20:51:03 | <tomsmeding> | and not just instance Family ExprTermFamily |
| 2021-08-20 20:54:46 | × | ubert quits (~Thunderbi@178.115.47.86.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-08-20 20:56:56 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 2021-08-20 20:57:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-20 20:58:08 | × | gustik quits (~gustik@2a01:c844:2410:9020:63ab:4bb6:83d2:e11b) (Quit: Leaving) |
| 2021-08-20 21:00:11 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-20 21:00:40 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-20 21:03:56 | → | MQ-17J joins (~MQ-17J@2607:fb90:8824:bf5d:8f75:f298:534b:ce5e) |
| 2021-08-20 21:05:13 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2021-08-20 21:06:14 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2021-08-20 21:06:20 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-20 21:08:14 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-20 21:10:10 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-20 21:10:30 | × | Guest60 quits (~Guest60@modemcable169.17-58-74.mc.videotron.ca) (Quit: Client closed) |
| 2021-08-20 21:13:19 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-20 21:13:28 | × | mjrosenb quits (~mrosenbe@nyc.schrodinger.com) (Ping timeout: 252 seconds) |
| 2021-08-20 21:20:45 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-08-20 21:20:51 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-08-20 21:20:54 | cheater1__ | is now known as cheater |
| 2021-08-20 21:26:19 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-08-20 21:26:43 | <ixlun> | Is it possible to define a typeclass that has a requires only a value to be implemented? |
| 2021-08-20 21:27:03 | <ixlun> | as opposed to a function |
| 2021-08-20 21:28:00 | <monochrom> | Bounded defines two values. Perhaps you can draw inspirations from it. |
| 2021-08-20 21:28:45 | × | tommd quits (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 268 seconds) |
All times are in UTC.