Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.