Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 .. 5022
— 502,152 events total
2020-11-14 12:59:53 <carter> merijn: what’s the thing g you wanna do ?
2020-11-14 13:00:30 <carter> merijn: btw it seems like Travis ci is slow rolling oss repos and gh actions is way more reponsivr ?
2020-11-14 13:00:31 <int-e> merijn: and how do you use the constructor in the end? aren't you in the variadic function business now?
2020-11-14 13:00:40 <merijn> carter: link a parser and pretty printer together sensibly. But my type has constructors with differing arguments. You'd wanna do something like "Constructor X -> Parser X"
2020-11-14 13:00:41 <carter> Dependent types ?
2020-11-14 13:00:55 <merijn> But that doesn't work if your constructors have differing types
2020-11-14 13:01:09 <merijn> int-e: I don't wanna use it directly
2020-11-14 13:01:14 <merijn> I just wanna use it to dispatch
2020-11-14 13:01:27 <merijn> carter: Travis has been slow for ages
2020-11-14 13:02:02 <merijn> int-e: Basically I wanna select a pretty printing/parsing strategy "per constructor", but that doesn't work if you can't talk about constructors, only compound values
2020-11-14 13:02:09 <merijn> (but I gotta run for a sec)
2020-11-14 13:02:27 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-14 13:02:28 <carter> Interesting point !
2020-11-14 13:03:07 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 13:07:45 × littleEngine quits (52500aba@bzq-80-10-186.static.bezeqint.net) (Remote host closed the connection)
2020-11-14 13:08:15 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 13:11:26 <int-e> carter: Travis got acquired by Idera in January 2019 and let a good number of developers go in February 2019... they're also getting rid of the free OSS plan in favour of their trial plan and possibly exceptions on a case by case basis... https://www.theregister.com/2020/11/02/travis_ci_pricng/
2020-11-14 13:11:41 <Feuermagier> If I have datatype [(String, Int)] and do [(s, i)] on it, is "s" a list of strings then?
2020-11-14 13:11:54 <int-e> Slow-rolling fits well into that picture.
2020-11-14 13:12:16 <ski> no, `s' is a `String', if `[(s,i)]' has type `[(String,Int)]'
2020-11-14 13:12:44 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-14 13:12:44 <Feuermagier> how do i get the list of strings out of that then?
2020-11-14 13:13:09 <solonarv> well, there isn't exactly a list of strings "in there"
2020-11-14 13:13:18 <solonarv> you would instead be constructing a new list
2020-11-14 13:13:18 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 13:13:45 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-14 13:13:51 <ski> Feuermagier : list of strings out of what ?
2020-11-14 13:14:12 <Feuermagier> just the strings in that tuple
2020-11-14 13:14:16 <solonarv> assuming xs :: [(String, Int)] , here are some ways to do that: map fst xs , or: [ s | (s, _) <- xs ]
2020-11-14 13:14:20 <Feuermagier> *list of tuples*
2020-11-14 13:14:43 <ski> if `[(s,i)]' has type `[(String,Int)]', then `[s]' is a list of `String's. `[]' is also a list of `String's, as is `[s,s]'
2020-11-14 13:15:10 <siraben> Anyone playing around with Linear Haskel + Nix?
2020-11-14 13:15:13 <siraben> Haskell*
2020-11-14 13:15:22 <siraben> linear-base doesn't seem to be in nixpkgs yet
2020-11-14 13:15:30 <ski> if you have some list of type `[(String,Int)]', and you want to get the list of `String's from the first component of the pairs, then what solonarv said
2020-11-14 13:18:16 <carter> int-e: yeah I guess I need to migrate all my crap to gh actions
2020-11-14 13:18:22 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 13:20:01 hackage hakyll-convert 0.3.0.1 - Convert from other blog engines to Hakyll. https://hackage.haskell.org/package/hakyll-convert-0.3.0.1 (AlexanderBatischev)
2020-11-14 13:20:24 → Lycurgus joins (~niemand@cpe-45-46-134-163.buffalo.res.rr.com)
2020-11-14 13:23:05 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-14 13:23:18 <merijn> carter: Sounds like you should write a GitHub Actions backend for haskell-ci, so I don't have to ;)
2020-11-14 13:28:29 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 13:28:44 → bitmagie joins (~Thunderbi@200116b806cd09008041507575aa598a.dip.versatel-1u1.de)
2020-11-14 13:28:44 × bitmagie quits (~Thunderbi@200116b806cd09008041507575aa598a.dip.versatel-1u1.de) (Client Quit)
2020-11-14 13:28:57 → hoppfull joins (55e07432@c-3274e055.19-9-64736c10.bbcust.telenor.se)
2020-11-14 13:31:46 → francesco_ joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-14 13:32:14 → jneira[m] joins (~jneira@192.red-2-137-106.dynamicip.rima-tde.net)
2020-11-14 13:32:17 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-11-14 13:32:48 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-14 13:33:03 → SquidDev8 joins (~SquidDev@autoclave.squiddev.cc)
2020-11-14 13:33:14 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-14 13:33:29 <carter> The yaml wasn’t that hard
2020-11-14 13:33:40 × SquidDev8 quits (~SquidDev@autoclave.squiddev.cc) (Client Quit)
2020-11-14 13:33:49 → sqrt2_ joins (~ben@unaffiliated/sqrt2)
2020-11-14 13:33:51 → jrm2 joins (~jrm@freebsd/developer/jrm)
2020-11-14 13:33:56 → fre_ joins (~freusque@104.238.190.229)
2020-11-14 13:34:20 → connrs- joins (~connrs@runciter.connrs.uk)
2020-11-14 13:34:23 → haasn` joins (~nand@mpv/developer/haasn)
2020-11-14 13:34:24 → oldsk00l_ joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-11-14 13:34:28 → maerwald_ joins (~maerwald@mail.hasufell.de)
2020-11-14 13:34:31 → jonge joins (jonge@kofferbomber.org)
2020-11-14 13:34:49 × dyeplexer quits (~lol@unaffiliated/terpin) (*.net *.split)
2020-11-14 13:34:49 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (*.net *.split)
2020-11-14 13:34:49 × Franciman quits (~francesco@host-82-56-223-169.retail.telecomitalia.it) (*.net *.split)
2020-11-14 13:34:49 × juri_ quits (~juri@178.63.35.222) (*.net *.split)
2020-11-14 13:34:49 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split)
2020-11-14 13:34:49 × pavonia quits (~user@unaffiliated/siracusa) (*.net *.split)
2020-11-14 13:34:49 × jchia quits (~jchia@58.32.36.109) (*.net *.split)
2020-11-14 13:34:49 × haasn quits (~nand@mpv/developer/haasn) (*.net *.split)
2020-11-14 13:34:49 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split)
2020-11-14 13:34:49 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split)
2020-11-14 13:34:49 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (*.net *.split)
2020-11-14 13:34:49 × arahael quits (~arahael@125-209-166-120.tpgi.com.au) (*.net *.split)
2020-11-14 13:34:49 × TMA quits (tma@twin.jikos.cz) (*.net *.split)
2020-11-14 13:34:49 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (*.net *.split)
2020-11-14 13:34:49 × noecho quits (~noecho@static.143.42.203.116.clients.your-server.de) (*.net *.split)
2020-11-14 13:34:49 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (*.net *.split)
2020-11-14 13:34:49 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split)
2020-11-14 13:34:49 × tv quits (~tv@unaffiliated/tv) (*.net *.split)
2020-11-14 13:34:49 × jdt quits (~jdt@208.85.233.130) (*.net *.split)
2020-11-14 13:34:49 × fre quits (~freusque@104.238.190.229) (*.net *.split)
2020-11-14 13:34:49 × adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2020-11-14 13:34:49 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split)
2020-11-14 13:34:49 × rotty quits (rotty@ghost.xx.vu) (*.net *.split)
2020-11-14 13:34:49 × jrm quits (~jrm@freebsd/developer/jrm) (*.net *.split)
2020-11-14 13:34:49 × Ranhir quits (~Ranhir@157.97.53.139) (*.net *.split)
2020-11-14 13:34:50 × sajith_ quits (~sajith@fsf/member/nonzen) (*.net *.split)
2020-11-14 13:34:50 × qz quits (~quetzal@li272-85.members.linode.com) (*.net *.split)
2020-11-14 13:34:50 × pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (*.net *.split)
2020-11-14 13:34:50 × vancz quits (~vancz@unaffiliated/vancz) (*.net *.split)
2020-11-14 13:34:50 × [exa] quits (exa@unaffiliated/exa/x-5381537) (*.net *.split)
2020-11-14 13:34:50 × sqrt2 quits (~ben@unaffiliated/sqrt2) (*.net *.split)
2020-11-14 13:34:50 × oldsk00l quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (*.net *.split)
2020-11-14 13:34:50 × maerwald quits (~maerwald@5.45.98.221) (*.net *.split)
2020-11-14 13:34:50 × connrs_ quits (~connrs@runciter.connrs.uk) (*.net *.split)
2020-11-14 13:34:50 × sujeet quits (sujeet@unaffiliated/freeboson) (*.net *.split)
2020-11-14 13:34:50 × Papa quits (~papa@unaffiliated/papa) (*.net *.split)
2020-11-14 13:34:50 × le_jonge quits (jonge@kofferbomber.org) (*.net *.split)
2020-11-14 13:34:50 × mmaruseacph2 quits (~mihai@198.199.100.72) (*.net *.split)
2020-11-14 13:34:50 × micro quits (~micro@unaffiliated/micro) (*.net *.split)
←Prev  Next→
Page 1 .. 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 .. 5022

All times are in UTC.