Logs: freenode/#haskell
| 2021-05-03 20:50:38 | <NemesisD> | actually, i think i can get some of what i need from typeable. but how can i go from a type to a list of its constructors and their selectors. i see generic has a type family for Rep but i don't know how to bring info from that into the value level |
| 2021-05-03 20:50:52 | <tomsmeding> | I would even not be surprised if you can pull that trick with google or facebook or one of those |
| 2021-05-03 20:51:41 | ← | safinaskar parts (6dfc5a88@109.252.90.136) () |
| 2021-05-03 20:52:02 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-03 20:52:06 | <shapr> | Also, you were sposed to email IT from your student account if the account was locked. They looked confused when I tried to explain how that wasn't going to work. |
| 2021-05-03 20:52:44 | <tomsmeding> | when your phone doesn't work, call the helpdesk at the following number? |
| 2021-05-03 20:52:53 | <tomsmeding> | but then unironically? |
| 2021-05-03 20:53:00 | <shapr> | yes, exactly that :-) |
| 2021-05-03 20:53:02 | <tomsmeding> | :D |
| 2021-05-03 20:53:12 | → | miklcct joins (quasselcor@miklcct.com) |
| 2021-05-03 20:53:20 | <Rembane> | That's why I need a fax machine. |
| 2021-05-03 20:53:31 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 2021-05-03 20:53:35 | → | alx741 joins (~alx741@186.178.109.58) |
| 2021-05-03 20:53:39 | <shapr> | It was a really small uni, they graduated about seven CS majors a year. |
| 2021-05-03 20:53:55 | <safinaskar> | is it true GHC2021 is default now? |
| 2021-05-03 20:54:24 | <safinaskar> | cdsmith: i see you are typing :) |
| 2021-05-03 20:54:33 | <cdsmith> | Continuing my fight against GHC's type checker... I have rank-n type this: data T where MkT :: (forall a b. (F a b, G a b)) -> T. Is there any way to curry MkT but keep an isomorphic type? |
| 2021-05-03 20:54:44 | <cdsmith> | safinaskar: yes, I was! :) |
| 2021-05-03 20:55:12 | <safinaskar> | so, irc now has feature "xxx is typing"? this is weird |
| 2021-05-03 20:55:18 | <shapr> | wat? |
| 2021-05-03 20:55:19 | → | jneira joins (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) |
| 2021-05-03 20:55:23 | <shapr> | I've never seen such a thing |
| 2021-05-03 20:55:27 | <safinaskar> | this contradicts irc philosophy |
| 2021-05-03 20:55:43 | <geekosaur> | it's supported by some clients including kiwiirc |
| 2021-05-03 20:55:47 | <shapr> | oh wow |
| 2021-05-03 20:55:49 | <cdsmith> | I see it. Using webchat.freenode.net. Is it an IRC thing, or a webchat thing? |
| 2021-05-03 20:56:04 | <safinaskar> | shapr: i use webchat.freenode.net |
| 2021-05-03 20:56:07 | <geekosaur> | I think you can enable it in hexchat also but it's off by default |
| 2021-05-03 20:56:07 | <shapr> | oh neato! |
| 2021-05-03 20:56:08 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ynbdnkhkjbtgwgql) |
| 2021-05-03 20:56:09 | <hrnz> | threading when? |
| 2021-05-03 20:56:17 | <Rembane> | Doesn't IRCv3 support it? It seems to support all things that are unIRCy |
| 2021-05-03 20:56:30 | <pjb> | xmpp? |
| 2021-05-03 20:56:34 | <hrnz> | inb4 spamming peoples names is threading |
| 2021-05-03 20:56:56 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Remote host closed the connection) |
| 2021-05-03 20:57:19 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 20:57:38 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-05-03 20:57:42 | ← | safinaskar parts (6dfc5a88@109.252.90.136) () |
| 2021-05-03 20:57:54 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Client Quit) |
| 2021-05-03 20:58:08 | → | safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-03 20:58:12 | <safinaskar> | so, GHC2021 is now default? |
| 2021-05-03 20:58:22 | <geekosaur> | as of 9.0.1, I think |
| 2021-05-03 20:58:30 | <geekosaur> | not available beforethat either |
| 2021-05-03 20:59:29 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-03 21:00:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 21:00:36 | <cdsmith> | I thought GHC2021 was a 9.2 thing... am I wrong? |
| 2021-05-03 21:00:49 | <safinaskar> | i think this can break compatibility |
| 2021-05-03 21:01:04 | <geekosaur> | I may be wrong |
| 2021-05-03 21:01:18 | <davean> | Only on things that don't define the haskell standard they use, and yah, I'm certainly not using GHC2021! |
| 2021-05-03 21:02:10 | <cdsmith> | Yeah, I double checked. GHC 9.2 release notes announce that GHC2021 is available, so I assume that means it's not in 9.0 |
| 2021-05-03 21:02:19 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3f6d:f920:f5c0:6bcc) |
| 2021-05-03 21:02:33 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 2021-05-03 21:02:40 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 21:02:44 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 21:02:52 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 252 seconds) |
| 2021-05-03 21:03:11 | <geekosaur> | hm, but do they say it's default? |
| 2021-05-03 21:04:35 | <cdsmith> | Yes, it's the default, if you don't say otherwise. In practice, most people say otherwise in a cabal file. |
| 2021-05-03 21:04:57 | <cdsmith> | The default only matters if you're running GHC or GHCi on its own, since Cabal will specify a language otherwise |
| 2021-05-03 21:05:22 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-05-03 21:05:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-03 21:06:12 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 21:06:17 | <yushyin> | 'including setting it by default' - https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4853 |
| 2021-05-03 21:06:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-03 21:07:16 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 265 seconds) |
| 2021-05-03 21:09:03 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf) (Quit: Connection closed for inactivity) |
| 2021-05-03 21:10:30 | → | kenanmarasli joins (1fdf0ddb@31.223.13.219) |
| 2021-05-03 21:10:51 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 268 seconds) |
| 2021-05-03 21:11:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 21:13:59 | <chisui> | davean what are your objections to GHC2021? |
| 2021-05-03 21:15:50 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-05-03 21:16:08 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2021-05-03 21:16:16 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-05-03 21:18:08 | <dmj`> | probably won't be ready until 2030 |
| 2021-05-03 21:18:13 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-03 21:18:24 | <safinaskar> | look here! https://paste.tomsmeding.com/9NRhKVV1 . i was able to proof "X -> X" using haskell as a proof checker! using GADTs |
| 2021-05-03 21:18:32 | <safinaskar> | this method looks pretty general |
| 2021-05-03 21:18:41 | <safinaskar> | it seems it will work for any logic |
| 2021-05-03 21:19:50 | <tomsmeding> | neat! |
| 2021-05-03 21:20:01 | × | fendor quits (~fendor@77.119.130.215.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-03 21:21:10 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-03 21:23:10 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 2021-05-03 21:23:34 | <safinaskar> | i wonder whether this method will work for really complex logics such as logic of ghc itself: https://github.com/ghc/ghc/blob/master/docs/core-spec/core-spec.pdf |
| 2021-05-03 21:23:40 | <safinaskar> | it seems nothing prevents it |
| 2021-05-03 21:24:12 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 240 seconds) |
| 2021-05-03 21:25:59 | → | imnew111 joins (3e1d44e2@62.29.68.226) |
| 2021-05-03 21:26:09 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 2021-05-03 21:26:22 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-03 21:26:26 | <imnew111> | how can i check if a string has 2 uppercase characters in it ? |
| 2021-05-03 21:27:04 | <justsomeguy> | What package and module do the Reader monad come from? Is it included with ghc? |
| 2021-05-03 21:28:06 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 240 seconds) |
| 2021-05-03 21:28:07 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-03 21:28:38 | <shapr> | imnew111: what about groupBy and isUpper? |
| 2021-05-03 21:28:53 | <tomsmeding> | justsomeguy: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Reader.html , and as a monad transformer from https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html |
| 2021-05-03 21:29:35 | <imnew111> | isUpper gives me a boolean answer, how can i implement it if the string has at least 2 uppercase chars it would say its true |
| 2021-05-03 21:30:06 | <tomsmeding> | justsomeguy: and both transformers and mtl are included with GHC https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/9.0.1-notes.html#included-libraries |
| 2021-05-03 21:31:42 | <monochrom> | imnew111: Do you mind also writing a helper function for "at least 1 uppercase letter"? |
| 2021-05-03 21:32:46 | <monochrom> | Also, "at least 2" uses recursion to walk through characters until you spot one. Then the rest is subject to "at least 1". |
| 2021-05-03 21:33:32 | <imnew111> | Okay i see |
| 2021-05-03 21:33:33 | <imnew111> | Thank you |
| 2021-05-03 21:33:44 | <imnew111> | isUpper doesnt work for me tho |
All times are in UTC.