Logs: freenode/#haskell
| 2020-11-03 08:13:15 | → | alp joins (~alp@88.126.45.36) |
| 2020-11-03 08:13:45 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-03 08:16:14 | <merijn> | bqv: Good news, I've got a whole list for you, then ;) |
| 2020-11-03 08:17:39 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-11-03 08:20:01 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2020-11-03 08:21:25 | × | jbox quits (~atlas@unaffiliated/jbox) (Quit: gn o/) |
| 2020-11-03 08:21:41 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 08:23:09 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 2020-11-03 08:24:08 | × | guest113 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2020-11-03 08:26:38 | → | idhugo joins (~idhugo@users-1190.st.net.au.dk) |
| 2020-11-03 08:26:42 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-03 08:28:13 | <dminuoso> | Is there a name for an invertible map? |
| 2020-11-03 08:28:18 | × | Lord_of_Life quits (~Lord@46.217.218.100) (Changing host) |
| 2020-11-03 08:28:18 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-11-03 08:28:45 | <opqdonut> | dminuoso: I've seen bimap used |
| 2020-11-03 08:29:14 | <opqdonut> | looks like boost and guava use that term, at least |
| 2020-11-03 08:29:18 | <opqdonut> | https://en.wikipedia.org/wiki/Bidirectional_map |
| 2020-11-03 08:29:35 | <opqdonut> | oh, even a haskell package http://hackage.haskell.org/package/bimap-0.4.0/docs/Data-Bimap.html |
| 2020-11-03 08:29:51 | → | borne joins (~fritjof@200116b86457d500641bd1d418d012e1.dip.versatel-1u1.de) |
| 2020-11-03 08:29:55 | <opqdonut> | unfortunately there's a risk of confusion with https://hackage.haskell.org/package/bifunctors-5/docs/Data-Bifunctor.html#v:bimap |
| 2020-11-03 08:29:57 | <dminuoso> | Ah that seems to fit. I guess bimap in the sense of bijective map |
| 2020-11-03 08:30:03 | <opqdonut> | yeah |
| 2020-11-03 08:30:08 | <opqdonut> | or bidirectional map |
| 2020-11-03 08:30:15 | <dminuoso> | Gotcha, I just need a descriptive term for haddock, so "bijective map" it is |
| 2020-11-03 08:30:19 | <dminuoso> | Thanks! |
| 2020-11-03 08:33:07 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 08:37:37 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-03 08:38:06 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2543:65c:876:3dae) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-03 08:39:18 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-11-03 08:41:10 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-11-03 08:45:02 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 08:45:24 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-03 08:45:35 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-03 08:48:28 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-11-03 08:48:30 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-11-03 08:49:22 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-11-03 08:49:38 | → | todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr) |
| 2020-11-03 08:49:59 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-11-03 08:50:27 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2020-11-03 08:53:32 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-11-03 08:54:41 | × | drbean quits (~drbean@TC210-63-209-59.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 2020-11-03 08:57:10 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-11-03 08:57:27 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 09:00:02 | × | secdragon1 quits (~secdragon@185.204.1.185) () |
| 2020-11-03 09:00:07 | × | materialfuture[m quits (materialfu@gateway/shell/matrix.org/x-jvhencngpnxshide) (Quit: Idle for 30+ days) |
| 2020-11-03 09:00:08 | × | steve[m] quits (stevetrout@gateway/shell/matrix.org/x-fkuthzdpqeujhzmp) (Quit: Idle for 30+ days) |
| 2020-11-03 09:02:26 | fendor__ | is now known as fendor |
| 2020-11-03 09:02:33 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-11-03 09:03:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-03 09:07:23 | × | Nachtgespenst quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-11-03 09:09:22 | → | yumh joins (~yumh@mail.xglobe.in) |
| 2020-11-03 09:09:53 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 09:11:04 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-11-03 09:11:28 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-03 09:11:36 | → | mokulus joins (~mat@176.111.230.96) |
| 2020-11-03 09:11:55 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 09:13:17 | × | xff0x quits (~fox@2001:1a81:53b4:ba00:2eff:cd6c:5e2b:7580) (Ping timeout: 268 seconds) |
| 2020-11-03 09:13:40 | → | xff0x joins (~fox@2001:1a81:53b4:ba00:27c3:328a:48d4:3117) |
| 2020-11-03 09:15:17 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-03 09:15:52 | × | mokulus quits (~mat@176.111.230.96) (Client Quit) |
| 2020-11-03 09:17:22 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-03 09:22:29 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-11-03 09:22:30 | hackage | protocol-buffers-descriptor 2.4.15 - Text.DescriptorProto.Options and code generated from the Google Protocol Buffer specification https://hackage.haskell.org/package/protocol-buffers-descriptor-2.4.15 (k_bx) |
| 2020-11-03 09:22:59 | → | britva joins (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba) |
| 2020-11-03 09:23:30 | hackage | hprotoc 2.4.15 - Parse Google Protocol Buffer specifications https://hackage.haskell.org/package/hprotoc-2.4.15 (k_bx) |
| 2020-11-03 09:25:43 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 09:26:10 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-03 09:27:21 | → | mokulus joins (~mat@176.111.230.96) |
| 2020-11-03 09:29:24 | → | jedws joins (~jedws@101.184.150.81) |
| 2020-11-03 09:30:40 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-03 09:32:11 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-11-03 09:33:32 | × | jedws quits (~jedws@101.184.150.81) (Client Quit) |
| 2020-11-03 09:33:58 | × | Guest26530 quits (83e40214@131.228.2.20) (Remote host closed the connection) |
| 2020-11-03 09:35:09 | → | jedws joins (~jedws@101.184.150.81) |
| 2020-11-03 09:35:32 | × | jedws quits (~jedws@101.184.150.81) (Client Quit) |
| 2020-11-03 09:38:08 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 09:40:31 | hackage | HsOpenSSL 0.11.5 - Partial OpenSSL binding for Haskell https://hackage.haskell.org/package/HsOpenSSL-0.11.5 (VladimirShabanov) |
| 2020-11-03 09:41:40 | → | chaosmasttter joins (~chaosmast@p200300c4a7117c01c482e1943d10d298.dip0.t-ipconnect.de) |
| 2020-11-03 09:42:53 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-03 09:44:35 | × | danvet_ quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 2020-11-03 09:44:42 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-jbpkroausxoplpus) (Quit: Connection closed for inactivity) |
| 2020-11-03 09:45:03 | × | toorevitimirp quits (~tooreviti@117.182.183.132) (Ping timeout: 258 seconds) |
| 2020-11-03 09:45:51 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2020-11-03 09:48:18 | → | kuribas joins (~user@ptr-25vy0i7uknzjtc6w9zh.18120a2.ip6.access.telenet.be) |
| 2020-11-03 09:48:55 | <kuribas> | regarding the "simple haskell movement", would servant be considered "fancy"? |
| 2020-11-03 09:49:09 | <c_wraith> | very much so |
| 2020-11-03 09:49:18 | <kuribas> | then what is the alternative? |
| 2020-11-03 09:49:49 | <dminuoso> | scotty? |
| 2020-11-03 09:49:50 | <kuribas> | for creating a REST API with formal specification? |
| 2020-11-03 09:49:52 | <c_wraith> | there's nothing else that does everything servant does |
| 2020-11-03 09:50:07 | <dminuoso> | "with formal specifications" is very tough in a haskelly sense without enabling extensions |
| 2020-11-03 09:50:12 | <dminuoso> | You'd have to do a runtime OpenAPI thing |
| 2020-11-03 09:50:20 | <dminuoso> | (Which I guess is contrary to what haskellers usually do) |
| 2020-11-03 09:50:32 | × | yinfeng quits (~yinfeng@2001:250:5002:8100::2:b4d5) (Quit: WeeChat 2.9) |
| 2020-11-03 09:50:37 | <c_wraith> | I mean, I don't give simple haskell much credit, because no one can agree on what's simple anyway |
| 2020-11-03 09:50:58 | <dminuoso> | Or just not do HTTP REST APIs. |
| 2020-11-03 09:51:09 | <dminuoso> | Which I guess is the real crux, it's a very poor language |
| 2020-11-03 09:51:24 | <kuribas> | would, say, f# be better than simple haskell? |
| 2020-11-03 09:51:48 | <dminuoso> | define "better" |
| 2020-11-03 09:52:31 | <kuribas> | I mean in a company context where the steep learning curve of haskell is a problem. |
All times are in UTC.