Logs: liberachat/#haskell
| 2021-06-09 02:27:31 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-09 02:27:35 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 244 seconds) |
| 2021-06-09 02:27:57 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-09 02:28:45 | × | qoelet quits (~kumo@139.180.144.166) (Quit: WeeChat 2.9) |
| 2021-06-09 02:29:46 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-09 02:29:47 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 2021-06-09 02:30:46 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 2021-06-09 02:31:51 | × | nattiestnate quits (~nate@36.70.194.182) (Quit: WeeChat 3.1) |
| 2021-06-09 02:33:03 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-09 02:34:21 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-09 02:35:30 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
| 2021-06-09 02:35:48 | × | c_l_ste quits (~celeste@ip68-12-146-37.ok.ok.cox.net) (Ping timeout: 250 seconds) |
| 2021-06-09 02:37:25 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-09 02:43:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-09 02:45:30 | → | a6a45081-2b83 joins (~aditya@223.226.227.160) |
| 2021-06-09 02:47:12 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-09 02:49:39 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-06-09 02:57:23 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-09 02:57:28 | × | a6a45081-2b83 quits (~aditya@223.226.227.160) (Quit: Konversation terminated!) |
| 2021-06-09 02:59:57 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 03:00:03 | → | realtime joins (~realtime@177.18.185.16) |
| 2021-06-09 03:00:12 | × | realtime quits (~realtime@177.18.185.16) (Remote host closed the connection) |
| 2021-06-09 03:01:52 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-06-09 03:01:55 | → | realtime joins (~realtime@177.18.185.16) |
| 2021-06-09 03:03:26 | × | realtime quits (~realtime@177.18.185.16) (Client Quit) |
| 2021-06-09 03:03:49 | → | realtime joins (~realtime@177.18.185.16) |
| 2021-06-09 03:07:41 | → | c_l_ste joins (~celeste@ip68-12-146-37.ok.ok.cox.net) |
| 2021-06-09 03:08:51 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-09 03:11:40 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-09 03:13:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-09 03:14:41 | × | Codaraxis quits (~Codaraxis@89.45.7.142) (Remote host closed the connection) |
| 2021-06-09 03:14:59 | → | Codaraxis joins (~Codaraxis@89.45.7.142) |
| 2021-06-09 03:17:31 | × | emergence quits (~emergence@vm0.max-p.me) (Quit: emergence) |
| 2021-06-09 03:18:15 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-06-09 03:19:59 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 2021-06-09 03:21:11 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-09 03:22:56 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-09 03:25:42 | <guest61> | ski yes I did, use case of instead of !! or use data structure |
| 2021-06-09 03:29:23 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-09 03:30:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2021-06-09 03:30:37 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-09 03:36:14 | <trent> | Hi everyone, I have started reading about GADTs and want to see if my intuition is correct about them. Are they basically used over standard unions as a way to do 'overloading' of a function's return type? Overloading in the sense of OOP method overloading. |
| 2021-06-09 03:38:54 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-09 03:42:09 | <glguy> | trent, I don't think they have much to do with OOP method overloading |
| 2021-06-09 03:43:42 | <trent> | Damn, I was hoping thats all they were used for - to handle different return types |
| 2021-06-09 03:44:12 | <trent> | What use are they then? I guess I have started reading about them before I have a use case |
| 2021-06-09 03:44:57 | <monochrom> | The GHC user's guide has a very prototypical example. |
| 2021-06-09 03:47:12 | <trent> | monochrom: The Term example? Thats where I thought I understood them in this way |
| 2021-06-09 03:47:44 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 250 seconds) |
| 2021-06-09 03:48:44 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-09 03:50:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-09 04:00:46 | × | realtime quits (~realtime@177.18.185.16) (Quit: Leaving) |
| 2021-06-09 04:01:14 | × | Adran quits (adran@botters/adran) (Quit: Este é o fim.) |
| 2021-06-09 04:01:25 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-09 04:01:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-09 04:01:44 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-09 04:01:45 | <c_wraith> | trent: if all you care about is returning multiple types, you can use regular data types to do that. |
| 2021-06-09 04:02:00 | × | pe200012 quits (~pe200012@58.248.179.180) (Ping timeout: 252 seconds) |
| 2021-06-09 04:02:13 | → | pe200012 joins (~pe200012@58.248.179.180) |
| 2021-06-09 04:02:54 | → | Adran joins (~adran@botters/adran) |
| 2021-06-09 04:02:55 | <glguy> | trent, here's a little GADT example: https://bpa.st/FHHA |
| 2021-06-09 04:02:56 | <trent> | Then I think I am not 'getting' the use of GADT's. |
| 2021-06-09 04:03:43 | <glguy> | With GADTs you can constraint what types each constructor works at, and you can learn those constraints through pattern matching |
| 2021-06-09 04:04:03 | <glguy> | parameterized data types no longer have to work for all possible instantiations of their parameters |
| 2021-06-09 04:04:27 | <trent> | glguy: What does GADT give you in that example that you wouldnt get with a simple union type? |
| 2021-06-09 04:04:49 | <glguy> | trent, change the example not to use a gadt |
| 2021-06-09 04:05:14 | <glguy> | make it a simple union type and then fix the file and see where it goes |
| 2021-06-09 04:05:37 | <glguy> | ideally you'll have a realization along the way where you get stuck :) |
| 2021-06-09 04:06:13 | <glguy> | if not come back with questions, but it's a chance to figure some stuff out |
| 2021-06-09 04:06:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-09 04:07:18 | × | Adran quits (~adran@botters/adran) (Client Quit) |
| 2021-06-09 04:07:18 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-09 04:08:05 | → | MQ-17J joins (~MQ-17J@8.21.10.116) |
| 2021-06-09 04:09:24 | → | Adran joins (~adran@botters/adran) |
| 2021-06-09 04:11:38 | × | hmmmas quits (~chenqisu1@183.217.201.236) (Quit: Leaving.) |
| 2021-06-09 04:14:02 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-09 04:15:44 | <trent> | glguy: thank you for that, I am working through it now. |
| 2021-06-09 04:16:11 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-09 04:18:15 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 2021-06-09 04:21:31 | × | Adran quits (~adran@botters/adran) (Quit: Este é o fim.) |
| 2021-06-09 04:22:15 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-09 04:23:19 | → | Hoch joins (~Hoch@191.96.170.83) |
| 2021-06-09 04:23:41 | → | ddellacosta joins (~ddellacos@89.46.62.125) |
| 2021-06-09 04:24:35 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-06-09 04:25:02 | → | fendor__ joins (~fendor@178.165.130.85.wireless.dyn.drei.com) |
| 2021-06-09 04:25:04 | ← | Hoch parts (~Hoch@191.96.170.83) () |
| 2021-06-09 04:25:05 | → | spatchkaa_ joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-09 04:25:45 | → | MidAutumnMoon3 joins (~MidAutumn@user/midautumnmoon) |
| 2021-06-09 04:26:43 | → | pierrot_ joins (~pi@user/pierrot) |
| 2021-06-09 04:27:02 | → | Adran joins (~adran@botters/adran) |
| 2021-06-09 04:27:58 | × | ddellacosta quits (~ddellacos@89.46.62.125) (Ping timeout: 244 seconds) |
| 2021-06-09 04:28:06 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-06-09 04:28:42 | → | Solarion_ joins (~solarion@mail.digitasaru.net) |
| 2021-06-09 04:28:56 | → | evie1 joins (~evie@188.27.66.89) |
| 2021-06-09 04:28:58 | → | kmein_ joins (~weechat@user/kmein) |
| 2021-06-09 04:29:03 | → | xerox_ joins (~edi@user/edi) |
| 2021-06-09 04:29:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-09 04:29:06 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2021-06-09 04:29:06 | finn_elija | is now known as FinnElija |
| 2021-06-09 04:29:12 | → | fresheye1 joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
All times are in UTC.