Logs: freenode/#haskell
| 2021-03-01 22:48:44 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-01 22:48:53 | <monochrom> | Doesn't mean I want this model forever. |
| 2021-03-01 22:48:56 | <minoru_shiraeesh> | so, how do you apply non-descrete stuff when designing an architecture of, say, a click counter or a gui calculator, or any non-trivial program |
| 2021-03-01 22:49:22 | <minoru_shiraeesh> | I imagine an answer like "there are streams" |
| 2021-03-01 22:49:28 | <python476> | koz_: I (very .. very very) often fantasize suing the IT field for making me learn java/oo |
| 2021-03-01 22:49:29 | <minoru_shiraeesh> | or something like that |
| 2021-03-01 22:49:31 | <monochrom> | I already described my solution to click counter. |
| 2021-03-01 22:49:48 | <monochrom> | For larger examples I would start charging consultation fees. |
| 2021-03-01 22:50:07 | <python476> | so much bikeshedding discussions about where to place whatever bad side effect disguised as programming expert talk |
| 2021-03-01 22:50:11 | <minoru_shiraeesh> | how do I translate a notion of a function from time instant to number of click to an actual code? |
| 2021-03-01 22:50:39 | <minoru_shiraeesh> | like "use this library" |
| 2021-03-01 22:50:49 | <minoru_shiraeesh> | or "use this monad" |
| 2021-03-01 22:51:18 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-01 22:51:39 | <monochrom> | In fact I think the ℝ->Thing model fits DirectX game engines more than ever. Right? Those game engines are frameworks that say "I tell you the time now is 3 o'clock, you tell me what to draw now" |
| 2021-03-01 22:51:39 | <python476> | talking about streams, I just finished 'the reasoned schemer' and it's mostly streams of unified substitution.. any of you know haskell articles about relational interpreters ? |
| 2021-03-01 22:52:04 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-01 22:52:18 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-03-01 22:52:36 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 2021-03-01 22:52:41 | <monochrom> | You are not even supposed to code up a lazy stream when you use a game engine. |
| 2021-03-01 22:53:53 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-03-01 22:54:42 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-03-01 22:54:49 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-03-01 22:55:16 | <minoru_shiraeesh> | ok, I'm trying to understand how to apply it in practice. we don't need the "time instant" parameter, so we have a function something like currentNumberOfClicks :: Int, right? |
| 2021-03-01 22:55:39 | <minoru_shiraeesh> | so, that function represents some non-discrete thing |
| 2021-03-01 22:56:04 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-01 22:56:30 | <minoru_shiraeesh> | in haskell it would have a type IO Int |
| 2021-03-01 22:56:38 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-vhrafoxqkobeyjua) |
| 2021-03-01 22:57:16 | → | egp_ joins (~egp_@2.95.74.168) |
| 2021-03-01 22:57:40 | <minoru_shiraeesh> | so, if I think in terms of functions like (currentNumberOfClicks :: IO Int) - that means I'm thinking in terms of some non-descrete things, right? |
| 2021-03-01 22:57:59 | → | Tario joins (~Tario@200.119.185.141) |
| 2021-03-01 22:58:40 | → | conal joins (~conal@152.89.204.163) |
| 2021-03-01 23:00:05 | × | araujo quits (~textual@unaffiliated/araujo) (Quit: see ya...) |
| 2021-03-01 23:00:37 | → | araujo joins (~araujo@45.56.153.95) |
| 2021-03-01 23:00:38 | × | araujo quits (~araujo@45.56.153.95) (Changing host) |
| 2021-03-01 23:00:38 | → | araujo joins (~araujo@unaffiliated/araujo) |
| 2021-03-01 23:02:34 | <Axman6> | an IO Int is a recipe which, when _exxecuted_ will produce an Int. It may always return the same int (return 7), it may always return a new int (do { i <- readIORef ref; writeIORef ref (i+1); return i }), it may return a random IOReg (getRandomIO). I'm not sure if discrete and non-discrete come into it |
| 2021-03-01 23:03:34 | <Axman6> | exxecution is like execution, but more badass |
| 2021-03-01 23:03:43 | <Axman6> | while still being kid friendly |
| 2021-03-01 23:03:47 | × | fendor_ quits (~fendor@91.141.3.125.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-03-01 23:04:25 | <koz_> | As opposed to exxxecution. |
| 2021-03-01 23:04:29 | <koz_> | Which is not kid-friendly. |
| 2021-03-01 23:05:59 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-01 23:06:06 | × | Chobbes_ quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1) |
| 2021-03-01 23:06:06 | × | chirpsal1 quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1) |
| 2021-03-01 23:06:56 | → | chirpsalot joins (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 2021-03-01 23:06:58 | → | Chobbes joins (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 2021-03-01 23:08:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 2021-03-01 23:09:41 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-01 23:09:49 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-01 23:10:20 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-01 23:10:35 | <minoru_shiraeesh> | unless you're dealing with delays as part of application's domain model, you don't need a parameter representing a time instant, because you can imagine that it is passed implicitly |
| 2021-03-01 23:11:36 | <minoru_shiraeesh> | so any function becomes non-descreet, if I understood the notion correctly |
| 2021-03-01 23:11:54 | <minoru_shiraeesh> | but then the notion becomes useless, because it applies to everything |
| 2021-03-01 23:13:58 | <minoru_shiraeesh> | you can say "do this thing" instead of "imagine a mapping from time instants to actions and execute an action that corresponds to current time instant" |
| 2021-03-01 23:14:47 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-01 23:15:35 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 2021-03-01 23:15:48 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2021-03-01 23:16:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-01 23:16:48 | × | Tario quits (~Tario@200.119.185.141) (Read error: Connection reset by peer) |
| 2021-03-01 23:17:23 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-01 23:18:16 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-01 23:21:15 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-01 23:22:39 | × | conal quits (~conal@152.89.204.163) (Quit: Computer has gone to sleep.) |
| 2021-03-01 23:24:14 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds) |
| 2021-03-01 23:24:56 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-03-01 23:25:32 | → | conal joins (~conal@192.145.118.157) |
| 2021-03-01 23:25:51 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-01 23:29:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 2021-03-01 23:29:56 | × | klf quits (~klf@67.216.62.0) (Quit: This computer has gone to sleep) |
| 2021-03-01 23:32:21 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-03-01 23:32:44 | × | danvet_ quits (~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 260 seconds) |
| 2021-03-01 23:33:01 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-01 23:33:19 | × | monokrome|stole quits (~monokrome@23-24-202-21-static.hfc.comcastbusiness.net) (Quit: WeeChat 2.8) |
| 2021-03-01 23:34:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-01 23:34:12 | × | MethMom quits (~root@097-103-176-123.res.spectrum.com) (Remote host closed the connection) |
| 2021-03-01 23:35:22 | <perrier-jouet> | hi all |
| 2021-03-01 23:35:35 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-01 23:36:24 | → | klf joins (~klf@67.216.62.0) |
| 2021-03-01 23:36:29 | <perrier-jouet> | I installed my haskell setup like stack setup --system-ghc --resolver ghc-8.10.4 and when I did stacl install pandoc I got this error |
| 2021-03-01 23:37:11 | <perrier-jouet> | https://ix.io/2Rmh |
| 2021-03-01 23:37:11 | × | araujo quits (~araujo@unaffiliated/araujo) (Quit: My laptop has gone to ZZZzzz…) |
| 2021-03-01 23:37:24 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-01 23:37:27 | <perrier-jouet> | sorry |
| 2021-03-01 23:37:27 | × | augnun quits (~augnun@2804:14c:658b:41bb:6357:d1d8:c301:8b07) (Quit: WeeChat 3.0.1) |
| 2021-03-01 23:37:33 | <perrier-jouet> | http://ix.io/2Rmh |
| 2021-03-01 23:38:18 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-01 23:38:28 | <monochrom> | Perhaps you have to settle with an older GHC, as said. |
| 2021-03-01 23:38:35 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 2021-03-01 23:39:19 | <monochrom> | Perhaps not so much stack itself but what's on stackage. |
| 2021-03-01 23:39:21 | <Axman6> | those errors at the top looks like you have a very old stack |
| 2021-03-01 23:39:43 | <monochrom> | Oh, that. |
| 2021-03-01 23:39:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-01 23:40:06 | × | curiousgay quits (~AdminUser@178.217.208.8) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-01 23:40:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-01 23:41:09 | <perrier-jouet> | I just did stack updater |
| 2021-03-01 23:41:12 | <perrier-jouet> | update |
| 2021-03-01 23:41:23 | <Axman6> | what's stack --version say? |
| 2021-03-01 23:41:35 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-01 23:41:39 | <Axman6> | the update might have run but you have an older stack earlier in your path |
| 2021-03-01 23:41:58 | <perrier-jouet> | Version 2.1.3, Git revision 636e3a759d51127df2b62f90772def126cdf6d1f (7735 commits) x86_64 hpack-0.31.2 |
All times are in UTC.