Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 304 305 306 307 308 309 310 311 312 313 314 .. 5022
— 502,152 events total
2020-09-29 19:59:44 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-09-29 20:00:19 → fredcy joins (~fredcy@mail.yankowski.com)
2020-09-29 20:01:50 × xff0x quits (~fox@2001:1a81:53b0:3c00:65ac:b49c:d7d6:af9b) (Remote host closed the connection)
2020-09-29 20:01:51 → meck joins (~meck@li1809-18.members.linode.com)
2020-09-29 20:02:10 → xff0x joins (~fox@2001:1a81:53b0:3c00:3d6a:e40e:1e13:6b86)
2020-09-29 20:02:59 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-09-29 20:06:23 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-09-29 20:06:28 hackage curl-runnings 0.15.0 - A framework for declaratively writing curl based API tests https://hackage.haskell.org/package/curl-runnings-0.15.0 (aviaviavi)
2020-09-29 20:06:38 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-29 20:06:54 × geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection)
2020-09-29 20:06:55 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 20:07:12 <koz_> If I do [minBound .. maxBound] :: [Char], will this effectively produce a string made of every Unicode code point?
2020-09-29 20:07:16 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 20:07:47 <ski> > filter isSpace [minBound .. maxBound]
2020-09-29 20:07:50 <lambdabot> "\t\n\v\f\r \160\5760\8192\8193\8194\8195\8196\8197\8198\8199\8200\8201\8202...
2020-09-29 20:07:59 <sarahzrf> > filter (not . isSpace) [minBound .. maxBound]
2020-09-29 20:08:03 <lambdabot> "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SYN\ETB\CAN\...
2020-09-29 20:08:12 → jakecraige joins (uid58205@gateway/web/irccloud.com/x-skwrvzxmtmlvbckx)
2020-09-29 20:08:17 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-29 20:08:27 <koz_> Uhh, so, 'yes'?
2020-09-29 20:08:31 <sarahzrf> hehe
2020-09-29 20:08:45 <koz_> > length ([minBound .. maxBound] :: String)
2020-09-29 20:08:48 <lambdabot> 1114112
2020-09-29 20:08:53 <sarahzrf> > filter isAlpha [minBound .. maxBound]
2020-09-29 20:08:53 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-29 20:08:55 <lambdabot> "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\170\181\186\192\193\19...
2020-09-29 20:09:00 <ski> > ord maxBound
2020-09-29 20:09:02 <sarahzrf> > text (filter isAlpha [minBound .. maxBound])
2020-09-29 20:09:05 jakecraige is now known as constR
2020-09-29 20:09:07 <lambdabot> mueval-core: Time limit exceeded
2020-09-29 20:09:08 <lambdabot> ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyzªµºÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔ...
2020-09-29 20:09:31 <sarahzrf> > ord (maxBound :: Char) -- ski
2020-09-29 20:09:35 <lambdabot> 1114111
2020-09-29 20:09:50 <ski> > ord maxBound
2020-09-29 20:09:53 <lambdabot> 1114111
2020-09-29 20:09:56 <sarahzrf> huh
2020-09-29 20:10:03 <ski> temporary fluke
2020-09-29 20:10:04 <sarahzrf> oh right, ord is monomorphic
2020-09-29 20:10:34 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-09-29 20:10:49 <ski> koz_ : i guess it might be extended, later
2020-09-29 20:10:59 <koz_> ski: Possibly.
2020-09-29 20:13:07 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-29 20:14:08 → grepp joins (bdd4038e@189-212-3-142.static.axtel.net)
2020-09-29 20:15:30 <koz_> Where can I find a function of type Int -> [a] -> [[a]]? This should chop the argument list into chunks of length specified by the Int argument.
2020-09-29 20:15:48 × voyons_calice quits (~dan@162.246.216.28) (Ping timeout: 260 seconds)
2020-09-29 20:15:59 <hyperisco> koz_, chunksOf
2020-09-29 20:16:04 <ski> @hoogle Int -> [a] -> [[a]]
2020-09-29 20:16:05 <lambdabot> Data.List.Split chunksOf :: Int -> [e] -> [[e]]
2020-09-29 20:16:05 <lambdabot> Data.List.Split.Internals chunksOf :: Int -> [e] -> [[e]]
2020-09-29 20:16:05 <lambdabot> Hedgehog.Internal.Shrink removes :: Int -> [a] -> [[a]]
2020-09-29 20:16:30 × heyj quits (sid171370@gateway/web/irccloud.com/x-etzhorqwefwzvcps) (Ping timeout: 258 seconds)
2020-09-29 20:16:39 <ski> @hackage split
2020-09-29 20:16:40 <lambdabot> https://hackage.haskell.org/package/split
2020-09-29 20:16:45 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 20:16:46 <koz_> Thanks!
2020-09-29 20:16:47 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2020-09-29 20:17:05 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-09-29 20:17:07 → heyj joins (sid171370@gateway/web/irccloud.com/x-dyelktlqaszoriye)
2020-09-29 20:17:15 <ski> > chunksOf 3 [0 .. 7]
2020-09-29 20:17:17 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 20:17:18 <lambdabot> [[0,1,2],[3,4,5],[6,7]]
2020-09-29 20:17:27 <koz_> Delicious chunky list.
2020-09-29 20:18:14 → notzmv` joins (~user@179.100.115.46)
2020-09-29 20:20:41 → sfvm joins (~sfvm@37.228.215.148)
2020-09-29 20:21:16 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-09-29 20:21:23 × notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 240 seconds)
2020-09-29 20:22:14 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-29 20:22:45 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-09-29 20:22:46 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-29 20:22:46 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-09-29 20:22:46 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-09-29 20:22:52 × mirrorbird quits (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9) (Quit: Leaving)
2020-09-29 20:23:46 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-29 20:26:15 × GyroW quits (~GyroW@unaffiliated/gyrow) (Client Quit)
2020-09-29 20:26:23 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-09-29 20:26:38 <monochrom> koz_: Some of the numbers / "characters" in that range are not legal unicode codepoints, so be careful.
2020-09-29 20:26:44 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 20:26:57 <koz_> monochrom: How do I make sure I only have ones which are?
2020-09-29 20:27:15 <koz_> Is there some kind of 'I am a real boy^WUnicode codepoint' check?
2020-09-29 20:27:15 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 20:27:20 <monochrom> Let me check if Data.Char has some helpers
2020-09-29 20:27:32 <koz_> Thanks!
2020-09-29 20:27:33 <dolio> Isn't that system-dependent?
2020-09-29 20:27:36 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-09-29 20:27:36 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-29 20:27:36 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-09-29 20:28:02 <EvanR> there's various flavors of "not a valid character"
2020-09-29 20:28:15 <EvanR> very fun stuff
2020-09-29 20:28:31 × grepp quits (bdd4038e@189-212-3-142.static.axtel.net) (Remote host closed the connection)
2020-09-29 20:28:37 <monochrom> Perhaps generalCategory, and if you get NotAssigned it's a bad sign. Sometimes PrivateUse too, depending on what you want.
2020-09-29 20:28:38 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-29 20:28:53 <koz_> OK, thanks.
2020-09-29 20:28:57 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-29 20:29:04 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-29 20:29:11 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-09-29 20:29:41 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-29 20:29:49 <monochrom> NotAssigned would be "illegal today but maybe in 2025 it is a newly assigned emoji"
2020-09-29 20:30:16 <monochrom> To be sure, my wording "illegal" is lax.
2020-09-29 20:30:26 <EvanR> there's literally "not a character" like \uffff
2020-09-29 20:30:43 <EvanR> "FFFE and FFFF are not unassigned in the usual sense, but guaranteed not to be Unicode characters at all."
←Prev  Next→
Page 1 .. 304 305 306 307 308 309 310 311 312 313 314 .. 5022

All times are in UTC.