Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 707 708 709 710 711 712 713 714 715 716 717 .. 5022
— 502,152 events total
2020-10-18 00:33:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 00:35:01 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 244 seconds)
2020-10-18 00:37:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-18 00:38:35 × Guy quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-10-18 00:39:29 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-18 00:39:53 <jared-w> nix-shell -p cabal-install ghc && cabal build `--enable-executable-static --ghc-options=-split-sections`?
2020-10-18 00:40:03 <jared-w> (if you're on nixos the answer changes substantially)
2020-10-18 00:40:22 <koz_> jared-w: I am not on NixOS. So do I not need like, a configuration file for Nix or anything?
2020-10-18 00:40:31 <koz_> And won't this build a 64-bit binary?
2020-10-18 00:40:53 <jared-w> Not that I'm aware of. Ah, true. If you're *on* a x64 system and wanting to cross compile to x86 that throws a wrench into the works
2020-10-18 00:41:08 <koz_> jared-w: That was my primary question really.
2020-10-18 00:41:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-18 00:42:10 <jared-w> Yeah, makes sense. If you're not on nixos, cabal build --enable-executable-static more or less "just works" now. Cross compiling onto x32 can be a bit painful depending on what and where. I haven't done it, personally, so I can't immediately point you to any solution with experience
2020-10-18 00:42:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 00:42:49 <koz_> OK, thanks.
2020-10-18 00:44:08 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-18 00:44:10 <jared-w> https://nixos.wiki/wiki/Packaging/32bit_Applications this is really the first thing that I can find. So it seems "possible" and maybe even "sorta easy", but given that you're not on nixos, some of the cross compiling stuff doesn't always apply, which complicates things
2020-10-18 00:45:34 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-18 00:45:36 <koz_> I figured it _should_ be possible, but I dunno much about Nix. Oh well, thanks anyway.
2020-10-18 00:46:06 × daenth quits (~daenth@136.36.157.210) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-18 00:47:09 → conal joins (~conal@64.71.133.70)
2020-10-18 00:47:30 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-18 00:47:54 → daenth joins (~daenth@136.36.157.210)
2020-10-18 00:47:55 → conal joins (~conal@64.71.133.70)
2020-10-18 00:48:17 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-18 00:49:04 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3)
2020-10-18 00:49:45 → Tops2 joins (~Tobias@dyndsl-095-033-019-139.ewe-ip-backbone.de)
2020-10-18 00:52:25 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-18 00:52:25 × fragamus quits (~michaelgo@73.93.155.52) (Ping timeout: 264 seconds)
2020-10-18 00:52:32 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-18 00:53:50 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-18 00:57:04 → bvalek2 joins (~bvalek2@217.146.82.202)
2020-10-18 00:58:52 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-10-18 00:58:52 → fragamus joins (~michaelgo@73.93.152.144)
2020-10-18 00:59:14 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-18 01:02:39 → Jonkimi727406120 joins (~Jonkimi@223.213.79.20)
2020-10-18 01:04:25 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-10-18 01:07:43 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-18 01:07:44 × Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 272 seconds)
2020-10-18 01:08:22 → ensyde joins (~ensyde@2600:1702:2e30:1a40:e1f9:6cbb:4eca:3c84)
2020-10-18 01:10:25 × abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-18 01:11:50 → ryjm_matrix joins (~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c)
2020-10-18 01:14:33 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-18 01:15:16 <koz_> jared-w: I'm trying to follow this: https://github.com/Gabriel439/haskell-nix/tree/master/project0 , but I keep getting 'error: cannot auto-call a function that has an argument without a default value ('mkDerivation')' for (something near enough a carbon copy of) project0.nix when I run 'nix-build': error: cannot auto-call a function that has an argument without a default value ('mkDerivation')
2020-10-18 01:15:25 <koz_> Whoops, two pastes of error message.
2020-10-18 01:15:52 <koz_> default.nix: http://ix.io/2B5a
2020-10-18 01:16:07 <koz_> What am I missing?
2020-10-18 01:17:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-18 01:19:36 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 01:20:19 × karanlikmadde quits (~karanlikm@2a01:c23:641c:2200:c88d:7d7e:c962:437f) (Quit: karanlikmadde)
2020-10-18 01:20:58 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-10-18 01:21:28 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-18 01:23:47 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-18 01:24:12 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-18 01:25:10 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-18 01:25:20 <koz_> OK, never mind, see it now.
2020-10-18 01:26:26 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection)
2020-10-18 01:29:38 <Squarism> im playing with Generics here. I tried : from ([1,2,3,4] :: [Int]). I was a bit surprised the expression resulted in this : https://paste.ofcode.org/AXUFkv4hcGLmHQQbMvmUgb
2020-10-18 01:32:04 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 246 seconds)
2020-10-18 01:32:24 <Squarism> why isnt [2,3,4] expanded with a product type? is it lazy evaluation at play?
2020-10-18 01:32:58 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-18 01:35:33 <proofofme> name :: Word8 -> Parser Name This type declaration is in Cassava Parse docs: https://hackage.haskell.org/package/cassava-0.5.2.0/docs/Data-Csv-Parser.html Is the `Parser` a monad?
2020-10-18 01:35:53 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 01:35:53 × minne quits (~minne@4e69b241.skybroadband.com) (Ping timeout: 260 seconds)
2020-10-18 01:35:58 <ghoulguy> Squarism: Generics affects a single instance of a datatype
2020-10-18 01:36:01 <koz_> proofofme: Yes.
2020-10-18 01:36:05 <koz_> https://hackage.haskell.org/package/attoparsec-0.13.2.3/docs/Data-Attoparsec-Internal-Types.html#t:Parser
2020-10-18 01:36:11 <ghoulguy> Squarism: It doesn't recursively convert between the generic and normal representation
2020-10-18 01:36:57 hackage Z-IO 0.1.6.1 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.6.1 (winterland)
2020-10-18 01:41:11 × ensyde quits (~ensyde@2600:1702:2e30:1a40:e1f9:6cbb:4eca:3c84) (Ping timeout: 272 seconds)
2020-10-18 01:41:57 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-18 01:42:20 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-18 01:42:45 <koz_> OK, I think I have nix-build firing, finally.
2020-10-18 01:42:46 → rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2020-10-18 01:43:34 × dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-18 01:43:58 → dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-18 01:44:32 <Squarism> ghoulguy, okok.
2020-10-18 01:45:03 <Squarism> ghoulguy, i had a question for you regarding our latest talk about addressing a datastructure using string like paths.
2020-10-18 01:45:51 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-18 01:46:36 → ystael joins (~ystael@209.6.50.55)
2020-10-18 01:46:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-18 01:47:30 <Squarism> ghoulguy, could you see how the approach you elaborated, on using generics, could be extended to "multi level" addressing?
2020-10-18 01:48:26 <proofofme> is it possible to use cassava to parse just a String and not from a file?
2020-10-18 01:48:44 <koz_> proofofme: Yes. You need a ByteString, but you can use the 'decode' function.
2020-10-18 01:49:49 <proofofme> ok I will start there
2020-10-18 01:51:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-18 01:55:05 → Guy joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net)
2020-10-18 01:56:03 <proofofme> Prelude Data.Text> decode("a,b,c")
2020-10-18 01:56:20 <proofofme> Variable not in scope: decode :: [Char] -> t
2020-10-18 01:56:44 <koz_> proofofme: Cassava's decode.
2020-10-18 01:56:53 <koz_> And you don't call functions that way in Haskell.
2020-10-18 01:57:36 <Guy> yeah you call em like this
2020-10-18 01:57:53 <Guy> Function: (CALL) => [args]
2020-10-18 01:58:17 <koz_> Guy: ?
2020-10-18 01:58:22 <koz_> I don't follow.
2020-10-18 01:58:30 <Guy> a real mans way of calling functions
2020-10-18 01:58:52 <koz_> Guy: What has this got to do with Haskell?
2020-10-18 01:59:16 <Guy> its how functions will be called in the new Haskell update
2020-10-18 02:00:30 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-18 02:00:57 × xff0x quits (~fox@2001:1a81:53c5:c200:3161:a29a:3186:4358) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 707 708 709 710 711 712 713 714 715 716 717 .. 5022

All times are in UTC.