Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 201 202 203 204 205 206 207 208 209 210 211 .. 5022
— 502,152 events total
2020-09-25 14:20:27 <AWizzArd> maerwald: about Servant again: I didn’t try it out yet, but it seems to be able to automatically generate the exact documentation of my API, so the docs will always be relevant and stay up-to-date.
2020-09-25 14:21:12 <hc> it can even export an up-to-date swagger specification using servant-swagger :)
2020-09-25 14:21:46 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-25 14:21:48 <maerwald> AWizzArd: you mean swagger?
2020-09-25 14:22:04 <maerwald> I think about a million backends have support for that?
2020-09-25 14:22:32 <AWizzArd> maerwald: do you have a link at hand for Snap?
2020-09-25 14:22:40 <maerwald> not right now
2020-09-25 14:23:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-25 14:23:21 → ajcerejeira joins (~ajcerejei@2001:8a0:ddee:700:efbc:7163:11a0:b83)
2020-09-25 14:23:26 → LKoen joins (~LKoen@81.255.219.130)
2020-09-25 14:23:36 × ajcerejeira quits (~ajcerejei@2001:8a0:ddee:700:efbc:7163:11a0:b83) (Client Quit)
2020-09-25 14:24:42 × Tops2 quits (~Tobias@dyndsl-095-033-024-124.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2020-09-25 14:26:08 <AWizzArd> hc: what is good about a swagger spec? (never used that tool, but knowing its name)
2020-09-25 14:26:19 → geekosaur joins (42d52102@66.213.33.2)
2020-09-25 14:26:46 <hc> AWizzArd: anyone(TM) will know how to use your API
2020-09-25 14:26:50 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-25 14:27:19 <hc> you could say it is a transformation of the servant API type declaration into a json representation of it that many tools can understand
2020-09-25 14:28:03 <hc> AWizzArd: have a look at https://editor.swagger.io/ ; I find that a pretty handy tool for looking at swagger specs
2020-09-25 14:28:21 <AWizzArd> hc: is this tool mostly for web apis? Or completly generic for any api that I may want to design?
2020-09-25 14:28:30 <hc> it's for REST APIs only afaik
2020-09-25 14:28:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:28:42 <hc> which arguably aren't tied to the web
2020-09-25 14:29:08 <hc> but it's not as generic as i.e. apache thrift or the likes
2020-09-25 14:30:24 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-25 14:30:52 <dolio> oats: You probably don't want to copy the pointer stuff in bytestring, though. The array stuff in primitive is generally better.
2020-09-25 14:31:12 <dolio> Bytestrings are prone to memory fragmentation.
2020-09-25 14:31:35 → Noldorin joins (~noldorin@unaffiliated/noldorin)
2020-09-25 14:32:08 <oats> hmmm, thanks for the tip
2020-09-25 14:32:59 <dolio> Also vector builds on primitive in various ways.
2020-09-25 14:33:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-25 14:35:59 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-kucaomxlfuldfryc)
2020-09-25 14:37:41 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Read error: Connection reset by peer)
2020-09-25 14:38:38 → mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-25 14:38:40 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:39:26 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-25 14:42:48 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-09-25 14:42:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 14:42:53 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-25 14:42:59 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-25 14:43:58 × AWizzArd quits (~code@gehrels.uberspace.de) (Ping timeout: 256 seconds)
2020-09-25 14:44:05 → AWizzArd joins (~code@gehrels.uberspace.de)
2020-09-25 14:46:01 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-25 14:46:13 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-25 14:46:34 × Saten-san quits (~Saten-san@ip-62-235-73-121.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-25 14:47:51 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 14:48:22 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-09-25 14:48:49 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:49:14 × catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Read error: Connection reset by peer)
2020-09-25 14:50:34 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-25 14:51:01 → Kaeipi joins (~Kaiepi@47.55.157.9)
2020-09-25 14:51:28 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-09-25 14:52:13 × alexm_ quits (~alexm_@161.8.233.138) (Ping timeout: 260 seconds)
2020-09-25 14:52:13 × nerdypepper quits (nerdypeppe@152.67.160.69) (Ping timeout: 260 seconds)
2020-09-25 14:52:57 → Saten-san joins (~Saten-san@ip-62-235-73-121.dsl.scarlet.be)
2020-09-25 14:53:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-25 14:53:32 × ruffianeo quits (~ruffianeo@p200300e5271f09cf8b4d140a1c554ebc.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-25 14:53:40 → crobbins joins (~crobbins@2601:2c1:380:ec40:d443:ce25:44e4:e44d)
2020-09-25 14:55:46 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 14:55:58 hackage lapack 0.3.2 - Numerical Linear Algebra using LAPACK https://hackage.haskell.org/package/lapack-0.3.2 (HenningThielemann)
2020-09-25 14:56:18 → fendor_ joins (~fendor@91.141.3.153.wireless.dyn.drei.com)
2020-09-25 14:56:29 × fendor quits (~fendor@91.141.3.153.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-25 14:56:35 → p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-25 14:56:43 → miguel_clean joins (~Miguel@89-72-187-203.dynamic.chello.pl)
2020-09-25 14:56:49 <miguel_clean> Hello
2020-09-25 14:57:33 <miguel_clean> I am playing with the "+RTS -p" flag and wonder if I have to wait for my programm to exit or can have it updated in some intervalls as well?
2020-09-25 14:57:39 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-25 14:57:56 → utopic_int0x80 joins (~lucid_0x8@188.253.234.46)
2020-09-25 14:57:57 <geekosaur> you have to wait for normal program exit
2020-09-25 14:58:25 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2020-09-25 14:58:58 <shad0w_> hi fam
2020-09-25 14:59:00 Lord_of_Life_ is now known as Lord_of_Life
2020-09-25 14:59:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:59:17 <shad0w_> i learned about Aplicatives today
2020-09-25 14:59:22 <shad0w_> and i have a question
2020-09-25 15:00:01 × afb quits (~afb@84.39.117.57) ()
2020-09-25 15:00:05 <shad0w_> they seem similar to Functors with the addtinal container type with the f (a -> b) for the first argument
2020-09-25 15:00:24 <shad0w_> i was wondering, why do they exist ?
2020-09-25 15:00:45 <shad0w_> we can probably do all of that stuff with fmap
2020-09-25 15:01:33 → ixlun joins (~matthew@109.249.184.193)
2020-09-25 15:02:11 <dolio> Try implementing (<*>) with just fmap.
2020-09-25 15:02:17 <dolio> Or pure.
2020-09-25 15:03:39 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-25 15:04:55 → Turmfalke joins (~user@unaffiliated/siracusa)
2020-09-25 15:06:38 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-jwcpkbwpnookjrjz)
2020-09-25 15:06:38 × Saten-san quits (~Saten-san@ip-62-235-73-121.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-09-25 15:07:19 <sm[m]> live output from +RTS -p would be great
2020-09-25 15:08:15 <geekosaur> I think you can do something similar with the eventlog?
2020-09-25 15:08:25 <sm[m]> hstop myprog
2020-09-25 15:09:00 <sm[m]> I need to learn about this stuff
2020-09-25 15:09:11 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 15:09:49 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-25 15:09:51 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-25 15:11:14 <geekosaur> one problem with live profiling is laziness, stuff can be waiting to be evaluated and will be lost even though in some sense it's been seen
2020-09-25 15:11:37 <shad0w_> dolio: isn't fmap g x = pure g <*> x ?
2020-09-25 15:11:56 <geekosaur> and only show up later in the run when forced, possibly at the end
2020-09-25 15:12:08 <hololeap> shad0w_: if you think of a Functor f as carrying with it some kind of "context" or "other information", then Applicative gives a way to lift a value into a "default context" (pure) and combine two of these contexts (<*>)
2020-09-25 15:12:49 <geekosaur> shad0w, yes, but that means you can recover fmap from pure and <*>, not that you can recover either pure or <*> from fmap
2020-09-25 15:13:33 <shad0w_> geekosaur: i could just use fmap without ever using pure or <*> can't i?
2020-09-25 15:13:35 <geekosaur> so Functor is not sufficient to replace Applicative. in fact it's a prerequisite for Applicative, but not enough by itself
2020-09-25 15:13:43 → nerdypepper joins (nerdypeppe@152.67.160.69)
←Prev  Next→
Page 1 .. 201 202 203 204 205 206 207 208 209 210 211 .. 5022

All times are in UTC.