Logs: freenode/#haskell
| 2020-11-13 09:13:22 | <kuribas> | dminuoso: that's why most of our code is written with lists instead of structs, because structs cannot be updated easily. |
| 2020-11-13 09:13:35 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-13 09:13:41 | → | Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it) |
| 2020-11-13 09:13:55 | <kuribas> | dminuoso: but it decreases readability, because (car foo) isn't clear on what car means. |
| 2020-11-13 09:14:45 | <kuribas> | I feel it's a lot of effort to solve a problem that is not a problem (hot reloading). |
| 2020-11-13 09:15:12 | <kuribas> | with a stateless service we could just restart the app in seconds. |
| 2020-11-13 09:16:50 | → | theoneyouknow joins (~quassel@95.168.121.30) |
| 2020-11-13 09:16:56 | × | atbd quits (~atbd@68.166.138.88.rev.sfr.net) (Quit: leaving) |
| 2020-11-13 09:17:02 | → | avdb joins (~avdb@ip-213-49-124-119.dsl.scarlet.be) |
| 2020-11-13 09:17:23 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 260 seconds) |
| 2020-11-13 09:18:11 | × | z0 quits (~z0@188.251.69.121) (Quit: leaving) |
| 2020-11-13 09:18:41 | → | invaser1 joins (~Thunderbi@46-133-153-250.mobile.vf-ua.net) |
| 2020-11-13 09:21:47 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-11-13 09:21:47 | invaser1 | is now known as invaser |
| 2020-11-13 09:29:44 | × | britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep) |
| 2020-11-13 09:31:10 | × | jneira quits (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) (Ping timeout: 258 seconds) |
| 2020-11-13 09:31:15 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-13 09:34:18 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:d89f:d10e:927a:2962) |
| 2020-11-13 09:34:28 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 2020-11-13 09:37:16 | → | akegalj joins (~akegalj@93-138-135-85.adsl.net.t-com.hr) |
| 2020-11-13 09:37:32 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 2020-11-13 09:37:55 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-13 09:39:21 | <tomsmeding> | kuribas: no wonder you're longing to program in haskell |
| 2020-11-13 09:39:31 | <kuribas> | tomsmeding: yeah :) |
| 2020-11-13 09:42:22 | × | cow-orker quits (~foobar@pogostick.net) (Remote host closed the connection) |
| 2020-11-13 09:47:25 | <benschza> | Are there any Arrows or Yampa gurus online today? :) Solved the purely Haskell related type issue I had yesterday with all of your help, but have another query somebody with Yampa experience could probably advise on. |
| 2020-11-13 09:49:33 | → | ubert joins (~Thunderbi@p200300ecdf1e535be6b318fffe838f33.dip0.t-ipconnect.de) |
| 2020-11-13 09:50:04 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-11-13 09:53:34 | → | invaser1 joins (~Thunderbi@31.148.23.125) |
| 2020-11-13 09:54:36 | × | jespada_ quits (~jespada@90.254.245.49) (Ping timeout: 256 seconds) |
| 2020-11-13 09:56:08 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-13 09:57:05 | → | jespada joins (~jespada@90.254.245.49) |
| 2020-11-13 09:57:19 | × | invaser quits (~Thunderbi@46-133-153-250.mobile.vf-ua.net) (Ping timeout: 246 seconds) |
| 2020-11-13 09:57:19 | invaser1 | is now known as invaser |
| 2020-11-13 10:00:35 | × | akegalj quits (~akegalj@93-138-135-85.adsl.net.t-com.hr) (Quit: leaving) |
| 2020-11-13 10:00:42 | × | knupfer quits (~Thunderbi@200116b8249e5f0024181441028bf74f.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-13 10:00:51 | → | knupfer joins (~Thunderbi@200116b8249e5f0010c5e6f6682b8ccf.dip.versatel-1u1.de) |
| 2020-11-13 10:00:57 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 2020-11-13 10:02:01 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 264 seconds) |
| 2020-11-13 10:03:02 | × | xff0x quits (~fox@2001:1a81:53f2:4b00:a4e6:ede5:b1af:2468) (Ping timeout: 264 seconds) |
| 2020-11-13 10:03:39 | → | xff0x joins (~fox@2001:1a81:53f2:4b00:f0ff:5175:9775:725d) |
| 2020-11-13 10:05:55 | <dminuoso> | Why cant I have recursive imports |
| 2020-11-13 10:05:57 | <dminuoso> | *sigh* |
| 2020-11-13 10:06:39 | <dminuoso> | *circular |
| 2020-11-13 10:06:57 | <merijn> | dminuoso: I know, right |
| 2020-11-13 10:07:09 | <merijn> | dminuoso: Take time off work to fix it in GHC! :> |
| 2020-11-13 10:07:42 | <dminuoso> | merijn: Oh I had a large discussion with Ryan and some other about it a while ago. Let me summarize the feasibility for you: |
| 2020-11-13 10:07:44 | <dminuoso> | Yeah uh.. no. |
| 2020-11-13 10:08:23 | <dminuoso> | That's one of the things C/C++ at least got right. |
| 2020-11-13 10:08:30 | <dminuoso> | Or semi right, anyhow. |
| 2020-11-13 10:08:52 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-11-13 10:09:25 | <merijn> | What? Not having modules or imports at all? :p |
| 2020-11-13 10:09:32 | × | bitmagie quits (~Thunderbi@200116b8068f010041b23aab865e3023.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-13 10:10:17 | <dminuoso> | Well, separating declaration and definition lets you set up circular things easily |
| 2020-11-13 10:10:41 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 2020-11-13 10:11:04 | <dminuoso> | (the problems are essentially deferred to the linker) |
| 2020-11-13 10:12:03 | <dminuoso> | and our linkers *can* handle circular linking |
| 2020-11-13 10:12:12 | <dminuoso> | (say via --start-group) |
| 2020-11-13 10:12:41 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2020-11-13 10:15:27 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-13 10:16:52 | × | Ferdirand quits (~max@2001:4c78:2012:5000::2) (Ping timeout: 260 seconds) |
| 2020-11-13 10:17:02 | → | Ferdirand joins (~max@2001:4c78:2012:5000::2) |
| 2020-11-13 10:23:54 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2020-11-13 10:24:10 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2020-11-13 10:28:12 | → | Suigintou joins (~Suigintou@84.39.117.57) |
| 2020-11-13 10:31:17 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 2020-11-13 10:34:47 | ← | jsmolic parts (~jakov@95.168.121.30) () |
| 2020-11-13 10:35:36 | × | theoneyouknow quits (~quassel@95.168.121.30) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2020-11-13 10:36:16 | → | Sanchayan joins (~Sanchayan@2401:4900:3309:dec3:efb6:6366:cb4:cbe4) |
| 2020-11-13 10:37:25 | → | bitmagie joins (~Thunderbi@200116b8068f010041b23aab865e3023.dip.versatel-1u1.de) |
| 2020-11-13 10:42:16 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 2020-11-13 10:45:49 | × | avdb quits (~avdb@ip-213-49-124-119.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-13 10:48:20 | gproto023 | is now known as gproto23 |
| 2020-11-13 10:51:45 | × | bitmagie quits (~Thunderbi@200116b8068f010041b23aab865e3023.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-13 10:52:56 | → | cow-orker joins (~foobar@pogostick.net) |
| 2020-11-13 10:54:18 | → | theoneyouknow joins (~quassel@95.168.121.30) |
| 2020-11-13 10:54:24 | × | theoneyouknow quits (~quassel@95.168.121.30) (Client Quit) |
| 2020-11-13 10:54:40 | → | jsmolic joins (~quassel@95.168.121.30) |
| 2020-11-13 10:57:32 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-13 10:57:37 | <royal_screwup21> | hello |
| 2020-11-13 10:57:59 | → | acidjnk_new joins (~acidjnk@p200300d0c718f669e4bb3e68b1aef453.dip0.t-ipconnect.de) |
| 2020-11-13 10:58:00 | <royal_screwup21> | I'm trying to understand what snippet does and how to run the runFSM functions: https://ideone.com/iHDBvv |
| 2020-11-13 10:58:08 | <royal_screwup21> | could someone give me a quick example? |
| 2020-11-13 10:58:37 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:d89f:d10e:927a:2962) (Ping timeout: 260 seconds) |
| 2020-11-13 11:00:03 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-11-13 11:03:32 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-13 11:08:35 | <ski> | call it on an `FSM state input output', and a list of successive `input's ? |
| 2020-11-13 11:08:39 | × | dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-11-13 11:10:28 | <royal_screwup21> | ski ah hmm...could you give me a bare bones example of something I could copy-paste into ghci? :) I'm not really sure I understand what's going on in that snippet (i'm a complete beginner) |
| 2020-11-13 11:10:52 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-13 11:11:43 | <ski> | start by defining an example FSM |
| 2020-11-13 11:12:32 | <ski> | exampleFSM :: FSM Int Char Char |
| 2020-11-13 11:12:43 | <ski> | exampleFSM = FSM start trans accept out |
| 2020-11-13 11:12:46 | <ski> | where |
| 2020-11-13 11:12:54 | <ski> | start = ... |
| 2020-11-13 11:13:00 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 265 seconds) |
| 2020-11-13 11:13:10 | <ski> | trans state input = ..state..input.. |
| 2020-11-13 11:13:18 | <ski> | accept = [...] |
| 2020-11-13 11:13:30 | <royal_screwup21> | ski thanks, I will try that out :) |
| 2020-11-13 11:13:31 | <ski> | out = ... |
All times are in UTC.