Logs: freenode/#haskell
| 2021-05-03 14:57:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 14:57:59 | → | jrvlima joins (~jlima@2804:7f2:2a8d:d54f:ef34:bc04:6132:d4ab) |
| 2021-05-03 14:58:08 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-03 14:58:14 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 14:58:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-03 14:59:06 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-03 15:00:01 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 15:01:46 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 2021-05-03 15:02:02 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-03 15:07:03 | → | kaesler joins (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) |
| 2021-05-03 15:10:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 15:11:32 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 2021-05-03 15:11:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-03 15:14:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit) |
| 2021-05-03 15:15:28 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-03 15:16:29 | → | knupfer joins (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) |
| 2021-05-03 15:17:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 15:18:10 | × | kaesler quits (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) (Quit: Connection closed) |
| 2021-05-03 15:18:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds) |
| 2021-05-03 15:19:11 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-03 15:22:30 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-05-03 15:22:43 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) (Ping timeout: 260 seconds) |
| 2021-05-03 15:23:45 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) |
| 2021-05-03 15:24:57 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-bdtzrtmgfdsivqab) |
| 2021-05-03 15:25:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 15:25:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-03 15:26:11 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-03 15:27:33 | <seven_three> | I have a bunch of functions that take and return a ProgramState: `f :: ProgramState -> a -> a -> ProgramState`. I am struggling to implement the examples I see about the State monad because the examples return a value along with the state `-> (a, ProgramState)` but I don't care about getting a value, all I need to do is return a new ProgramState. Is the State monad the right abstraction for me? |
| 2021-05-03 15:28:29 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-05-03 15:28:51 | × | knupfer quits (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) (Ping timeout: 248 seconds) |
| 2021-05-03 15:29:29 | <geekosaur> | probably not, although there's State ProgramState () |
| 2021-05-03 15:30:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 15:31:18 | <seven_three> | geekosaur: Am I right to say that the advantage of using `State ProgramState ()` is that I wouldn't have to explicitly pass around the initial `ProgramState` to all the functions? |
| 2021-05-03 15:31:23 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-03 15:31:34 | <geekosaur> | yes |
| 2021-05-03 15:31:43 | → | anandprabhu joins (~anandprab@94.202.236.255) |
| 2021-05-03 15:32:01 | <seven_three> | so then instead all of my functions would be `f :: a -> a -> State ProgramState ()`? |
| 2021-05-03 15:32:16 | <geekosaur> | yes |
| 2021-05-03 15:32:34 | <seven_three> | ok nice |
| 2021-05-03 15:32:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 15:33:08 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-03 15:33:48 | × | anandprabhu quits (~anandprab@94.202.236.255) (Client Quit) |
| 2021-05-03 15:33:59 | → | anandprabhu joins (~Anand@94.202.236.255) |
| 2021-05-03 15:34:23 | anandprabhu | is now known as Guest92256 |
| 2021-05-03 15:34:36 | × | Guest92256 quits (~Anand@94.202.236.255) (Client Quit) |
| 2021-05-03 15:36:08 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-03 15:36:09 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 15:36:25 | → | anandprabhu_ joins (~Anand@94.202.236.255) |
| 2021-05-03 15:37:23 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 15:38:25 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 15:39:17 | × | anandprabhu_ quits (~Anand@94.202.236.255) (Client Quit) |
| 2021-05-03 15:40:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-03 15:40:40 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-05-03 15:42:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 15:42:57 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 2021-05-03 15:43:28 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-03 15:43:44 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-03 15:43:44 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-05-03 15:44:36 | → | knupfer joins (~Thunderbi@200116b82b019d00bc2b28bf1ce4a9b3.dip.versatel-1u1.de) |
| 2021-05-03 15:47:43 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-03 15:50:13 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-05-03 15:50:23 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-03 15:51:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 15:51:16 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-03 15:51:28 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 15:53:55 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-05-03 15:54:54 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 15:56:27 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-03 15:57:31 | → | coot joins (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 2021-05-03 15:58:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 15:59:06 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 15:59:53 | → | cortexauth joins (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) |
| 2021-05-03 16:00:03 | × | coot quits (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Remote host closed the connection) |
| 2021-05-03 16:00:07 | × | jo[m]5 quits (josefmat1@gateway/shell/matrix.org/x-ctqrkejqlhbnkkcd) (Quit: Idle for 30+ days) |
| 2021-05-03 16:00:26 | → | coot joins (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 2021-05-03 16:02:46 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 2021-05-03 16:04:25 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-03 16:05:20 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-03 16:06:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 16:06:56 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-05-03 16:07:31 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-03 16:09:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 16:10:30 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 16:10:32 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-03 16:11:21 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-03 16:11:33 | × | ADG1089 quits (~aditya@223.236.186.113) (Quit: Konversation terminated!) |
| 2021-05-03 16:12:48 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 16:14:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 16:15:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 16:17:10 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 16:18:21 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 2021-05-03 16:19:15 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-03 16:20:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-03 16:21:05 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-03 16:22:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 16:22:06 | → | alx741 joins (~alx741@181.196.69.213) |
| 2021-05-03 16:22:09 | → | keiopa joins (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 2021-05-03 16:22:36 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-05-03 16:24:22 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 16:24:27 | <keiopa> | hey, if i have a function that has this signature : "calcLine :: NPoint -> (NPoint -> OverTime NPoint)" what is this returning? |
All times are in UTC.