Logs: freenode/#haskell
| 2020-11-06 09:46:05 | <merijn> | (although, I guess they rebranded?) |
| 2020-11-06 09:46:35 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-06 09:47:43 | × | Sanchayan quits (~Sanchayan@223.226.118.59) (Ping timeout: 260 seconds) |
| 2020-11-06 09:48:38 | × | emmanuel_erc quits (~user@2604:2000:1382:ce03:496b:5584:4342:f627) (Ping timeout: 264 seconds) |
| 2020-11-06 09:51:20 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-06 09:51:41 | → | geek00l joins (~geek00l@184.75.221.203) |
| 2020-11-06 09:53:18 | → | Sanchayan joins (~Sanchayan@223.226.118.59) |
| 2020-11-06 09:56:26 | → | watt570 joins (~watt570@124.123.105.19) |
| 2020-11-06 09:56:45 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-06 09:59:01 | hackage | cobot-io 0.1.3.10 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.10 (ozzzzz) |
| 2020-11-06 10:00:56 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Quit: WeeChat 2.7.1) |
| 2020-11-06 10:01:46 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-06 10:02:26 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2020-11-06 10:03:37 | × | Collateral quits (~Collatera@4e69b241.skybroadband.com) (Ping timeout: 246 seconds) |
| 2020-11-06 10:04:43 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds) |
| 2020-11-06 10:05:51 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2020-11-06 10:06:52 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-06 10:07:30 | → | Collateral joins (~Collatera@4e69b241.skybroadband.com) |
| 2020-11-06 10:07:42 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-06 10:08:31 | → | darjeeling_ joins (~darjeelin@115.215.43.51) |
| 2020-11-06 10:11:28 | <tomjaguarpaw> | jophish: Thanks. I will respond to your email soon. |
| 2020-11-06 10:12:00 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 2020-11-06 10:12:13 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 2020-11-06 10:12:13 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2020-11-06 10:12:31 | hackage | phonetic-languages-properties 0.1.1.0 - A generalization of the uniqueness-periods-vector-properties package. https://hackage.haskell.org/package/phonetic-languages-properties-0.1.1.0 (OleksandrZhabenko) |
| 2020-11-06 10:13:12 | → | akegalj joins (~akegalj@93-136-206-107.adsl.net.t-com.hr) |
| 2020-11-06 10:13:30 | × | codygman quits (codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 256 seconds) |
| 2020-11-06 10:16:24 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-06 10:17:24 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-06 10:17:28 | → | codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-11-06 10:19:36 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f650b06a22fed16a11d3.dip0.t-ipconnect.de) |
| 2020-11-06 10:20:15 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-06 10:20:39 | → | mikevdg joins (73bd507b@115-189-80-123.mobile.spark.co.nz) |
| 2020-11-06 10:22:20 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-11-06 10:24:35 | <mikevdg> | Where is the "do" notation processed? Is it something the compiler knows specially about and is built in to the grammar of Haskell, or is it done using some funky function definition foo? |
| 2020-11-06 10:24:37 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-11-06 10:25:32 | × | totte quits (~totte@chakra/totte) (Quit: ZNC - http://znc.in) |
| 2020-11-06 10:25:40 | <merijn> | mikevdg: It's syntactic sugar, so part of the syntax/grammar, yes |
| 2020-11-06 10:26:13 | <merijn> | mikevdg: The desugaring is pretty straightforward: https://en.wikibooks.org/wiki/Haskell/do_notation |
| 2020-11-06 10:26:39 | <mikevdg> | Does Haskell have a mechanism for letting you define your own syntactic sugar, or would that involve breaking ghc open and modifying it? |
| 2020-11-06 10:27:00 | hackage | phonetic-languages-examples 0.1.1.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.1.1.0 (OleksandrZhabenko) |
| 2020-11-06 10:27:17 | <merijn> | mikevdg: You can either break open GHC, or you can use QuasiQuotes |
| 2020-11-06 10:28:52 | <mikevdg> | Hey thanks |
| 2020-11-06 10:28:57 | × | mikevdg quits (73bd507b@115-189-80-123.mobile.spark.co.nz) (Quit: mikevdg) |
| 2020-11-06 10:29:37 | → | totte joins (~totte@chakra/totte) |
| 2020-11-06 10:29:42 | <jophish> | int-e: ! hahah |
| 2020-11-06 10:29:49 | <jophish> | you're quite right |
| 2020-11-06 10:30:16 | <jophish> | micahsovereign[m: consider looking at -XRebindableSyntax too |
| 2020-11-06 10:31:03 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-yyqyliwcbydyqmwb) (Quit: Connection closed for inactivity) |
| 2020-11-06 10:31:51 | → | pera joins (~pera@unaffiliated/pera) |
| 2020-11-06 10:33:29 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-11-06 10:34:40 | × | geek00l quits (~geek00l@184.75.221.203) (Ping timeout: 258 seconds) |
| 2020-11-06 10:36:36 | × | guest116` quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2020-11-06 10:45:12 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-06 10:45:54 | <Cheery> | when I define type family Trim a where Trim ... |
| 2020-11-06 10:46:08 | <Cheery> | is it possible to associate functions to the items? |
| 2020-11-06 10:46:12 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-06 10:46:42 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-06 10:46:50 | <dminuoso> | Cheery: use a typeclass with an associated type |
| 2020-11-06 10:47:49 | <Cheery> | so I had this problem while days ago and it got back. |
| 2020-11-06 10:47:55 | <merijn> | dminuoso: How does do that? |
| 2020-11-06 10:48:01 | <jophish> | n |
| 2020-11-06 10:48:20 | <Cheery> | https://www.reddit.com/r/haskell/comments/jmzg57/is_it_possible_to_trim_unit_types_away_from_a_type/ |
| 2020-11-06 10:48:23 | <kuribastard> | merijn: yes, haxl is exactly the functionality I wanted to implement. That'll save me a lot of work :) |
| 2020-11-06 10:48:26 | <merijn> | associated types aren't really any different from regular type families, tbh |
| 2020-11-06 10:49:41 | <kuribastard> | merijn: I already was designing a complicated system for doing dependency analysis, before it occured to me that applicative does that exactly, but for free. |
| 2020-11-06 10:50:01 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-06 10:50:46 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 258 seconds) |
| 2020-11-06 10:51:00 | → | falafel joins (~falafel@2601:247:c400:1390:744c:5d49:cbc1:a27a) |
| 2020-11-06 10:51:03 | <Cheery> | merijn: what do you mean? does this thing I have desugar into something else? |
| 2020-11-06 10:51:56 | <merijn> | Cheery: I was refering to dminuoso's suggestion, which afaict can't actually fix your problem |
| 2020-11-06 10:52:40 | <merijn> | Cheery: oh, those functions in that reddit post aren't possible |
| 2020-11-06 10:53:05 | <merijn> | Cheery: Because the implementation depends on their input type which only works if you have either a typeclass or some kinda witness, like a GADT |
| 2020-11-06 10:53:35 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2020-11-06 10:54:55 | → | Leo_Verto1 joins (~Leo_Verto@178.239.168.171) |
| 2020-11-06 10:58:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: relog) |
| 2020-11-06 10:58:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-06 10:59:19 | <Cheery> | merijn: well is there some other way to remove units from a type? |
| 2020-11-06 10:59:43 | <merijn> | eh "a function"? |
| 2020-11-06 11:00:33 | <Cheery> | I get a type, and I'd like it to drop units deep in that type. |
| 2020-11-06 11:00:43 | → | trafaret1 joins (~user@178.207.230.169) |
| 2020-11-06 11:01:10 | <merijn> | There's no (sane) way of doing that in general |
| 2020-11-06 11:01:23 | ← | trafaret1 parts (~user@178.207.230.169) () |
| 2020-11-06 11:02:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit) |
| 2020-11-06 11:02:50 | <Cheery> | I accept datakinds |
| 2020-11-06 11:03:02 | × | yinfeng quits (~yinfeng@58.212.52.57) (Ping timeout: 260 seconds) |
| 2020-11-06 11:03:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-06 11:03:26 | <Cheery> | merijn: I accept datakinds, it's ok if it's not entirely sane |
| 2020-11-06 11:03:44 | <merijn> | I don't know how to do it the insane way either |
| 2020-11-06 11:03:54 | <merijn> | It's probably possible, but you're on your own |
| 2020-11-06 11:04:28 | <Cheery> | yeah.. well I try figure out. I think it can be done. |
| 2020-11-06 11:04:40 | <merijn> | I'd recommend either: 1) "well don't return stuff you don't want/need then", or 2) accepting life |
| 2020-11-06 11:04:50 | × | falafel quits (~falafel@2601:247:c400:1390:744c:5d49:cbc1:a27a) (Ping timeout: 264 seconds) |
| 2020-11-06 11:05:38 | <Cheery> | https://github.com/cheery/haskell-rady |
| 2020-11-06 11:06:33 | <Cheery> | for example: the aa(b|c) corresponds to ((),((),Either () ())) |
| 2020-11-06 11:06:47 | <Cheery> | trim it, you get Either () () |
| 2020-11-06 11:08:07 | <Cheery> | well I'll try those datakinds. |
| 2020-11-06 11:08:57 | <Cheery> | merijn: the point is, there's a good usecase |
| 2020-11-06 11:11:45 | → | falafel joins (~falafel@2601:247:c400:1390:744c:5d49:cbc1:a27a) |
| 2020-11-06 11:12:00 | ski | . o O ( `Either (Either Void ()) (Either (Either Void Void,Either () ()) (Either () ((),()),Either () (Either () Void)))' ) |
All times are in UTC.