Logs: liberachat/#haskell
| 2021-05-25 03:37:01 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-05-25 03:37:50 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-25 03:40:12 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer) |
| 2021-05-25 03:40:27 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 03:46:21 | → | holy_bazooka joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-25 03:46:49 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 2021-05-25 03:48:15 | → | buggy joins (~buggy@27.6.222.224) |
| 2021-05-25 03:48:26 | × | buggy quits (~buggy@27.6.222.224) (Changing host) |
| 2021-05-25 03:48:26 | → | buggy joins (~buggy@user/smorgasbord) |
| 2021-05-25 03:48:58 | × | hmmmas quits (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-25 03:55:06 | ptrcmd_ | is now known as ptrcmd |
| 2021-05-25 03:58:18 | → | coot joins (~coot@37.30.53.67.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-25 04:03:51 | × | coot quits (~coot@37.30.53.67.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds) |
| 2021-05-25 04:13:53 | × | alx741 quits (~alx741@186.178.108.78) (Quit: alx741) |
| 2021-05-25 04:15:02 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-05-25 04:17:40 | × | m_shiraeeshi quits (~shiraeesh@46.34.207.100) (Ping timeout: 244 seconds) |
| 2021-05-25 04:18:59 | × | Chobbes_ quits (~Chobbes@user/chobbes) (Ping timeout: 252 seconds) |
| 2021-05-25 04:19:13 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-05-25 04:19:15 | → | shapr` joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-05-25 04:19:51 | → | Chobbes_ joins (~Chobbes@user/chobbes) |
| 2021-05-25 04:26:54 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds) |
| 2021-05-25 04:27:44 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-05-25 04:31:08 | sm2n_ | is now known as sm2n |
| 2021-05-25 04:32:53 | <glguy> | int-e, ok thanks |
| 2021-05-25 04:33:54 | → | sutra joins (~sutra@208.110.111.216) |
| 2021-05-25 04:34:24 | × | sutra quits (~sutra@208.110.111.216) (Client Quit) |
| 2021-05-25 04:35:04 | → | ddellacosta joins (~ddellacos@86.106.121.82) |
| 2021-05-25 04:38:09 | → | Erutuon joins (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-25 04:39:17 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-25 04:39:43 | × | ddellacosta quits (~ddellacos@86.106.121.82) (Ping timeout: 272 seconds) |
| 2021-05-25 04:42:19 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-25 04:48:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-05-25 04:51:56 | → | doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net) |
| 2021-05-25 04:55:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 04:57:28 | → | slice joins (~slice@user/slice) |
| 2021-05-25 05:01:02 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-25 05:10:19 | × | holy_bazooka quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 272 seconds) |
| 2021-05-25 05:16:58 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-25 05:29:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 05:33:13 | × | dminuoso quits (~dminuoso@p5795f132.dip0.t-ipconnect.de) (Changing host) |
| 2021-05-25 05:33:13 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 2021-05-25 05:34:05 | × | hiruji` quits (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-25 05:34:21 | → | hiruji joins (~hiruji@72.74.190.75) |
| 2021-05-25 05:35:11 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 05:39:35 | → | hiptobecubic joins (~john@c-73-55-99-95.hsd1.fl.comcast.net) |
| 2021-05-25 05:41:34 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 2021-05-25 05:43:22 | × | hueso quits (~root@152.170.89.151) (Ping timeout: 264 seconds) |
| 2021-05-25 05:47:29 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-05-25 05:51:44 | <fabfianda> | hi everyone, is there any lib for generating OpenApi json specs for a scotty application as there is for Servant? |
| 2021-05-25 05:51:44 | <fabfianda> | I can't seem to find anything. I assume it is simpler in Servant because it requires you to create types to describe the API anyway. |
| 2021-05-25 05:52:07 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-05-25 05:52:45 | <dminuoso> | fabfianda: You can use openapi3 directly |
| 2021-05-25 05:53:34 | <dminuoso> | For something like scotty it would require some kind of free monad representation, such that you could symbolically evaluate it |
| 2021-05-25 05:54:08 | <dminuoso> | So I'm afraid you have to handroll the specs |
| 2021-05-25 05:55:17 | <fabfianda> | thanks, yes I think I'll create some helper functions to streamline the specs creation |
| 2021-05-25 05:55:34 | → | berberman joins (~berberman@user/berberman) |
| 2021-05-25 05:55:34 | <dminuoso> | Be sure to use the lens/optics helpers. |
| 2021-05-25 05:55:45 | <dminuoso> | They make openapi3 much eaiser to work with :) |
| 2021-05-25 05:55:59 | <dminuoso> | Especially the classy lenses/optics |
| 2021-05-25 05:56:42 | <dminuoso> | (or wait, I meant the OverloadedLabels ones) |
| 2021-05-25 05:57:55 | <fabfianda> | sure! love lenses |
| 2021-05-25 05:58:24 | → | hmmmas joins (~chenqisu1@183.217.200.8) |
| 2021-05-25 05:59:11 | <dminuoso> | swagger2/openapi3 miss one important thing though: property descriptions on objects. :( |
| 2021-05-25 05:59:47 | <fabfianda> | got it |
| 2021-05-25 06:01:38 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 265 seconds) |
| 2021-05-25 06:02:16 | → | qbt joins (~edun@user/edun) |
| 2021-05-25 06:03:11 | → | Squarism2 joins (~Squarism4@90-231-27-135-no51.tbcn.telia.com) |
| 2021-05-25 06:04:55 | × | hmmmas quits (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-25 06:05:36 | × | manicennui quits (uid349235@id-349235.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-25 06:06:29 | × | Squarism2 quits (~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Client Quit) |
| 2021-05-25 06:08:32 | → | jco joins (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-05-25 06:09:18 | × | qbt quits (~edun@user/edun) (Read error: Connection reset by peer) |
| 2021-05-25 06:11:04 | → | qbt joins (~edun@user/edun) |
| 2021-05-25 06:12:43 | × | cheater quits (~Username@user/cheater) (Quit: (BitchX) Choosey moms choose BitchX!) |
| 2021-05-25 06:13:01 | <fabfianda> | btw, a big thank you to the whole community! . Been a dev for 20+ years but Haskell has been a game changer for me. |
| 2021-05-25 06:13:23 | → | cheater joins (~Username@user/cheater) |
| 2021-05-25 06:14:54 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-05-25 06:15:10 | → | Tomurb joins (~tom@158.194.92.121) |
| 2021-05-25 06:15:21 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-25 06:17:33 | → | m_shiraeeshi joins (~shiraeesh@46.34.207.100) |
| 2021-05-25 06:20:28 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:d4bd:911b:bb62:6168) |
| 2021-05-25 06:23:09 | × | Erutuon quits (~Erutuon@97-116-14-180.mpls.qwest.net) (Quit: WeeChat 2.8) |
| 2021-05-25 06:23:19 | → | Erutuon joins (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-25 06:25:12 | × | Erutuon quits (~Erutuon@97-116-14-180.mpls.qwest.net) (Client Quit) |
| 2021-05-25 06:25:22 | → | Erutuon joins (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-25 06:25:43 | × | nan` quits (~nan`@68.235.43.165) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-25 06:28:14 | → | Guest6067 joins (~Guest6067@mail.haasprofile.cz) |
| 2021-05-25 06:32:52 | × | buggy quits (~buggy@user/smorgasbord) (Quit: Lost terminal) |
| 2021-05-25 06:35:39 | × | doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-25 06:35:46 | <gonz_> | fabfianda: What would you say has been the biggest change and what's been the most positive difference for you with Haskell? |
| 2021-05-25 06:36:11 | → | ddellacosta joins (~ddellacos@89.46.62.111) |
| 2021-05-25 06:36:51 | × | m_shiraeeshi quits (~shiraeesh@46.34.207.100) (Ping timeout: 264 seconds) |
| 2021-05-25 06:38:16 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-05-25 06:40:16 | × | ddellacosta quits (~ddellacos@89.46.62.111) (Ping timeout: 244 seconds) |
| 2021-05-25 06:40:57 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-25 06:41:55 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-05-25 06:43:39 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-25 06:48:25 | × | simmsb- quits (~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Remote host closed the connection) |
| 2021-05-25 06:51:20 | → | hmmmas joins (~chenqisu1@183.217.200.8) |
| 2021-05-25 06:51:58 | → | michalz joins (~user@185.246.204.58) |
All times are in UTC.