Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 679 680 681 682 683 684 685 686 687 688 689 .. 5022
— 502,152 events total
2020-10-16 17:43:53 → acidjnk_new2 joins (~acidjnk@p200300d0c723787058597087ca157dd5.dip0.t-ipconnect.de)
2020-10-16 17:46:23 × jinblack quits (~JinBlack@2001:41d0:8:4b28::1) (Ping timeout: 244 seconds)
2020-10-16 17:46:36 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-16 17:47:03 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 258 seconds)
2020-10-16 17:47:54 → ephemera_ joins (~E@122.34.1.187)
2020-10-16 17:49:52 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 17:50:02 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-16 17:50:02 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-16 17:50:02 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 17:51:35 × plast1k_ quits (~plast1k_@196.207.181.246) (Quit: Leaving)
2020-10-16 17:53:04 × avdb quits (~avdb@ip-213-49-124-15.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-16 17:53:58 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 256 seconds)
2020-10-16 17:55:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-16 17:55:44 × alp quits (~alp@2a01:e0a:58b:4920:d1be:ca38:a451:6036) (Remote host closed the connection)
2020-10-16 17:55:47 → ephemera_ joins (~E@122.34.1.187)
2020-10-16 17:55:50 → alp_ joins (~alp@88.126.45.36)
2020-10-16 17:56:10 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-16 17:56:10 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-16 17:56:10 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 17:56:18 → karanlikmadde joins (~karanlikm@2a01:c23:6037:1800:e990:a27c:f553:f1d1)
2020-10-16 18:00:02 × multichill quits (~multichil@84.39.116.180) ()
2020-10-16 18:01:02 → Tops2 joins (~Tobias@dyndsl-091-249-082-055.ewe-ip-backbone.de)
2020-10-16 18:01:49 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-16 18:02:28 → anik joins (~anik@103.23.207.158)
2020-10-16 18:06:34 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-16 18:07:25 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 240 seconds)
2020-10-16 18:08:48 × anik quits (~anik@103.23.207.158) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-16 18:08:48 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-16 18:08:52 <hyperisco> still on the hunt for a templating solution that is just a library for parsing templates and evaluating them
2020-10-16 18:08:57 → ephemera_ joins (~E@122.34.1.187)
2020-10-16 18:09:05 <hyperisco> something not oddly conflated with JSON and CLI
2020-10-16 18:09:27 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-16 18:09:41 → fragamus joins (~michaelgo@73.93.153.117)
2020-10-16 18:10:44 → larou joins (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-16 18:11:24 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-16 18:11:29 <dsal> What kind of templates? I'd expect there would be too many to choose from. e.g. https://hackage.haskell.org/package/mustache
2020-10-16 18:11:52 <fragamus> I'm having trouble constructing a Linear.V vector from a list can anyone help
2020-10-16 18:12:26 <larou> i was wondering about arrows and the support for various channels of communication over adaptive programs...
2020-10-16 18:13:26 <larou> fragamus: did you see; http://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector.html#g:7
2020-10-16 18:14:08 <amf> in the 4 version approach (e.g. 0.1.2.3) what number would i bump if i were to add deriving Generic to one of the exported types?
2020-10-16 18:14:33 <fragamus> looking now
2020-10-16 18:14:39 × geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-16 18:14:54 <larou> probably you want; http://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector.html#g:36
2020-10-16 18:15:38 <larou> amf: im not sure thats subjective?
2020-10-16 18:16:22 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-16 18:16:32 → anik joins (~anik@103.23.207.149)
2020-10-16 18:17:39 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-10-16 18:17:44 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-16 18:17:46 → chaosmasttter joins (~chaosmast@p200300c4a710fa01b4d1efe2d5e04ce9.dip0.t-ipconnect.de)
2020-10-16 18:17:50 <monochrom> amf: I think it's 0.1.2.3 -> 0.1.3.3. But see eg https://pvp.haskell.org/#leaking-instances and later the "decision tree"
2020-10-16 18:17:52 <davean> amf: 0 or 1
2020-10-16 18:18:04 <davean> well, yahm depends on your feeling on leaked instances :)
2020-10-16 18:18:35 <fragamus> larou: I am trying to construct a Linear.V V
2020-10-16 18:18:57 <larou> thats just a newtype wrapper
2020-10-16 18:19:08 <larou> so you would just dot with the newtype constructor
2020-10-16 18:19:22 <larou> V . toList
2020-10-16 18:19:37 <larou> does that work?
2020-10-16 18:19:51 → avdb joins (~avdb@ip-213-49-124-15.dsl.scarlet.be)
2020-10-16 18:19:56 <amf> or... i could just let the lib maintainer handle it :)
2020-10-16 18:19:58 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-16 18:20:06 <fragamus> sorry larou I am not understanding
2020-10-16 18:20:35 → jneira_ joins (~jneira@80.30.100.250)
2020-10-16 18:20:35 × jneira[m] quits (~jneira@191.red-37-10-143.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-16 18:20:41 <monochrom> Your case is not even an orphaned instance.
2020-10-16 18:20:53 <fragamus> larou: are you saying I must first construct a Data.Vector Vector
2020-10-16 18:20:54 → dhil joins (~dhil@195.213.192.122)
2020-10-16 18:21:03 <larou> erm, fromlist sorry
2020-10-16 18:21:11 <larou> fromList :: [a] -> Vector a
2020-10-16 18:21:16 <fragamus> ah
2020-10-16 18:21:42 <larou> V :: Vector a -> V n a
2020-10-16 18:21:52 <fragamus> ok
2020-10-16 18:21:58 <larou> so; V . fromList :: [a] -> V n a
2020-10-16 18:22:22 <fragamus> ok
2020-10-16 18:22:24 → ao2 joins (~ao2@185.163.110.116)
2020-10-16 18:22:30 <fragamus> ill give that a go thanks
2020-10-16 18:22:46 ao2 is now known as Guest25237
2020-10-16 18:22:47 <monochrom> amf: Ah, instead, https://pvp.haskell.org/#version-numbers point 2 is the applicable point. You are adding a non-orphan instance.
2020-10-16 18:22:55 <larou> so, i was thinking, for "arrows for different coms channels within modifiable programs"
2020-10-16 18:23:31 <larou> about the kind of picture there is in arrows docs, where a pair or an either can kind of have an "arrow going through a node"
2020-10-16 18:23:49 <monochrom> and point 6 is saying "woe to your user if they added their own orphan Generic to your type" :)
2020-10-16 18:24:07 <larou> like, maybe for most of the operation of the program types are just composed together in functions as usual
2020-10-16 18:24:22 × thir quits (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-16 18:24:32 <larou> but then, there can be an option to like, generate a replacement for some function, and pass this through the program to where it replaces some node
2020-10-16 18:24:51 → thir joins (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de)
2020-10-16 18:25:03 <larou> so it would kind of have an Either, from if it was one or the other of these kinds of data being passed through the program
2020-10-16 18:25:11 <larou> and a pair, to allow it to get to where it needs to go
2020-10-16 18:25:14 × anik quits (~anik@103.23.207.149) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-16 18:25:15 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-16 18:25:42 <larou> im not sure what those opperations are called in arrows... but does that seem comprehensible?
2020-10-16 18:25:56 → wroathe_ joins (~wroathe@75-146-43-37-Minnesota.hfc.comcastbusiness.net)
2020-10-16 18:26:51 <larou> i guess this ends up being quite complicated though. like, if one function can be modified by another, thats fine, since then this pathway can be "hard coded"
2020-10-16 18:27:14 <larou> but if you need any part to be able to modify any other part, then it seems like some kind of crossroads would be needed
2020-10-16 18:27:42 <larou> like signal boxes on train tracks, to direct the modification to where it needs to go
2020-10-16 18:27:56 <amf> monochrom: ah ok, that does make sense, thanks!
2020-10-16 18:27:58 hackage hslua 1.3.0 - Bindings to Lua, an embeddable scripting language https://hackage.haskell.org/package/hslua-1.3.0 (tarleb)
2020-10-16 18:28:19 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-16 18:28:24 <larou> it needs to be able to pass the data through the program along pathways that can be dynamically configured
2020-10-16 18:28:27 × alp_ quits (~alp@88.126.45.36) (Ping timeout: 258 seconds)
2020-10-16 18:29:04 <larou> kind of like in FPGAs where the logic units are connected together by programable switching paths, i forget what they are called,
2020-10-16 18:29:19 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 679 680 681 682 683 684 685 686 687 688 689 .. 5022

All times are in UTC.