Logs: freenode/#haskell
| 2021-05-18 23:29:01 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 23:29:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 23:31:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 23:33:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-05-18 23:37:28 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-18 23:39:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 23:39:27 | → | anandprabhu-M joins (anandprabh@gateway/shell/kde/matrix/x-zipvjznprhxonpbm) |
| 2021-05-18 23:39:33 | → | ddellac__ joins (~ddellacos@86.106.143.48) |
| 2021-05-18 23:39:45 | × | chris___ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-18 23:40:06 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 23:40:26 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-18 23:40:29 | tim | is now known as Guest41717 |
| 2021-05-18 23:42:03 | → | july541[m] joins (july541mat@gateway/shell/matrix.org/x-fouigozdykkzigxt) |
| 2021-05-18 23:42:31 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-18 23:43:53 | × | ddellac__ quits (~ddellacos@86.106.143.48) (Ping timeout: 240 seconds) |
| 2021-05-18 23:43:56 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-ljwcyrnbymkdcdda) |
| 2021-05-18 23:43:57 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 23:44:04 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-ehirbzhcycttjnhd) |
| 2021-05-18 23:44:33 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-18 23:46:13 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-dyxaspuyjknheyma) |
| 2021-05-18 23:46:41 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-05-18 23:46:59 | → | psydruid[m] joins (psydruidma@gateway/shell/matrix.org/x-eemddmidvbdkwrwl) |
| 2021-05-18 23:47:01 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-ernejvmcpejjfqut) |
| 2021-05-18 23:47:40 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-18 23:48:30 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 23:48:51 | → | dominicusin[m] joins (dominicusi@gateway/shell/matrix.org/x-yxesrhhhtuljifgi) |
| 2021-05-18 23:48:52 | → | inkbottle[m] joins (inkbottlem@gateway/shell/matrix.org/x-azttuvrwvfheiktd) |
| 2021-05-18 23:49:13 | <hololeap> | sm[m]: no, something to acutally fill out instances of Person. like if i needed to manually enter 20 Persons, this would generate a form where i could input each value, and on sum types, give a choice of which constructor i want |
| 2021-05-18 23:49:18 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-18 23:49:39 | → | lowdude[m] joins (lowdudemat@gateway/shell/matrix.org/x-ytewhkunyiusfwxz) |
| 2021-05-18 23:50:06 | <sm[m]> | ah I get you. Generate forms based on ADTs |
| 2021-05-18 23:50:23 | <hololeap> | right |
| 2021-05-18 23:51:25 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-yrdtaondcvzesdih) |
| 2021-05-18 23:51:30 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-werzpmnlavfccsio) |
| 2021-05-18 23:51:35 | → | berberman__ joins (berberma4@gateway/shell/matrix.org/x-nygqraxeulmugeyv) |
| 2021-05-18 23:52:15 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-18 23:53:03 | <sm[m]> | it seems like a thing that would exist but I'm not seeing it |
| 2021-05-18 23:53:45 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-ddecdqpmnmdxrdvl) |
| 2021-05-18 23:54:21 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-ggjysuzzdsqhqqmr) |
| 2021-05-18 23:55:22 | → | fakubish[m] joins (fakubishne@gateway/shell/matrix.org/x-lhzxeygfzxbddmcx) |
| 2021-05-18 23:56:55 | → | EmanuelLoos[m] joins (emanuel-lo@gateway/shell/matrix.org/x-kepwmsokeiennbjy) |
| 2021-05-18 23:57:15 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-wqixhekxsvskzkxd) |
| 2021-05-18 23:57:35 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 23:57:48 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-nvuezjffivkxhhzh) |
| 2021-05-18 23:57:54 | → | ndn76kxuwwy2848s joins (ndn76kxuww@gateway/shell/matrix.org/x-lgamidutyxrdhvfr) |
| 2021-05-18 23:57:55 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-ednpnednlobxxcrt) |
| 2021-05-18 23:58:03 | → | saolof[m] joins (saolofmatr@gateway/shell/matrix.org/x-dsozhpyzivdxcvax) |
| 2021-05-18 23:58:19 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-18 23:58:27 | → | l-as joins (lasmatrixo@gateway/shell/matrix.org/x-cxpeosdgehyqszbe) |
| 2021-05-18 23:58:33 | → | jeanclaude[m] joins (jeanclaude@gateway/shell/matrix.org/x-rbatzfuczjblrjwp) |
| 2021-05-19 00:03:53 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-19 00:05:46 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-05-19 00:06:08 | <a6a45081-2b83> | is there a RS monad or using RWS should be enough? |
| 2021-05-19 00:07:27 | <c_wraith> | I'm of the opinion that RWS should never be used. the W portion, which you almost never want anyway, has strictness issues. |
| 2021-05-19 00:08:05 | <a6a45081-2b83> | c_wraith: what would be a better choice? |
| 2021-05-19 00:08:17 | <a6a45081-2b83> | it's true that I don't need W portion |
| 2021-05-19 00:08:45 | <a6a45081-2b83> | should I combine the monads myself? |
| 2021-05-19 00:09:51 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-19 00:10:08 | → | bennofs__ joins (~quassel@dynamic-077-013-120-064.77.13.pool.telefonica.de) |
| 2021-05-19 00:10:24 | <c_wraith> | If you want to maximize performance, yes. If you don't care about that, just nest ReaderT and State |
| 2021-05-19 00:13:41 | × | bennofs_ quits (~quassel@x4dbf70df.dyn.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-05-19 00:14:03 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 00:14:06 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-19 00:15:51 | <hololeap> | or just use State and pass the r in explicitly to the function |
| 2021-05-19 00:15:52 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-05-19 00:16:14 | <hololeap> | (ReaterT r (State s) a) vs (r -> State s a) |
| 2021-05-19 00:16:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-19 00:16:39 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-19 00:16:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-19 00:18:11 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-19 00:18:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 00:19:01 | <a6a45081-2b83> | I currently have ReaderT r (FooT (BarT m)) a |
| 2021-05-19 00:19:11 | × | tefter quits (~bmaxa@62.240.25.20) (Quit: WeeChat 3.1) |
| 2021-05-19 00:19:22 | <a6a45081-2b83> | I'm thinking of converting this to StateT (ReaderT r (FooT (BarT m))) a, will this work? |
| 2021-05-19 00:20:02 | <a6a45081-2b83> | *StateT s (ReaderT r (FooT (BarT m))) a |
| 2021-05-19 00:20:05 | hololeap | . o O ( foot bart ) |
| 2021-05-19 00:20:16 | <a6a45081-2b83> | :)) |
| 2021-05-19 00:20:47 | <a6a45081-2b83> | hololeap: have you tried template haskell for your problem? |
| 2021-05-19 00:21:24 | <hololeap> | no, i think it can be solved using generics. i just didn't want to reinvent the wheel if something was already out there. |
| 2021-05-19 00:22:05 | <hololeap> | @unmtl StateT s (ReaderT r m) a |
| 2021-05-19 00:22:06 | <lambdabot> | s -> r -> m (a, s) |
| 2021-05-19 00:22:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-19 00:22:39 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-19 00:23:02 | <hololeap> | @unmtl ReaderT r m a |
| 2021-05-19 00:23:03 | <lambdabot> | r -> m a |
| 2021-05-19 00:23:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 00:23:36 | <hololeap> | it just depends on what you need |
| 2021-05-19 00:23:48 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 2021-05-19 00:23:54 | <hololeap> | i'm pretty sure shuffling ReaderT up and down on the transformer stack never changes the semantics |
| 2021-05-19 00:24:11 | <hololeap> | @unmtl ReaderT r (StateT s m) a |
| 2021-05-19 00:24:11 | <lambdabot> | r -> s -> m (a, s) |
| 2021-05-19 00:24:54 | <a6a45081-2b83> | My last monad in the chain is IO() so it shouldn't matter the ordering |
| 2021-05-19 00:25:02 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-19 00:26:27 | <hololeap> | i don't generally use ReaderT unless i have to pass a value way down deep into my program |
| 2021-05-19 00:26:44 | → | jai9 joins (~textual@cpe-74-72-114-231.nyc.res.rr.com) |
| 2021-05-19 00:29:22 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-05-19 00:29:41 | <a6a45081-2b83> | doing some db operations so require the reader monad |
| 2021-05-19 00:30:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-19 00:30:24 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-svtwbkuqnerncbos) |
| 2021-05-19 00:33:43 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
All times are in UTC.