Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 .. 5022
— 502,152 events total
2020-11-13 11:57:10 <ski> well, according to the definitions at <https://en.wikipedia.org/wiki/Mealy_machine> and <https://en.wikipedia.org/wiki/Moore_machine>, those two kinds of finite state machines both contain output functions, not just transition functions
2020-11-13 11:57:27 × Suigintou quits (~Suigintou@84.39.117.57) (Remote host closed the connection)
2020-11-13 11:57:36 <ski> i dunno why `runFSM' is as it is
2020-11-13 11:57:40 <ski> one could have imagined
2020-11-13 11:58:22 <ski> runFSM :: Eq state => FSM state input output -> [input] -> ([output],state,Bool)
2020-11-13 11:58:43 <royal_screwup21> that makes a lot more sense yup
2020-11-13 11:58:59 <dminuoso> What does the Bool track?
2020-11-13 11:59:18 <ski> so that it doesn't only give you the resulting `state' (with a `Bool'ean for telling whether it's an accepting state) after feeding in the list of `input's, but so that you'd also get a corresponding list of `output's
2020-11-13 11:59:31 <ski> dminuoso : whether the resulting state is an accepting state
2020-11-13 12:00:03 <dminuoso> Ah
2020-11-13 12:04:38 → dennisb joins (~dennisb@89-160-106-195.cust.bredband2.com)
2020-11-13 12:06:04 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus)
2020-11-13 12:07:59 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-13 12:10:47 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-11-13 12:11:06 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-13 12:12:57 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-13 12:13:12 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-13 12:13:39 × invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser)
2020-11-13 12:14:09 <royal_screwup21> I'm looking at a dataype like so: `data BinState = S0 | S1 | S2 deriving (Enum, Eq, Show)`
2020-11-13 12:14:29 <royal_screwup21> is the name completely random, or is there logic to it? binary implies 2 but there's 3 variants
2020-11-13 12:16:56 × jakob_ quits (~textual@p200300f49f162200e1f79f04dc8b19b7.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-13 12:17:02 <dminuoso> royal_screwup21: Bin could also stand for bin.
2020-11-13 12:17:11 <dminuoso> Or its an abbreviation
2020-11-13 12:17:17 <royal_screwup21> bin as in bin-packing?
2020-11-13 12:17:21 <Uniaika> royal_screwup21: what's the context?
2020-11-13 12:17:44 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-13 12:17:49 <dminuoso> royal_screwup21: bin as in bucket
2020-11-13 12:17:54 <dminuoso> trash bin
2020-11-13 12:18:32 <ski> what's the corresponding FSM ?
2020-11-13 12:20:13 <bqv> is it ocaml that has that curious semantic of needing to pass () to a member function to call it
2020-11-13 12:20:15 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2020-11-13 12:20:25 <royal_screwup21> the correspoding fsm is this: https://ideone.com/fb90Ir
2020-11-13 12:20:44 <ski> bqv : not that i recall
2020-11-13 12:20:58 <bqv> what language am i thinking of then...
2020-11-13 12:21:36 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-11-13 12:21:36 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-13 12:22:29 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th)
2020-11-13 12:24:52 → kish` joins (~oracle@unaffiliated/oracle)
2020-11-13 12:24:58 <ski> bqv : hm, maybe F# ?
2020-11-13 12:25:09 <bqv> oh
2020-11-13 12:25:11 <bqv> yes
2020-11-13 12:25:13 <bqv> that's the one
2020-11-13 12:25:57 <bqv> i suppose that's just a "feature" of working under the CLR
2020-11-13 12:26:44 <kuribas> that's true for any language with side effects
2020-11-13 12:26:52 <ski> kuribas : no
2020-11-13 12:26:59 <dminuoso> https://github.com/cdepillabout/pretty-simple/blob/master/Setup.hs
2020-11-13 12:27:15 <dminuoso> Gaah! For that bit of code, this is dragging Cabal into the setup for dependencies..
2020-11-13 12:27:22 <kuribas> how would you otherwise know when to exectute the side-effects? For example "f ()" vs "f"
2020-11-13 12:27:47 <ski> see e.g. <https://caml.inria.fr/pub/docs/manual-ocaml/objectexamples.html>. the body of a parameterless method is not evaluated until it is called
2020-11-13 12:28:25 <ski> a method call is a different construct than an ordinary function call
2020-11-13 12:29:47 <ski> royal_screwup21 : hm, ok. doesn't really seem to be related to binary something, apart from accepting bits as inputs
2020-11-13 12:30:12 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-11-13 12:31:11 <bqv> ocaml is a fascinating language. why isn't it more used?
2020-11-13 12:31:37 bqv . o O ( same reason haskell isn't )
2020-11-13 12:32:19 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-13 12:32:21 <ski> OCaml has one of the more interesting object type, and class, system
2020-11-13 12:32:52 → Deide joins (~Deide@217.155.19.23)
2020-11-13 12:33:05 <ski> it can handle "binary methods" and "cloning methods", that is a method which accepts, or returns, a method of the same type as the object on which it's invoked on
2020-11-13 12:33:49 <ski> when these are used, the object type that results from a subclass need not be a subtype of the type that results from the corresponding superclass
2020-11-13 12:33:57 → jchia_ joins (~jchia@45.32.62.73)
2020-11-13 12:35:37 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-13 12:35:58 × ambiso9 quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds))
2020-11-13 12:35:59 <bqv> it is used less widely than even haskell, though
2020-11-13 12:36:08 <bqv> are there shortcomings?
2020-11-13 12:36:14 <bqv> or is it just nerd tax
2020-11-13 12:36:17 → ambiso9 joins (~ambiso@209.182.239.205)
2020-11-13 12:36:41 <Uniaika> tooling
2020-11-13 12:36:52 <ski> (so if class `C' has a method `m' of type `Self -> bool', then an object instantiated from this class will have `C -> bool' as type of this method. then, if `D' is a subclass of `C', then the type of the method `m' for an object instantiated from this class will be `D -> bool')
2020-11-13 12:38:01 × ashbreeze quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds)
2020-11-13 12:38:35 <bqv> Uniaika: howso?
2020-11-13 12:39:39 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-13 12:40:17 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-13 12:40:30 → jchia_ joins (~jchia@45.32.62.73)
2020-11-13 12:40:54 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-13 12:41:54 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-13 12:42:16 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-13 12:42:51 → jchia_ joins (~jchia@45.32.62.73)
2020-11-13 12:44:34 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-13 12:45:28 → jchia_ joins (~jchia@58.32.37.146)
2020-11-13 12:46:35 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4085:c5d6:bbdf:5f4e)
2020-11-13 12:46:40 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2020-11-13 12:49:46 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 256 seconds)
2020-11-13 12:50:10 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-11-13 12:54:12 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-13 12:54:46 <ggole> The OO parts of OCaml are neat, but they don't see much use in practice
2020-11-13 12:59:58 <kuribas> how does it compare to F# ?
2020-11-13 13:00:10 <kuribas> in F# it's useful because .NET uses OO
2020-11-13 13:00:54 <carbolymer> I have a dozen of executables in my stack project, can I tell stack to *not* build them and not copy them, during stack build --test ? installing of executables takes longer than execution of tests....
2020-11-13 13:05:12 <maerwald> use `stack test`?
2020-11-13 13:05:24 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4085:c5d6:bbdf:5f4e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-13 13:05:26 → solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr)
2020-11-13 13:06:42 → nbloomf joins (~nbloomf@76.217.43.73)
2020-11-13 13:07:15 <ggole> They're pretty different, not that I've ever seriously used F#.
2020-11-13 13:08:06 → LKoen joins (~LKoen@9.253.88.92.rev.sfr.net)
2020-11-13 13:08:19 <carbolymer> maerwald, stack test is the same as stack build --test
2020-11-13 13:08:33 <maerwald> that's a bummer
2020-11-13 13:09:26 → _ashbreeze_ joins (~mark@72-161-252-32.dyn.centurytel.net)
2020-11-13 13:10:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-13 13:11:00 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 260 seconds)
2020-11-13 13:11:41 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 .. 5022

All times are in UTC.