Logs: liberachat/#haskell
| 2021-07-02 18:57:04 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:e9f2:8409:e391:bda5) |
| 2021-07-02 18:57:11 | <tomsmeding> | if you yourself, then go all out; if someone else, be kind to them and still your hunger for nice types :p |
| 2021-07-02 18:57:50 | <tomsmeding> | judicious use of strong typing can go a long way |
| 2021-07-02 18:58:27 | <tomsmeding> | this aspect is also part of the "use case?" question |
| 2021-07-02 18:59:11 | <Franciman> | tomsmeding: that is exactly what I ask when I read that generics code |
| 2021-07-02 18:59:28 | <monochrom> | "it has unsatisfactory with respect to..." reminds me of what Stroustrup said about complained languages and unused languages. |
| 2021-07-02 18:59:33 | <davean> | Franciman: when do you encounter generics? |
| 2021-07-02 18:59:45 | <Franciman> | when I write automatic instances |
| 2021-07-02 18:59:51 | <Franciman> | for some typeclasses |
| 2021-07-02 18:59:55 | <Franciman> | because they are all the same |
| 2021-07-02 19:00:07 | <Franciman> | also when I want to write code that leverages the structure of types |
| 2021-07-02 19:00:17 | <Franciman> | so when I'd like structural typing |
| 2021-07-02 19:01:14 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5c6:b6d7:546c:7e33) (Ping timeout: 256 seconds) |
| 2021-07-02 19:01:34 | <davean> | why wouldn't you use newtype deriving or deriving via for that? |
| 2021-07-02 19:01:42 | <davean> | Why would you use generics? |
| 2021-07-02 19:02:04 | <Franciman> | for example I used |
| 2021-07-02 19:02:06 | <Franciman> | this library |
| 2021-07-02 19:02:10 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 252 seconds) |
| 2021-07-02 19:02:24 | <Franciman> | https://hackage.haskell.org/package/haskell-to-elm |
| 2021-07-02 19:02:25 | <zzz> | Franciman: automatic deriving, deriving via and type families doesnt help? |
| 2021-07-02 19:02:39 | <Franciman> | I've had to wrestle with generix |
| 2021-07-02 19:02:56 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-02 19:03:22 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-02 19:03:41 | <davean> | Why? |
| 2021-07-02 19:03:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 19:05:16 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-02 19:05:18 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-02 19:06:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-02 19:06:51 | <davean> | I personally don't think theres much use for generics, and almost all uses have a much better, simpler, easier solution in the modern day, they're not entirely but mostly a thing of the past IMO |
| 2021-07-02 19:08:02 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-07-02 19:08:06 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 19:08:12 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
| 2021-07-02 19:08:30 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-07-02 19:09:33 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-02 19:12:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 19:12:24 | → | chris_ joins (~chris@88-107-86-113.dynamic.dsl.as9105.com) |
| 2021-07-02 19:12:45 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-07-02 19:13:43 | → | veverak joins (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-07-02 19:13:50 | <veverak> | by any chance, anybody experience with IHP ? |
| 2021-07-02 19:14:06 | <veverak> | I wonder how painfull it would be to interact with MQTT from within |
| 2021-07-02 19:14:32 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
| 2021-07-02 19:17:19 | × | fendor quits (~fendor@77.119.220.92.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-02 19:19:42 | → | fendor joins (~fendor@77.119.220.92.wireless.dyn.drei.com) |
| 2021-07-02 19:20:23 | <DigitalKiwi> | international house pancakes |
| 2021-07-02 19:21:52 | × | chris_ quits (~chris@88-107-86-113.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-07-02 19:22:34 | → | chris_ joins (~chris@88-107-86-113.dynamic.dsl.as9105.com) |
| 2021-07-02 19:24:03 | <sm[m]> | you know about their chat room veverak ? |
| 2021-07-02 19:24:56 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-02 19:26:18 | <veverak> | they have irc? |
| 2021-07-02 19:26:32 | → | jneira[m] joins (~jneira@189.red-37-10-144.dynamicip.rima-tde.net) |
| 2021-07-02 19:26:57 | × | chris_ quits (~chris@88-107-86-113.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-07-02 19:27:12 | × | chddr quits (~Thunderbi@91.226.34.159) (Ping timeout: 272 seconds) |
| 2021-07-02 19:27:20 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-02 19:27:51 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-02 19:30:22 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 272 seconds) |
| 2021-07-02 19:31:44 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-02 19:32:54 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
| 2021-07-02 19:33:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 19:35:02 | <DigitalKiwi> | https://gitter.im/digitallyinduced/ihp |
| 2021-07-02 19:35:20 | <veverak> | oh damn, I hate gitter |
| 2021-07-02 19:37:16 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 19:38:12 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-07-02 19:39:26 | <yushyin> | you can also use matrix to join gitter chat |
| 2021-07-02 19:40:52 | <yushyin> | https://matrix.org/blog/2020/12/07/gitter-now-speaks-matrix |
| 2021-07-02 19:42:12 | <sm[m]> | yeah, eg click #digitallyinduced_ihp:gitter.im if you're in a matrix client |
| 2021-07-02 19:42:42 | × | mei quits (~mei@user/mei) (Quit: Client closed) |
| 2021-07-02 19:46:50 | × | koboldchieftain quits (~jwhittle@2600:1700:6750:a000::26) (Remote host closed the connection) |
| 2021-07-02 19:49:17 | × | jneira[m] quits (~jneira@189.red-37-10-144.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-07-02 19:49:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-02 19:49:51 | → | cheater joins (~Username@user/cheater) |
| 2021-07-02 19:49:58 | × | dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds) |
| 2021-07-02 19:51:49 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-02 19:56:01 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-02 19:59:26 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-07-02 19:59:53 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-02 20:02:31 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-07-02 20:03:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-02 20:04:08 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
| 2021-07-02 20:05:01 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 20:05:48 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 268 seconds) |
| 2021-07-02 20:07:54 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-02 20:11:13 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-02 20:15:18 | → | bilegeek joins (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) |
| 2021-07-02 20:19:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 20:23:54 | × | jumper149 quits (~jumper149@i577BCBD1.versanet.de) (Ping timeout: 240 seconds) |
| 2021-07-02 20:24:18 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-02 20:24:19 | → | jess joins (~jess@libera/staff/jess) |
| 2021-07-02 20:24:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 20:24:50 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 272 seconds) |
| 2021-07-02 20:26:02 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-02 20:26:57 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-02 20:30:28 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 268 seconds) |
| 2021-07-02 20:32:25 | × | smichel quits (~smichel@2601:193:8201:330::1) (Quit: smichel) |
| 2021-07-02 20:34:26 | → | chisui joins (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
| 2021-07-02 20:35:24 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-07-02 20:35:39 | → | jneira[m] joins (~jneira@217.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-07-02 20:38:18 | <chisui> | Hey, I really love `PackageImports`. Even if there aren't any conflicts it makes files more readable and dependencies more discoverable. If a codebase only includes PackageImports you could read out all dependencies of the project from the files. My question now is, why isn't this extension used more often? Am I missing something or is it just that |
| 2021-07-02 20:38:18 | <chisui> | less Extensions is considered cleaner? |
| 2021-07-02 20:38:45 | <chisui> | s/less/fewer |
| 2021-07-02 20:39:11 | <tomsmeding> | it's probably considered overly verbose, especially for imports of which the origin is quite obvious, like Data.Map or Data.Text |
All times are in UTC.