Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 241 242 243 244 245 246 247 248 249 250 251 .. 5022
— 502,152 events total
2020-09-27 02:50:24 <p0a> How do I see where sum is also defined? I don't think I want either of the suggestions (one is Data.Complex and the other is GHC.Num)
2020-09-27 02:50:34 <p0a> and of course the one I mentioned
2020-09-27 02:51:07 <p0a> The line I have is `trace = sum . toList . takeDiag', which is supposed to give me the trace of a matrix
2020-09-27 02:52:21 <p0a> Huh, I guess the pointfree style was confusing GHC, (or rather, confusing me). I changed it and now it works fine
2020-09-27 02:52:25 → TooDifficult joins (~TooDiffic@106.206.110.145)
2020-09-27 02:52:46 <p0a> Not sure why `f x = g x' and `f = g' would be so different
2020-09-27 02:52:50 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-09-27 02:53:44 × theDon quits (~td@muedsl-82-207-238-034.citykom.de) (Ping timeout: 256 seconds)
2020-09-27 02:54:11 → _xor joins (~xor@74.215.46.133)
2020-09-27 02:54:43 × zbioe quits (b3bb5fea@179.187.95.234.dynamic.adsl.gvt.net.br) (Remote host closed the connection)
2020-09-27 02:55:30 → theDon joins (~td@muedsl-82-207-238-220.citykom.de)
2020-09-27 02:56:09 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 02:57:38 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 02:58:44 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 02:58:50 → mu__ joins (~mu@unaffiliated/mu)
2020-09-27 02:59:53 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-27 03:00:01 × fluffypony1 quits (~fluffypon@84.39.117.57) ()
2020-09-27 03:00:46 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2020-09-27 03:01:53 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2020-09-27 03:01:53 Lord_of_Life_ is now known as Lord_of_Life
2020-09-27 03:02:38 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-27 03:03:05 × darjeeling_ quits (~darjeelin@122.245.123.72) (Ping timeout: 240 seconds)
2020-09-27 03:03:45 × ericsagnes quits (~ericsagne@2405:6580:0:5100:2d0f:9cfc:e69e:d83f) (Ping timeout: 272 seconds)
2020-09-27 03:07:25 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-27 03:08:18 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:08:48 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 03:12:59 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 03:14:35 Xnuk- is now known as Xnuk
2020-09-27 03:15:20 → sand_dull joins (~theuser@185.217.69.182)
2020-09-27 03:15:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 03:16:05 → ericsagnes joins (~ericsagne@2405:6580:0:5100:50eb:31f:7734:396f)
2020-09-27 03:16:25 → darjeeling_ joins (~darjeelin@122.245.121.113)
2020-09-27 03:16:25 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 03:17:02 × bloodstalker quits (~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-27 03:17:18 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 03:18:43 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:18:57 → mu__ joins (~mu@unaffiliated/mu)
2020-09-27 03:21:54 → fimp joins (~fimp@193.56.252.210)
2020-09-27 03:23:52 × p0a quits (~user@unaffiliated/p0a) (Quit: bye)
2020-09-27 03:26:41 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-27 03:28:43 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:28:49 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 03:31:27 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-27 03:32:05 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-27 03:32:27 hackage metro 0.1.0.3 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.3 (Lupino)
2020-09-27 03:32:55 × oisdk quits (~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 03:34:05 → oisdk joins (~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844)
2020-09-27 03:34:06 × oisdk quits (~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844) (Client Quit)
2020-09-27 03:34:51 <orzo> I'm debuging a space leak and -hy shows me BLACKHOLE is a big cost. I have no threads in this application. What does this mean?
2020-09-27 03:35:40 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1)
2020-09-27 03:35:58 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 03:38:35 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:38:49 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 03:41:47 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-09-27 03:43:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 03:43:49 × asan quits (~yan4138@124.78.5.33) (Remote host closed the connection)
2020-09-27 03:44:22 <hololeap> does it sound like p0a ran into the monomorphism restriction?
2020-09-27 03:44:37 → drbean joins (~drbean@TC210-63-209-185.static.apol.com.tw)
2020-09-27 03:47:10 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-09-27 03:48:19 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:48:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 03:48:48 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 03:53:43 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 03:53:47 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-27 03:55:54 × alx741 quits (~alx741@186.178.110.72) (Quit: alx741)
2020-09-27 03:56:14 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-27 03:57:20 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 03:58:44 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 03:58:49 → mu__ joins (~mu@unaffiliated/mu)
2020-09-27 04:00:03 × Henson quits (~kvirc@24-246-25-37.cable.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-09-27 04:04:14 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-09-27 04:05:17 → day_ joins (~Unknown@unaffiliated/day)
2020-09-27 04:06:39 → BalterNotz joins (ca420871@202.66.8.113)
2020-09-27 04:07:03 <BalterNotz> hi
2020-09-27 04:07:13 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-09-27 04:07:29 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-27 04:08:26 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 246 seconds)
2020-09-27 04:08:26 day_ is now known as day
2020-09-27 04:08:27 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:08:48 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 04:09:34 <justsomeguy> I have a stupid theoretical question: Are data types (such as sum types and their related functions) finite state machines? (I got the idea from here... http://raganwald.com/2018/02/23/forde.html)
2020-09-27 04:10:13 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-27 04:10:41 <justsomeguy> (For context, I'm new to strongly typed programming; Currently reading haskellbook; and entertaining myself tonight by pondering what a type is exactly and drinking beer.)
2020-09-27 04:12:30 <justsomeguy> What would you say a type is?
2020-09-27 04:13:12 <fraktor> What is a type? A miserable little pile of data.
2020-09-27 04:13:30 → pong joins (chiya@2406:3003:2077:2341::babe)
2020-09-27 04:13:58 hackage errata 0.2.0.0 - Source code error pretty printing https://hackage.haskell.org/package/errata-0.2.0.0 (comp)
2020-09-27 04:14:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 04:14:28 <fraktor> I don't quite understand how a type is a finite state machine. It certainly has "finite states" (although the types associated with those states can be infinite, as in a String), but there aren't really transitions.
2020-09-27 04:15:22 <fraktor> I see now that you included "related functions" in your definition, and I would say in FP-land, those aren't really "part" of the type. The particular pairing of data and behavior like that is more OO IMO.
2020-09-27 04:15:52 <justsomeguy> I guess that in my view functions that act on a data type are part of the type. In that case, the functions describe permissible state transitions.
2020-09-27 04:16:17 <justsomeguy> ...but only conceptually.
2020-09-27 04:18:14 → Saukk joins (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4)
2020-09-27 04:18:17 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:18:36 <justsomeguy> Which is pretty much what you just said, but I'd pressed enter just as your comment appeared. Otherwise I'd have left that unsaid.
2020-09-27 04:18:54 → mu_ joins (~mu@unaffiliated/mu)
2020-09-27 04:19:13 justsomeguy is a kind of a slow typist
2020-09-27 04:19:53 → shad0w_ joins (~shad0w_@160.202.37.29)
2020-09-27 04:21:28 × falafel quits (~falafel@cpe-104-172-194-249.socal.res.rr.com) (Remote host closed the connection)
2020-09-27 04:21:32 <fraktor> Nah you're good :)
←Prev  Next→
Page 1 .. 241 242 243 244 245 246 247 248 249 250 251 .. 5022

All times are in UTC.