Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 278 279 280 281 282 283 284 285 286 287 288 .. 5022
— 502,152 events total
2020-09-28 22:20:58 <Uniaika> < amf> baby steps. scars still healing from cabal hell.. // oh yeah but stack would still be in charge
2020-09-28 22:21:11 <Uniaika> in the end, hpack only generates a cabal file for you
2020-09-28 22:23:29 <maerwald> dansho: can you try to install 8.10.2 via: ghcup install ghc 8.10.2
2020-09-28 22:23:33 <maerwald> I wanna now if that works now
2020-09-28 22:24:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 22:24:13 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:24:31 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:25:57 hackage network-types-icmp 1.0.0.1 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.1 (adamflott)
2020-09-28 22:27:23 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-28 22:27:35 → omega8cc joins (~omega8cc@195.206.169.184)
2020-09-28 22:28:49 × totallynotnate quits (~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-28 22:29:17 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 22:29:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 22:30:40 × rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 272 seconds)
2020-09-28 22:31:38 × darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 258 seconds)
2020-09-28 22:32:50 → darjeeling_ joins (~darjeelin@122.245.121.113)
2020-09-28 22:34:14 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:34:30 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:35:22 <sm[m]> @where+ haskell-via-sokoban https://haskell-via-sokoban.nomeata.de
2020-09-28 22:35:22 <lambdabot> Done.
2020-09-28 22:35:32 <sm[m]> @where+ haskell-for-readers http://haskell-for-readers.nomeata.de
2020-09-28 22:35:32 <lambdabot> Good to know.
2020-09-28 22:39:25 × alp quits (~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda) (Ping timeout: 272 seconds)
2020-09-28 22:41:10 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-09-28 22:41:58 hackage cpkg 0.2.5.7 - Build tool for C https://hackage.haskell.org/package/cpkg-0.2.5.7 (vmchale)
2020-09-28 22:44:06 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:44:13 → CrazyPython joins (~crazypyth@71-135-5-88.lightspeed.rlghnc.sbcglobal.net)
2020-09-28 22:44:31 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:44:38 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-09-28 22:47:35 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-28 22:48:15 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 22:52:35 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-28 22:53:38 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 260 seconds)
2020-09-28 22:54:01 × vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 246 seconds)
2020-09-28 22:54:02 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:54:04 → Guest26 joins (a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57)
2020-09-28 22:54:28 hackage ordinal 0.1.0.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.0.0 (wvanonsem90)
2020-09-28 22:54:31 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:54:45 <Guest26> hello. i am interested in trying to implement, or use some implementation of an "actors" model within haskell
2020-09-28 22:55:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 22:55:09 <Guest26> i have done some research and found something called "spores". has anyone heard of this or understand how it works?
2020-09-28 22:55:25 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 265 seconds)
2020-09-28 22:56:19 <Guest26> i find reference to it here; https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiOusSB-YzsAhUDmeAKHQrMBFgQFjACegQIAxAB&url=https%3A%2F%2Finfoscience.epfl.ch%2Frecord%2F191239%2Ffiles%2Fspores_1.pdf%3B&usg=AOvVaw31y2yhZIcvKUnAiBeqIPQN
2020-09-28 22:56:55 <Guest26> thats the pdf. the permalink to the abstract is here; https://link.springer.com/chapter/10.1007/978-3-662-44202-9_13
2020-09-28 22:58:12 <Guest26> as i understand it, its not available within haskell since it constitutes an extended type system
2020-09-28 22:58:26 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 256 seconds)
2020-09-28 22:58:35 <Guest26> are there options available to the haskell community that provide something similar?
2020-09-28 22:58:59 <Guest26> how far towards polymorphic actors can we achieve within the existing type system?
2020-09-28 22:59:16 <Guest26> how limited are existing actors model libraries in haskell?
2020-09-28 23:00:41 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-28 23:01:16 <Guest26> im not sure if this is similar, but google suggests it in relation to spores; https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf
2020-09-28 23:02:39 <Guest26> i can find; https://hackage.haskell.org/package/simple-actors-0.4.0/docs/Control-Concurrent-Actors.html
2020-09-28 23:03:13 <Guest26> but it is unclear how far towards the "closures" idea that spores seems to be centred on
2020-09-28 23:03:42 <Guest26> it seems like it has some functionality such as adding actors as if it were adding "edges"
2020-09-28 23:03:56 <Guest26> is it wrong to think of actors models as being graph based?
2020-09-28 23:03:58 → John20 joins (~John@82.46.59.122)
2020-09-28 23:04:00 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:04:31 × Guest26 quits (a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57) (Quit: Connection closed)
2020-09-28 23:04:31 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 23:09:23 × outer_passage quits (outerpassa@2600:3c01::f03c:92ff:fed1:4643) (Quit: ZNC 1.8.1 - https://znc.in)
2020-09-28 23:09:41 → outerpassage joins (~outerpass@li1196-30.members.linode.com)
2020-09-28 23:10:16 × John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-09-28 23:14:27 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:14:33 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 23:15:56 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 23:16:57 → justan0theruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-28 23:17:12 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 23:19:07 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-28 23:19:22 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:20:20 → vqrs joins (~vqrs@learnprogramming/regular/vqrs)
2020-09-28 23:20:41 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 23:21:07 × sagax quits (~sagax_nb@213.138.71.146) (Read error: Connection reset by peer)
2020-09-28 23:21:21 × isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-28 23:21:35 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:23:39 → andoluca joins (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a)
2020-09-28 23:23:58 → nullheroes joins (~danielvu@168.235.66.22)
2020-09-28 23:24:00 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:24:32 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 23:24:32 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 23:26:01 × andoluca quits (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Quit: Quit)
2020-09-28 23:26:28 <koz_> I need to use attoparsec to parse the equivalent of 'one of N possibilities, possibly followed by one of M possibilities'.
2020-09-28 23:26:55 <koz_> Is there a way I can spell a parser like that, assuming they all parse to the same thing?
2020-09-28 23:27:23 <koz_> (or rather, the same type of thing)
2020-09-28 23:28:23 → andoluca joins (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a)
2020-09-28 23:28:28 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 23:29:15 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 265 seconds)
2020-09-28 23:29:17 <glguy> liftA2 (,) (asum xsN) (optional (asum ysM)) ?
2020-09-28 23:29:39 <koz_> glguy: xsN is like, a list of Parsers?
2020-09-28 23:29:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 23:30:31 × andoluca quits (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Client Quit)
2020-09-28 23:30:50 × troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 272 seconds)
2020-09-28 23:32:00 → kleenestar joins (~shimjiths@122.167.34.208)
2020-09-28 23:32:47 → troydm joins (~troydm@unaffiliated/troydm)
2020-09-28 23:33:26 × kleenestar quits (~shimjiths@122.167.34.208) (Remote host closed the connection)
2020-09-28 23:33:54 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 23:34:00 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:34:32 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 23:35:02 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 23:35:54 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-09-28 23:36:14 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 278 279 280 281 282 283 284 285 286 287 288 .. 5022

All times are in UTC.