Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 .. 5022
— 502,152 events total
2020-11-23 12:46:04 <yahb> boxscape: Just True
2020-11-23 12:46:23 → geekosaur joins (ac3a8b3a@172.58.139.58)
2020-11-23 12:48:10 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-23 12:48:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-23 12:49:10 × _xor quits (~xor@74.215.46.133) (Quit: WeeChat 3.0)
2020-11-23 12:49:28 → hseg joins (~gesh@185.120.126.113)
2020-11-23 12:49:31 → _xor joins (~xor@74.215.46.133)
2020-11-23 12:49:42 <hseg> hi. is there some way of dumping all bindings made in ghci?
2020-11-23 12:50:12 <hseg> have had a long ghci session, would like to save some of the more useful ones for tomorrow
2020-11-23 12:50:34 → Lden joins (5fa448e7@95.164.72.231)
2020-11-23 12:50:41 <geekosaur> not really
2020-11-23 12:50:53 <hseg> pity
2020-11-23 12:51:01 <boxscape> % :show bindings
2020-11-23 12:51:01 <yahb> boxscape: type Ghci6.Fam :: forall k (a :: k) (b :: k). a :~: b; type family Ghci6.Fam; type Ghci7.Fam :: forall k (a :: k) (b :: k). a :~: b; type family Ghci7.Fam; type Ghci8.Fam :: forall k (a :: k) (b :: k). a :~: b; type family Ghci8.Fam; type Ghci9.Fam :: forall k (a :: k) (b :: k). a :~: b; type family Ghci9.Fam; type Fam :: forall k (a :: k) (b :: k). a :~: b; type family Fam; type Foo :: *; data Foo = ...; foo
2020-11-23 12:51:11 <boxscape> hseg does that work?
2020-11-23 12:51:45 <boxscape> wait
2020-11-23 12:51:47 <boxscape> it doesn't
2020-11-23 12:51:58 <boxscape> it doesn't give you the definition, only the type
2020-11-23 12:51:59 <boxscape> :(
2020-11-23 12:52:21 <hseg> which is enough to ctrl-r back to the definition
2020-11-23 12:52:24 <hseg> thanks!
2020-11-23 12:52:29 <boxscape> np
2020-11-23 12:52:34 <boxscape> glad it help
2020-11-23 12:52:35 <boxscape> s
2020-11-23 12:52:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-23 12:53:30 <hseg> well, up to a point, but i'll take what i can get
2020-11-23 12:53:54 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-11-23 12:54:06 → SanchayanMaity joins (~Sanchayan@171.76.82.54)
2020-11-23 12:56:07 × carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection)
2020-11-23 12:58:33 ← Lden parts (5fa448e7@95.164.72.231) ()
2020-11-23 12:58:44 → Lden joins (5fa448e7@95.164.72.231)
2020-11-23 12:58:55 × Lden quits (5fa448e7@95.164.72.231) (Remote host closed the connection)
2020-11-23 12:59:18 → LDem joins (5fa448e7@95.164.72.231)
2020-11-23 13:00:01 × hexfive quits (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.)
2020-11-23 13:00:43 → Tario joins (~Tario@201.192.165.173)
2020-11-23 13:01:26 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-11-23 13:01:44 → urodna joins (~urodna@unaffiliated/urodna)
2020-11-23 13:03:02 → texasmynsted joins (~texasmyns@212.102.45.103)
2020-11-23 13:03:20 <tomsmeding> hseg: try ~/.ghc/ghci_history?
2020-11-23 13:03:21 × texasmynsted quits (~texasmyns@212.102.45.103) (Read error: Connection reset by peer)
2020-11-23 13:03:44 → texasmynsted joins (~texasmyns@212.102.45.103)
2020-11-23 13:04:00 <tomsmeding> though it seems it only writes that file upon closing ghci, so that's going to be a scary close :p
2020-11-23 13:04:00 × ian-mi quits (~ian_milli@c-67-160-8-14.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-11-23 13:04:06 <hseg> yup
2020-11-23 13:04:19 <hseg> and it's of bounded length
2020-11-23 13:04:30 <hseg> oh well
2020-11-23 13:04:31 <tomsmeding> oh true
2020-11-23 13:04:35 <hseg> not too much was lost
2020-11-23 13:04:49 <hseg> and needed to rewrite what was lost anyway
2020-11-23 13:06:44 <hseg> recommendations for improvement on http://ix.io/2FbY ?
2020-11-23 13:06:45 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2020-11-23 13:07:18 <hseg> (trying to compute the cycle notation of a permutation s, written out as [s 1, s 2, ..., s n])
2020-11-23 13:07:26 <ski> Xnuk : "Escaping Hell with Monads" by Philip Nilsson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/> might be interesting
2020-11-23 13:08:18 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-11-23 13:09:42 → lmw joins (866594e0@gateway/web/thelounge/ip.134.101.148.224)
2020-11-23 13:09:52 lmw hugs ski
2020-11-23 13:10:07 <hseg> ski: neat exposition
2020-11-23 13:10:45 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2020-11-23 13:11:15 <ski> dminuoso : "The usefulness of monad comes from not using it" -- actually i think this (the original, unintended, formulation), is partially true, if you interpret it as expressing effects through monads, instead of by having side-effects in the language
2020-11-23 13:11:23 <ski> heya lmw :)
2020-11-23 13:12:28 → Fractalis joins (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7)
2020-11-23 13:13:31 → carlomagno joins (~cararell@148.87.23.7)
2020-11-23 13:17:22 <sondr3> I like how DuckDuckGo displays a little `Safe Haskell: Trustworthy Language: Haskell2010` beneath some Hackage packages
2020-11-23 13:17:54 × SanchayanMaity quits (~Sanchayan@171.76.82.54) (Quit: SanchayanMaity)
2020-11-23 13:18:08 × da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:6c06:c056:20b8:f8ee:6530) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-23 13:18:20 <Iceland_jack> :D
2020-11-23 13:18:50 <ski> (in other words, part of the usefulness of expressing effects through monads (and idioms / applicative functors), rather than through side-effects, is that this clearly (in both types/interfaces, and in code) delineates and distinguishes where effects can occur, rather than potentially every call having a side-effect, thereby helping/improving refactoring and other reasoning)
2020-11-23 13:22:22 <hseg> ie a particular case of "sufficiently well-typed programs can only go limitedly wrong"
2020-11-23 13:22:34 × lmw quits (866594e0@gateway/web/thelounge/ip.134.101.148.224) (Quit: The Lounge - https://thelounge.chat)
2020-11-23 13:24:14 → da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:6c06:c056:20b8:f8ee:6530)
2020-11-23 13:26:11 <hseg> TIL: import Module as M imports all names from M as well as qualified versions qualified by M -- particularly useful when only a couple of names overlap
2020-11-23 13:26:26 × Fractalis quits (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7) (Ping timeout: 264 seconds)
2020-11-23 13:30:07 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-11-23 13:30:27 × JohnONolan quits (~JohnONola@217.146.82.202) (Remote host closed the connection)
2020-11-23 13:32:32 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-23 13:32:51 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-23 13:33:15 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-11-23 13:33:49 × LDem quits (5fa448e7@95.164.72.231) (Ping timeout: 245 seconds)
2020-11-23 13:34:28 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-11-23 13:36:36 × fendor quits (~fendor@91.141.2.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-11-23 13:36:46 → SanchayanMaity joins (~Sanchayan@171.76.82.54)
2020-11-23 13:39:10 → ian-mi joins (~ian_milli@2601:600:9c80:322d:fffc:f6e1:b33f:3002)
2020-11-23 13:42:31 → fendor joins (~fendor@91.141.0.31.wireless.dyn.drei.com)
2020-11-23 13:43:05 × solonarv quits (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-11-23 13:45:35 × lxsameer quits (~lxsameer@unaffiliated/lxsameer) (Ping timeout: 260 seconds)
2020-11-23 13:47:27 <tomsmeding> I recommend using an unqualified import with an "as" binding very sparingly
2020-11-23 13:48:09 <tomsmeding> it suggests that this module exports names that collide with other things (otherwise you wouldn't need the "as"), and thus probably exports names that are fairly generic and hard to trace back to the module
2020-11-23 13:48:26 <tomsmeding> which _usually_ makes it hard to understand the code without IDE support
2020-11-23 13:48:39 <tomsmeding> but this is a very subjective recommendation, use your own judgement :)
2020-11-23 13:49:09 <tomsmeding> in particular 'import Data.Text as T' is very bad IMO
2020-11-23 13:49:18 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-23 13:49:18 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Read error: Connection reset by peer)
2020-11-23 13:53:52 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-23 13:54:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-23 13:55:07 → st8less joins (~st8less@2603:a060:11fd:0:b95c:25ed:47d7:d69f)
2020-11-23 13:55:16 × boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 240 seconds)
2020-11-23 13:56:56 → PacoV joins (~pcoves@16.194.31.93.rev.sfr.net)
2020-11-23 13:56:58 <PacoV> Hi.
2020-11-23 13:57:45 <tomsmeding> hseg: a pattern that I (and other people) do use is something like 'import qualified Data.Map.Strict as Map ; import Data.Map.Strict (Map)'
2020-11-23 13:58:05 <tomsmeding> re:your IS.IntSet
←Prev  Next→
Page 1 .. 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 .. 5022

All times are in UTC.