Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 722 723 724 725 726 727 728 729 730 731 732 .. 5022
— 502,152 events total
2020-10-19 02:45:10 <koz_> If you've dealt with streaming before, it should look familiar.
2020-10-19 02:45:25 <Squarism> God, im so stuck. I this should be doable with haskell and all its neat libraries / extensions - but I just dont know how. I tried to formulate my problem here : https://paste.ofcode.org/6TcXd6tnxnpqkEaGYNja2M
2020-10-19 02:45:26 <proofofme> It returns an InputStream
2020-10-19 02:45:36 <Squarism> I think this.... *
2020-10-19 02:46:00 × plutoniix quits (~q@node-uhv.pool-125-24.dynamic.totinternet.net) (Ping timeout: 258 seconds)
2020-10-19 02:46:06 <koz_> proofofme: So read the docs around that type in io-streams.
2020-10-19 02:46:10 × lortabac quits (~lortabac@51.158.65.124) (Ping timeout: 246 seconds)
2020-10-19 02:46:42 <koz_> Squarism: Do you have a list separated by /?
2020-10-19 02:47:15 <koz_> Also, proofofme, InputStream is _a_ type, but _not_ the type mysql-haskell gives back. From my memory, it's something like a pair of field headers and a stream of vectors of values.
2020-10-19 02:47:25 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-19 02:47:30 <Squarism> koz_, well that should be the address in the end.
2020-10-19 02:47:32 <koz_> And you want something to represent a list separated by /?
2020-10-19 02:47:36 → Tario joins (~Tario@201.192.165.173)
2020-10-19 02:47:37 <proofofme> yeah, it gives a column definition and InputStream tuple
2020-10-19 02:48:04 <koz_> proofofme: So basically, this is what you're dealing with. You'd need to use whatever information is in the column defs to determine what you want.
2020-10-19 02:48:24 <koz_> Then, for each element in the stream, fish out what you want, and tear apart the MySQLWhateverItIs sum type to get at the actual data.
2020-10-19 02:48:41 <Squarism> koz: Basicall i want to achive lens libraries (get + map) in "mapLeaf"
2020-10-19 02:49:09 → lortabac joins (~lortabac@51.158.65.124)
2020-10-19 02:49:17 ← et09 parts (~et09@unaffiliated/endolphin) ()
2020-10-19 02:49:18 <Squarism> but using textual addresses. Wrong address or empty slot returns Nothing
2020-10-19 02:49:33 <koz_> Squarism: What's the ultimate goal of this thing?
2020-10-19 02:49:58 ← wroathe parts (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) ()
2020-10-19 02:50:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-19 02:51:49 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 02:53:42 × isovector1 quits (~isovector@172.103.217.169.cable.tpia.cipherkey.com) (Ping timeout: 272 seconds)
2020-10-19 02:53:44 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e14d:f5f1:4984:f268)
2020-10-19 02:56:12 <Squarism> the ultimate goal is : 1. A library user defines a datatype A. 2. All "leafs" in a value of the datatype A will yield "addresses" where data can be added using "setLeaf". 3. All "set" leafs (Any "Step a" value) in the datatype A value. So say A is defined as : data Pr1 = Pr1 { a :: Step Int, b :: Maybe (Step Bool) }. A value could be Pr1 { a = Step 11 "foo", b = Nothing }. "b" is an example of an unset value.
2020-10-19 02:56:21 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 258 seconds)
2020-10-19 02:56:39 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-19 02:57:09 <koz_> This sounds like something that could be rolled with like, Generic? Or generics-sop maybe?
2020-10-19 02:57:53 → plutoniix joins (~q@ppp-27-55-70-11.revip3.asianet.co.th)
2020-10-19 02:57:57 <Squarism> so in point 2 above, the address "b/just" will be provided as a valid address. User fills in some data sends data + address to server, updates value of Pr1 with setLeaf
2020-10-19 02:58:08 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 272 seconds)
2020-10-19 02:58:56 <Squarism> koz_, yeah, im trying to play with Generic instance but i feel the level is quite high for me. I just dont see the end solution playing around with it.
2020-10-19 02:59:31 <koz_> So you basically want a 'skeleton' of the data type to use as a 'direction' for something to go into an actual value of said data type?
2020-10-19 02:59:38 → ephemera_ joins (~E@122.34.1.187)
2020-10-19 02:59:42 <koz_> This is 100% a job for Generic or generics-sop.
2020-10-19 03:00:02 × tvn quits (~tvn@178.239.168.171) ()
2020-10-19 03:00:07 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-19 03:01:09 <Squarism> Do you know of any library that relies heavily on Generic that might be able to give me inspriation?
2020-10-19 03:01:31 <koz_> Squarism: generic-lens perhaps?
2020-10-19 03:02:34 <Squarism> okey. Ill check it out
2020-10-19 03:04:25 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2020-10-19 03:06:15 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-19 03:11:08 × drbean quits (~drbean@TC210-63-209-157.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-19 03:11:54 → christo joins (~chris@81.96.113.213)
2020-10-19 03:12:45 → drbean joins (~drbean@TC210-63-209-153.static.apol.com.tw)
2020-10-19 03:13:29 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-19 03:15:12 × thir quits (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-19 03:15:19 × polyrain quits (~polyrain@2001:8003:e501:6901:fd69:4af9:af31:f884) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 03:15:41 → thir joins (~thir@pd9e1b01f.dip0.t-ipconnect.de)
2020-10-19 03:20:37 × thir quits (~thir@pd9e1b01f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-10-19 03:20:52 × ensyde quits (~ensyde@2600:1702:2e30:1a40:e4b3:9206:daf1:55c1) (Quit: WeeChat 2.9)
2020-10-19 03:21:58 → Jarsto1 joins (~Jarsto@185.244.214.216)
2020-10-19 03:23:48 → ensyde joins (~ensyde@2600:1702:2e30:1a40:e4b3:9206:daf1:55c1)
2020-10-19 03:24:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 03:28:06 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-19 03:29:52 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-19 03:30:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-19 03:30:16 × plutoniix quits (~q@ppp-27-55-70-11.revip3.asianet.co.th) (Ping timeout: 246 seconds)
2020-10-19 03:37:12 × codygman quits (~codygman@2600:380:f900:eb14:1646:9538:6f47:89d5) (Read error: Connection reset by peer)
2020-10-19 03:37:28 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-19 03:37:34 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-19 03:39:48 → amir48 joins (3263cbdb@50.99.203.219)
2020-10-19 03:40:38 × amir48 quits (3263cbdb@50.99.203.219) (Remote host closed the connection)
2020-10-19 03:41:16 → former_ocaml_use joins (3263cbdb@50.99.203.219)
2020-10-19 03:41:59 <former_ocaml_use> anyone have trouble compiling using "ghc main.hs" on macos catalina? getting this: Undefined symbols for architecture x86_64: "___darwin_check_fd_set_overflow", referenced from: _awaitEvent in libHSrts.a(Select.o)
2020-10-19 03:43:54 → plutoniix joins (~q@ppp-223-24-94-226.revip6.asianet.co.th)
2020-10-19 03:44:52 × abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Quit: leaving)
2020-10-19 03:45:59 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 03:46:59 <dsal> former_ocaml_use: Whatever ghc you've got is probably not right. But that's not a thing people do in general, so something led you down a bad path. Starting with cabal or stack or nix will got you a lot further a lot faster. (I use stack and nix, so I don't know much about cabal, but people like it). In any case, running the compiler directly is uncommon.
2020-10-19 03:48:42 <former_ocaml_use> same error when using cabal, tried ghc to make it easier to repro for myself
2020-10-19 03:50:13 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-19 03:50:14 <dsal> Where do you get the compiler? I don't know The Cabal Way™, but with stack or nix, the platform-appropriate compiler is part of the build specification and it does the right thing for you.
2020-10-19 03:50:33 → petersen joins (~petersen@redhat/juhp)
2020-10-19 03:52:13 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-19 03:53:21 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 03:53:47 → thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de)
2020-10-19 03:55:28 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-19 03:57:20 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 256 seconds)
2020-10-19 03:57:45 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-19 03:59:12 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-10-19 04:01:38 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-19 04:01:53 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-19 04:01:55 → isovector1 joins (~isovector@172.103.217.169)
2020-10-19 04:02:09 × thir quits (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-19 04:04:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 04:04:29 <former_ocaml_use> hmm I think i got it from haskell-mode
2020-10-19 04:04:45 <former_ocaml_use> I'll try reinstalling ghc and stuff
2020-10-19 04:07:14 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-19 04:07:26 → Tario joins (~Tario@201.192.165.173)
2020-10-19 04:09:43 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-19 04:09:44 <koz_> Basically on Mac, the correct way is ghcup.
2020-10-19 04:09:48 <koz_> Always and forever.
2020-10-19 04:10:01 <koz_> This also lets you have multiple GHCs, and manage them individually, as well as update.
2020-10-19 04:10:48 <dsal> I use both nix and stack on mac. :p
2020-10-19 04:11:09 <dsal> I've never tried ghcup, though. So many factions we have.
2020-10-19 04:11:18 <koz_> dsal: I'm trying to get into Nix, but only for three reasons.
2020-10-19 04:11:29 <koz_> (basically, I want musl-linked fully static 32-bit applications)
2020-10-19 04:11:36 <koz_> I'm so far not having much luck with that.
←Prev  Next→
Page 1 .. 722 723 724 725 726 727 728 729 730 731 732 .. 5022

All times are in UTC.