Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 724 725 726 727 728 729 730 731 732 733 734 .. 5022
— 502,152 events total
2020-10-19 05:41:20 → klixto joins (~klixto@130.220.8.132)
2020-10-19 05:42:14 <koz_> sm[m]: TIL
2020-10-19 05:42:28 → jsynacek joins (~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-19 05:45:39 <gnumonik> So just out of curiosity: I'm pretty sure you can't write a function in general :: Monad m => (a -> m b) -> m (a -> b). But could you write one for maybe, such that :: (a -> Maybe b) -> Maybe (a -> b)?
2020-10-19 05:46:00 × xff0x quits (~fox@2001:1a81:522e:d900:5958:18c9:b577:aea) (Ping timeout: 244 seconds)
2020-10-19 05:46:10 <koz_> gnumonik: Try writing one.
2020-10-19 05:46:22 <koz_> (namely, try to write a function of that second type)
2020-10-19 05:46:38 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 256 seconds)
2020-10-19 05:47:03 → xff0x joins (~fox@2001:1a81:522e:d900:3ca3:6f29:ec50:cd22)
2020-10-19 05:47:05 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-19 05:47:52 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-19 05:53:01 <proofofme> I understand why this works: `maybe (print "Error") (print) =<< Streams.read is` How can I get something like this to work? `maybe (print "Error") (print "Hi") =<< Streams.read is`
2020-10-19 05:53:21 <gnumonik> I did, but all the fact that I can't figure it out proves is that I can't figure it out. I managed to do it for... Identity. I guess I'll keep trying.
2020-10-19 05:54:05 × ericsagnes quits (~ericsagne@2405:6580:0:5100:a53c:4941:44e2:1e75) (Ping timeout: 272 seconds)
2020-10-19 05:54:25 → alp joins (~alp@2a01:e0a:58b:4920:3863:dba:5e42:7950)
2020-10-19 05:58:15 <Maxdamantus> gnumonik: it is possible, but it's just a case of taking some type with quantified variables and replacing one of the variables with a concrete type.
2020-10-19 05:59:46 <Maxdamantus> gnumonik: eg, in `(a -> b) -> (b -> c) -> (a -> c)`, replacing `c` with `Int` to get `(a -> b) -> (b -> Int) -> (a -> Int)`
2020-10-19 05:59:53 <Maxdamantus> f x y = 4
2020-10-19 05:59:59 <Maxdamantus> er
2020-10-19 06:00:02 × Jarsto1 quits (~Jarsto@185.244.214.216) ()
2020-10-19 06:00:03 <Maxdamantus> f x y z = 4
2020-10-19 06:00:51 → bairyn joins (~bairyn@unaffiliated/bob0)
2020-10-19 06:00:55 <Maxdamantus> You shouldn't actually be able to do what you wrote for `m = Identity`
2020-10-19 06:01:09 <Maxdamantus> but `m = Maybe` is possible.
2020-10-19 06:01:48 <Maxdamantus> Wait, nvm, `m = Identity` is also possible.
2020-10-19 06:01:56 <gnumonik> f = Identity $ \x -> runIdentity $ f x
2020-10-19 06:02:36 <gnumonik> er screwd up, should be "func f = Identity $ \x -> runIdentity $ f x"
2020-10-19 06:03:26 <Maxdamantus> The `m = Maybe` solution is a lot simpler.
2020-10-19 06:03:43 × former_ocaml_use quits (3263cbdb@50.99.203.219) (Remote host closed the connection)
2020-10-19 06:05:38 × vk3wtf quits (~doc@14-202-30-62.static.tpgi.com.au) (Quit: WeeChat 2.7.1)
2020-10-19 06:06:06 → vk3wtf joins (~doc@14-202-30-62.static.tpgi.com.au)
2020-10-19 06:06:17 → ericsagnes joins (~ericsagne@2405:6580:0:5100:55fe:9659:6858:494f)
2020-10-19 06:08:39 × alp quits (~alp@2a01:e0a:58b:4920:3863:dba:5e42:7950) (Ping timeout: 272 seconds)
2020-10-19 06:10:48 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-19 06:13:05 <edwardk> gnumonik: you can write one that just returns Nothing, nbut it isn't canonical.
2020-10-19 06:13:48 → thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de)
2020-10-19 06:14:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-19 06:16:01 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-19 06:16:30 → Ariakenom joins (~Ariakenom@h-82-196-111-189.NA.cust.bahnhof.se)
2020-10-19 06:18:55 × polyrain quits (~polyrain@2001:8003:e501:6901:3dad:26f:cafa:b715) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 06:21:33 → elsimio joins (~elsimio@185.204.1.185)
2020-10-19 06:22:24 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 265 seconds)
2020-10-19 06:24:19 → ephemera_ joins (~E@122.34.1.187)
2020-10-19 06:28:17 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 06:30:22 × taurux quits (~taurux@net-130-25-87-42.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2020-10-19 06:31:09 → taurux joins (~taurux@net-93-144-108-52.cust.dsl.teletu.it)
2020-10-19 06:33:04 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-19 06:33:04 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-19 06:34:48 <koz_> Does anyone know how to inform Nix about where to find -lgmp and -lffi for a statically-linked Haskell executable?
2020-10-19 06:34:58 <koz_> I dunno what exact phrase(s) I need in my default.nix for this.
2020-10-19 06:38:09 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-19 06:39:22 <Ariakenom> koz_, dont u just include them as dependencies?
2020-10-19 06:39:39 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Read error: Connection reset by peer)
2020-10-19 06:39:59 <koz_> Ariakenom: If I pastebin you my default.nix, can you show me how?
2020-10-19 06:40:19 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-19 06:40:32 <Ariakenom> lets try
2020-10-19 06:41:01 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 264 seconds)
2020-10-19 06:41:04 <koz_> https://gist.github.com/kozross/6f847d3e70e9641551c786b9d8ff18c9
2020-10-19 06:42:40 → ephemera_ joins (~E@122.34.1.187)
2020-10-19 06:47:32 <Ariakenom> add a "buildInputs = [libffi gmp]" in the mkDerivation dict
2020-10-19 06:48:11 <koz_> Ariakenom: error: undefined variable 'libffi' at /home/koz/nix-practice/default.nix:17:23
2020-10-19 06:48:14 → coot joins (~coot@37.30.52.68.nat.umts.dynamic.t-mobile.pl)
2020-10-19 06:48:24 × falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 260 seconds)
2020-10-19 06:48:57 <Ariakenom> nixpkgs.libffi nixpkgs.gmp
2020-10-19 06:49:16 <Ariakenom> do you have 3 different nixpkgs in that .nix? :)
2020-10-19 06:49:34 × coot quits (~coot@37.30.52.68.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2020-10-19 06:49:49 <koz_> error: anonymous function at /nix/store/77bfgydlx63813nk3d0ac0w2h8rn6da1-source/pkgs/development/haskell-modules/generic-builder.nix:13:1 called with unexpected argument 'buildInputs', at /nix/store/77bfgydlx63813nk3d0ac0w2h8rn6da1-source/lib/customisation.nix:69:16
2020-10-19 06:50:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 06:53:07 <koz_> Ariakenom: This doesn't vom from nix, but still can't find the libraries: https://gist.github.com/kozross/6f847d3e70e9641551c786b9d8ff18c9
2020-10-19 06:53:25 × xff0x quits (~fox@2001:1a81:522e:d900:3ca3:6f29:ec50:cd22) (Ping timeout: 240 seconds)
2020-10-19 06:54:15 → xff0x joins (~fox@2001:1a81:522e:d900:3da7:5719:198:c125)
2020-10-19 06:57:11 <Ariakenom> thats too bad. i dont think i can help more
2020-10-19 06:57:12 <Ariakenom> "nix shell" is useful for testing.
2020-10-19 06:57:16 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 06:57:50 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 06:58:29 × howdoi quits (uid224@gateway/web/irccloud.com/x-mvchipvwhunlklgp) (Quit: Connection closed for inactivity)
2020-10-19 06:58:31 <koz_> I'm basing my work on this: https://github.com/srid/neuron/blob/master/static.nix
2020-10-19 06:58:46 <koz_> I think those --extra-lib-dirs= are needed, but I have no clue how they're being passed.
2020-10-19 07:00:06 × bairyn quits (~bairyn@unaffiliated/bob0) (Remote host closed the connection)
2020-10-19 07:03:07 <Uniaika> topos: has the CLC received a copy of my email, btw?
2020-10-19 07:04:56 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-19 07:05:18 × gioyik quits (~gioyik@190.67.155.46) (Quit: WeeChat 2.9)
2020-10-19 07:05:27 <remexre> is there a reasonably-standard monad for concurrency that allows labelled + manipulable coroutines, with a "parallel" operator (of the same type as sequence)
2020-10-19 07:06:12 → Psycomic joins (~Phi@2a01:e0a:18:d0a0:a923:9b97:77a2:ce49)
2020-10-19 07:07:44 <remexre> I'm building... I guess it's kind of like a structural editor for an AST while it's being eval'd, so filling in a hole might cause reductions to be performed
2020-10-19 07:08:01 <remexre> but I'd like to be able to write the actual eval function in reasonably normal-looking haskell
2020-10-19 07:10:10 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 256 seconds)
2020-10-19 07:10:12 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 272 seconds)
2020-10-19 07:11:35 → ephemera_ joins (~E@122.34.1.187)
2020-10-19 07:14:53 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-19 07:14:58 × thir quits (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-19 07:15:38 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-19 07:16:05 × DTZUZU quits (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net) (Ping timeout: 240 seconds)
2020-10-19 07:16:15 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-19 07:16:25 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 240 seconds)
2020-10-19 07:16:30 → thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de)
2020-10-19 07:17:01 × Sgeo__ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-19 07:17:37 → danvet joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-10-19 07:17:56 → ephemera_ joins (~E@122.34.1.187)
2020-10-19 07:18:28 → DTZUZU joins (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net)
←Prev  Next→
Page 1 .. 724 725 726 727 728 729 730 731 732 733 734 .. 5022

All times are in UTC.