Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 .. 5022
— 502,152 events total
2020-11-24 16:49:40 → texasmynsted joins (~texasmyns@212.102.44.39)
2020-11-24 16:53:21 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2020-11-24 16:54:54 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-24 16:55:01 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-24 16:55:47 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-ysnvsqftovuddatt)
2020-11-24 16:56:28 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-24 16:56:32 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2020-11-24 16:57:05 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-11-24 16:57:32 → christo joins (~chris@81.96.113.213)
2020-11-24 16:58:08 × Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-voulfkcwxssepppf) (Quit: The Lounge - https://thelounge.chat)
2020-11-24 16:58:09 × xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-bsiqubgdpcunmdtm) (Quit: The Lounge - https://thelounge.chat)
2020-11-24 16:58:24 <Raman> so Like "Ord a constrains a -> a -> Bool" for "Ord a => a -> a -> Bool" sounds nice when spoken with some additional intonation. Depending on the context, implies might sound good too -- thanks all! I'll go back to reading, or I will just end up hanging out here chatting. When the time comes, I'll ask how I hand ghci a line of code and get an AST back
2020-11-24 16:58:28 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 260 seconds)
2020-11-24 16:58:30 → devalot joins (~ident@mail.pmade.com)
2020-11-24 16:58:54 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2020-11-24 16:59:17 → Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-gntccaugnuwouyau)
2020-11-24 17:00:57 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-11-24 17:01:03 → xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-nywghooskhwzuxkn)
2020-11-24 17:01:23 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-24 17:03:34 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-24 17:04:00 hackage reflex-external-ref 1.0.3.1 - External reference with reactivity support https://hackage.haskell.org/package/reflex-external-ref-1.0.3.1 (NCrashed)
2020-11-24 17:04:38 ← Raman parts (~user@c-24-4-174-65.hsd1.ca.comcast.net) ("need to go read the haskell book and learn")
2020-11-24 17:06:12 × ubert quits (~Thunderbi@p200300ecdf1e539ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-24 17:06:18 → conal joins (~conal@64.71.133.70)
2020-11-24 17:06:19 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-24 17:06:25 → ubert joins (~Thunderbi@p200300ecdf1e53ebe6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-24 17:07:39 <dminuoso> % runQ [| \x -> x ^ 2 |]
2020-11-24 17:07:39 <yahb> dminuoso: LamE [VarP x_3] (InfixE (Just (VarE x_3)) (VarE GHC.Real.^) (Just (LitE (IntegerL 2))))
2020-11-24 17:08:21 → LKoen joins (~LKoen@169.244.88.92.rev.sfr.net)
2020-11-24 17:10:15 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 17:11:09 → jonatanb_ joins (~jonatanb@83.24.220.252.ipv4.supernova.orange.pl)
2020-11-24 17:11:15 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-24 17:12:31 ← acagastya parts (~acagastya@wikinews/acagastya) ("WeeChat 2.8")
2020-11-24 17:12:53 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-24 17:14:36 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-24 17:14:58 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 260 seconds)
2020-11-24 17:15:01 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.)
2020-11-24 17:16:04 × jonatanb_ quits (~jonatanb@83.24.220.252.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-24 17:16:49 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 17:20:41 → Tops2 joins (~Tobias@dyndsl-095-033-095-017.ewe-ip-backbone.de)
2020-11-24 17:22:06 <xerox_> LamE
2020-11-24 17:22:19 × ph88 quits (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) (Quit: Leaving)
2020-11-24 17:22:50 <APic> EsounD
2020-11-24 17:23:36 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-11-24 17:28:25 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-11-24 17:29:58 × Guest_63 quits (c010ccda@pulibgw-r3.net.ias.edu) (Remote host closed the connection)
2020-11-24 17:30:36 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-24 17:31:10 <texasmynsted> one thing I do not recall seeing in the Haskell survey was detail about why kinds of applications people build with Haskell. I think there was something like "command line apps", but that is more of an interface than mission.
2020-11-24 17:32:21 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-24 17:33:48 → Lycurgus joins (~niemand@98.4.114.74)
2020-11-24 17:35:58 × Yumasi quits (~guillaume@40.72.95.92.rev.sfr.net) (Ping timeout: 260 seconds)
2020-11-24 17:36:07 × knupfer quits (~Thunderbi@i59F7FF7E.versanet.de) (Ping timeout: 246 seconds)
2020-11-24 17:36:41 × conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds)
2020-11-24 17:37:30 hackage monad-logger 0.3.36 - A class of monads which can log messages. https://hackage.haskell.org/package/monad-logger-0.3.36 (MichaelSnoyman)
2020-11-24 17:38:07 → knupfer joins (~Thunderbi@i59F7FF7E.versanet.de)
2020-11-24 17:41:00 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds)
2020-11-24 17:42:22 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-24 17:42:36 → son0p joins (~son0p@181.136.122.143)
2020-11-24 17:42:38 × alp quits (~alp@2a01:e0a:58b:4920:a049:ea35:decd:ef01) (Ping timeout: 264 seconds)
2020-11-24 17:44:24 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-24 17:44:55 × ericsagnes quits (~ericsagne@2405:6580:0:5100:6150:c6af:125a:9cae) (Ping timeout: 272 seconds)
2020-11-24 17:45:06 → conal joins (~conal@66.115.157.138)
2020-11-24 17:45:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 17:48:21 <dsal> texasmynsted: I write almost everything I need in Haskell.
2020-11-24 17:48:23 <gehmehgeh> hm, I'm looking for a package that contains a datatype that allows an opperation such as "[1,2,3] ++ [4,5,6]" in O(1) time. Is that sort of thing already built into Haskell? Is there some sort of default package for that? We'd obviously need a reference to the last element of the left list
2020-11-24 17:48:43 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 246 seconds)
2020-11-24 17:48:50 <gehmehgeh> Basically a doubly linked list
2020-11-24 17:49:01 <kuribas> gehmehgeh: DList?
2020-11-24 17:49:06 → hseg joins (~gesh@185.120.126.113)
2020-11-24 17:49:08 <texasmynsted> nice
2020-11-24 17:49:25 <kuribas> gehmehgeh: https://hackage.haskell.org/package/dlist
2020-11-24 17:49:40 <kuribas> gehmehgeh: btw, DList stands for difference list. It's not a doubly linked list.
2020-11-24 17:49:57 <kuribas> gehmehgeh: it's more like a tree constructor, where you flatten the tree in the end.
2020-11-24 17:50:06 <dsal> texasmynsted: mostly network services, e.g., mqttd and web stuff. A lot of cli stuff because that's how I do things. Data manipulation tools, etc...
2020-11-24 17:50:09 <gehmehgeh> kuribas: oh! I had thought Dlists only allow "append" in constant time, that is "cons", but at the end side
2020-11-24 17:50:26 <gehmehgeh> I have used dlists in the past
2020-11-24 17:50:29 <texasmynsted> mqttd?
2020-11-24 17:50:34 <kuribas> gehmehgeh: what do you mean with "only"?
2020-11-24 17:50:43 <kuribas> gehmehgeh: that's basically what it does.
2020-11-24 17:50:52 <dsal> texasmynsted: mqtt broker. See mqtt.org (I think)
2020-11-24 17:50:56 <texasmynsted> There is no way to replace an existing type class instance, right?
2020-11-24 17:51:13 <gehmehgeh> kuribas: I thought (I could be mistaken) that this would still take O( length of [4,5,6]) in our example?
2020-11-24 17:51:19 → Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-11-24 17:51:29 <gehmehgeh> Wait, I'm sorry, I'm uninformed...
2020-11-24 17:51:34 <texasmynsted> oh, wow. mqtt is very interesting.
2020-11-24 17:51:34 <gehmehgeh> let me check
2020-11-24 17:51:42 <kuribas> gehmehgeh: I think the last list is shared
2020-11-24 17:52:06 <texasmynsted> Idris has named instances, but Haskell does not. That is right?
2020-11-24 17:52:19 <gehmehgeh> kuribas: hmm, in that case...
2020-11-24 17:52:27 <dsal> texasmynsted: it really is! I've written a client, a broker, a bridge to replicate data across mqttd instances, various transformation tools, etc...
2020-11-24 17:52:44 <dsal> I don't know idris... What's a named instance?
2020-11-24 17:52:56 <kuribas> > take 4 Data.DList.toList $ (Data.DList.fromList [1, 2, 3] <> Data.DList.fromList [4..])
2020-11-24 17:52:58 <lambdabot> error:
2020-11-24 17:52:58 <lambdabot> Not in scope: ‘Data.DList.toList’
2020-11-24 17:52:58 <lambdabot> Perhaps you meant ‘Data.Set.toList’ (imported from Data.Set)
2020-11-24 17:53:19 <texasmynsted> Having more than one type class instance for the same type, and selecting it by name.
2020-11-24 17:53:24 <kuribas> gehmehgeh: DList is linear in the length of the output.
2020-11-24 17:53:50 <kuribas> gehmehgeh: but lazy, so only as much as is actually requested.
2020-11-24 17:54:05 <dsal> It's a little weird to think of <> on a list as O(n) since it's not evaluated until you get there
2020-11-24 17:54:20 <texasmynsted> I am actually surprised how I can not recall how things work in haskell. If there is an existing instance for a type class, for a particular, type I am unable to replace it. Correct?
←Prev  Next→
Page 1 .. 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 .. 5022

All times are in UTC.