Logs: liberachat/#haskell
| 2021-07-05 01:22:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 240 seconds) |
| 2021-07-05 01:22:18 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-05 01:22:57 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-07-05 01:23:01 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 01:23:51 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-05 01:24:02 | → | mpt joins (~tom@2a02:908:1862:49e0::8) |
| 2021-07-05 01:29:46 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-05 01:31:15 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 01:37:30 | × | xff0x quits (~xff0x@2001:1a81:52ea:d100:38d4:8967:cbb0:e45b) (Ping timeout: 240 seconds) |
| 2021-07-05 01:39:05 | <qrpnxz> | is there a de facto type class for values that have a default value? |
| 2021-07-05 01:39:37 | → | xff0x joins (~xff0x@2001:1a81:5326:300:76d0:4869:6e32:a9fa) |
| 2021-07-05 01:40:14 | <geekosaur> | https://hackage.haskell.org/package/data-default |
| 2021-07-05 01:40:16 | <sm[m]> | Data.Default |
| 2021-07-05 01:40:43 | <sm[m]> | people don't like it because it makes code less readable |
| 2021-07-05 01:40:49 | <geekosaur> | this can however get you into trouble when it works unexpectedly; it can make typechecking somewhat useless |
| 2021-07-05 01:40:59 | <geekosaur> | not just less readable |
| 2021-07-05 01:41:29 | <geekosaur> | we diagnosed an odd "bug" in xmonad that turned out to be someone using def in a place where we expected a keybinding function |
| 2021-07-05 01:41:41 | <sm[m]> | makes code and error messages less readable, weakens type checking, and makes code less IDE-navigable <- ? |
| 2021-07-05 01:41:47 | <geekosaur> | and it unexpectedly typechecked while doing something useless |
| 2021-07-05 01:42:05 | <sm[m]> | nice example |
| 2021-07-05 01:42:12 | <qrpnxz> | epic, thanks. and thanks for the heads up |
| 2021-07-05 01:42:25 | <geekosaur> | def -> const def -> const (def, def) -> const (0, 0) |
| 2021-07-05 01:43:01 | <geekosaur> | that was fun to track down |
| 2021-07-05 01:44:53 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-07-05 01:45:59 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-05 01:47:56 | <qrpnxz> | it's just that i'm trying to implement what happens when i extend a slice. Maybe i should just leave uninitialized values idk |
| 2021-07-05 01:47:58 | → | neurocyte402 joins (~neurocyte@46.243.85.68) |
| 2021-07-05 01:47:58 | × | neurocyte402 quits (~neurocyte@46.243.85.68) (Changing host) |
| 2021-07-05 01:47:58 | → | neurocyte402 joins (~neurocyte@user/neurocyte) |
| 2021-07-05 01:48:45 | <qrpnxz> | and they are boxed so i think it's possible to change the type of only one part of a vector? I need to do more testing |
| 2021-07-05 01:49:33 | <qrpnxz> | hmm, or not actually, write won't allow that |
| 2021-07-05 01:50:11 | <qrpnxz> | i can just accept a default argument in the make procedure |
| 2021-07-05 01:50:14 | <qrpnxz> | might be better |
| 2021-07-05 01:50:22 | × | neurocyte40 quits (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
| 2021-07-05 01:50:22 | neurocyte402 | is now known as neurocyte40 |
| 2021-07-05 01:52:52 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-05 02:00:54 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-05 02:02:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-05 02:02:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-05 02:06:02 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 256 seconds) |
| 2021-07-05 02:06:12 | → | amk joins (~amk@176.61.106.150) |
| 2021-07-05 02:17:07 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-05 02:21:20 | × | mpt quits (~tom@2a02:908:1862:49e0::8) (Ping timeout: 256 seconds) |
| 2021-07-05 02:21:40 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-05 02:23:20 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-05 02:25:32 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-05 02:26:45 | × | td_ quits (~td@muedsl-82-207-238-042.citykom.de) (Ping timeout: 268 seconds) |
| 2021-07-05 02:27:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-05 02:27:59 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-05 02:28:08 | → | td_ joins (~td@muedsl-82-207-238-036.citykom.de) |
| 2021-07-05 02:29:13 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-07-05 02:30:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-05 02:30:58 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-05 02:31:21 | → | myShoggoth joins (~myShoggot@75.164.51.64) |
| 2021-07-05 02:32:40 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-05 02:32:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-05 02:33:53 | × | ephemient quits (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-05 02:36:36 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-05 02:40:12 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2021-07-05 02:40:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-05 02:41:07 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-05 02:41:24 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 02:41:35 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-05 02:42:41 | × | cjb quits (~cjb@user/cjb) (Client Quit) |
| 2021-07-05 02:44:58 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-05 02:48:57 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-05 02:49:02 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-05 02:57:22 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-05 02:57:57 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-05 03:03:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-07-05 03:07:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-05 03:13:28 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-07-05 03:19:36 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-05 03:23:27 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-05 03:23:33 | × | magnuscake quits (~magnuscak@87.121.92.61) (Quit: Leaving) |
| 2021-07-05 03:23:51 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-05 03:25:33 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-05 03:28:03 | × | wei2912 quits (~wei2912@112.199.250.21) (Ping timeout: 265 seconds) |
| 2021-07-05 03:29:36 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-05 03:29:54 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
| 2021-07-05 03:31:25 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-05 03:33:12 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-05 03:34:38 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-07-05 03:39:31 | <dsal> | There are lots of bad ways to do things that might work for you. There's also implicit parameters. |
| 2021-07-05 03:40:23 | <dsal> | `def` is only occasionally more useful than an explicit `defaultThing` function (or `mempty`). |
| 2021-07-05 03:41:04 | × | steshaw quits (~steshaw@122-151-164-35.sta.wbroadband.net.au) (Remote host closed the connection) |
| 2021-07-05 03:41:39 | × | alx741 quits (~alx741@186.178.108.123) (Quit: alx741) |
| 2021-07-05 03:41:54 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-07-05 03:43:02 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-05 03:44:37 | × | TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-07-05 03:46:45 | <monochrom> | "default value" is so always contextual that the correct default value is always "it depends". |
| 2021-07-05 03:48:35 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-05 03:50:12 | <qrpnxz> | what i ended up doing is just nothing lol. That is you make a vector however you want (generate, replicate, new) and then just turn it into a slice and use that, and then whenever you need to you turn it back into a vector to do like forM_ or to get an immutable vector |
| 2021-07-05 03:50:51 | <qrpnxz> | so the library just looks like data Slice, slice, slice', toVec, fromVec, len, cap, append, appendF, appendV, copy. That's it |
| 2021-07-05 03:51:28 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-05 03:52:37 | <qrpnxz> | I like how it turned out |
| 2021-07-05 03:54:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-07-05 03:56:29 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-05 03:58:01 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2021-07-05 03:58:42 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
All times are in UTC.