Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 607 608 609 610 611 612 613 614 615 616 617 .. 5022
— 502,152 events total
2020-10-13 07:46:41 → shafox joins (~shafox@106.51.234.111)
2020-10-13 07:48:04 × vonfry`` quits (~user@116.236.75.229) (Ping timeout: 260 seconds)
2020-10-13 07:50:18 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-13 07:50:50 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-13 07:52:07 → xff0x joins (~fox@217.110.198.158)
2020-10-13 07:54:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 07:55:31 × nyd quits (~lpy@unaffiliated/elysian) (Ping timeout: 256 seconds)
2020-10-13 07:55:56 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-13 07:59:33 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 07:59:55 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-13 08:00:32 × ghoulguy quits (x@freenode/staff/haskell.developer.glguy) (Ping timeout: 615 seconds)
2020-10-13 08:02:11 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-13 08:02:14 → carldd102 joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-10-13 08:02:41 × toorevitimirp quits (~tooreviti@117.182.180.0) (Quit: Konversation terminated!)
2020-10-13 08:02:48 × carldd10 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2020-10-13 08:04:37 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-13 08:04:37 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 08:04:40 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-ycssaquegccjnbcx) (Quit: Connection closed for inactivity)
2020-10-13 08:05:00 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-13 08:06:56 × xerox_ quits (~xerox@unaffiliated/xerox) (Read error: Connection reset by peer)
2020-10-13 08:06:56 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 08:08:23 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-13 08:08:57 → glguy joins (x@freenode/staff/haskell.developer.glguy)
2020-10-13 08:09:59 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-13 08:13:05 <gentauro> so it looks like I got `lsp` to work with `emacs`. But is there a way to disable the "clippy a like boxes"? I mean, as a colorblind person, they don't do anything for me :D https://postimg.cc/QBPhSSM9
2020-10-13 08:13:59 × akegalj quits (~akegalj@93-138-183-8.adsl.net.t-com.hr) (Ping timeout: 265 seconds)
2020-10-13 08:13:59 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 08:14:25 <gentauro> btw, this is how I got it to work -> https://pastebin.ubuntu.com/p/WTqKCSNJYS/
2020-10-13 08:14:34 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 08:14:42 <gentauro> it seems like the `install.hs` doesn't really play nice with stack :(
2020-10-13 08:14:58 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-13 08:15:15 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Quit: Off to see the wizard.)
2020-10-13 08:16:06 × Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-13 08:16:06 gentauro I would <3 to update https://github.com/haskell/haskell-language-server/issues/171#issue-643008760 with this comment, but sadly I "wiped" my GH account when M$ overtook the platform …
2020-10-13 08:16:11 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-13 08:16:37 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-13 08:16:38 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-13 08:18:17 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-13 08:18:18 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 08:19:35 <gentauro> oh, so if I remove `lsp-ui` from `emacs`, then "clippy msgs" go away. Good to know :)
2020-10-13 08:19:59 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-13 08:21:27 → dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be)
2020-10-13 08:23:16 <gentauro> I guess it's fair to say that `lsp-haskell` is pretty fast compared to `intero`. Hmmm
2020-10-13 08:23:29 × alp quits (~alp@2a01:e0a:58b:4920:e472:4844:3c7b:eb57) (Remote host closed the connection)
2020-10-13 08:23:46 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 258 seconds)
2020-10-13 08:23:50 → alp joins (~alp@2a01:e0a:58b:4920:1dcd:3fff:5840:1f3a)
2020-10-13 08:24:41 → encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl)
2020-10-13 08:24:41 → Ariakenom joins (~Ariakenom@193.254.193.1)
2020-10-13 08:25:29 → oxide joins (~lambda@unaffiliated/mclaren)
2020-10-13 08:28:19 → kindaro joins (1f08ec14@h31-8-236-20.dyn.bashtel.ru)
2020-10-13 08:28:43 <kindaro> Is there an introduction to Object Oriented Programming for a functional programmer?
2020-10-13 08:30:27 <kindaro> I would like to have basic concepts and motivation explained to me, but so far I have not been able to locate a clear introduction.
2020-10-13 08:32:08 <gentauro> kindaro: at KU they teach the three paradigsm: imperative, FP and OO under the same umbrella (F#) for newcomers to CS
2020-10-13 08:32:18 <kindaro> KU?
2020-10-13 08:32:34 × drbean quits (~drbean@TC210-63-209-59.static.apol.com.tw) (Ping timeout: 246 seconds)
2020-10-13 08:32:39 <gentauro> that way it's easier to see the differences between these paradigms (same language/syntax) and not get lost in translation
2020-10-13 08:33:07 <gentauro> kindaro: KU = København Universitet (in English: University of Copenhagen)
2020-10-13 08:33:28 <gentauro> maybe the teaching material is available openly? You might reach out to Athas for that
2020-10-13 08:34:58 <kindaro> This looks like the thing: https://studier.ku.dk/bachelor/datalogi/faq/livet-paa-uddannelsen/Eksempel_p__en_tekst_fra_datalogi.pdf
2020-10-13 08:35:44 × encod3 quits (~encod3@45-154-157-94.ftth.glasoperator.nl) ()
2020-10-13 08:38:43 <gentauro> kindaro: might be. I would have hoped for `Torben Ægidius Mogensen` material :)
2020-10-13 08:39:34 × glguy quits (x@freenode/staff/haskell.developer.glguy) (Ping timeout: 606 seconds)
2020-10-13 08:40:30 <gentauro> kindaro: I'm asking him on FB
2020-10-13 08:42:56 × eedgit2 quits (~chat.free@95.179.237.21) (Remote host closed the connection)
2020-10-13 08:43:06 → cpressey joins (~cpressey@88.144.68.224)
2020-10-13 08:43:17 → eedgit2 joins (~chat.free@95.179.237.21)
2020-10-13 08:47:56 → guest35 joins (d537f42e@213.55.244.46)
2020-10-13 08:54:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 08:55:34 → polyrain joins (~polyrain@2001:8003:e501:6901:3d18:f8b0:5f22:3669)
2020-10-13 08:59:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-13 09:00:01 → glguy joins (x@freenode/staff/haskell.developer.glguy)
2020-10-13 09:00:02 × Wayno quits (~Wayno@185.163.110.116) ()
2020-10-13 09:02:45 <merijn> When (which GHC) did Monoid move to prelude?
2020-10-13 09:03:42 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 09:04:10 → polyrain_ joins (~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633)
2020-10-13 09:06:11 × lucid_0x80 quits (~lucid_0x8@188.253.234.30) (Ping timeout: 265 seconds)
2020-10-13 09:06:22 <Taneb> merijn: 7.10
2020-10-13 09:06:35 <Taneb> base has a pretty useful changelog
2020-10-13 09:07:15 <kindaro> gentauro, I value your help. I have to go presently. If you have any more information about that F# teaching material, please write to me offline _(I can check the public log)_ or ask the bot to deliver a message.
2020-10-13 09:07:17 × polyrain quits (~polyrain@2001:8003:e501:6901:3d18:f8b0:5f22:3669) (Ping timeout: 260 seconds)
2020-10-13 09:07:27 × kindaro quits (1f08ec14@h31-8-236-20.dyn.bashtel.ru) (Remote host closed the connection)
2020-10-13 09:07:53 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-13 09:08:24 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-13 09:10:49 <merijn> Taneb: Yeah, that just occurred to me
2020-10-13 09:11:07 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:fc55:7103:1b55:f700) (Ping timeout: 272 seconds)
2020-10-13 09:12:10 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
2020-10-13 09:12:48 <jonathanx> So I want to create a typeable representation of a GADT tagged with datakind based phantom types. I run into issues which I think is due to datakind based types not having Typeable instances (as opposed to to ordinary types). This is a bit annoying, seeing as a typeable instance for datakind is a simple "demotion" from type->value. So my question is: is there a convenient way to create typeable instances for GADTs that have DataKinds
2020-10-13 09:12:49 <jonathanx> phantom types?
2020-10-13 09:14:27 <merijn> jonathanx: Eh, out of curiousity, why do you wanna do that?
2020-10-13 09:15:52 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-13 09:16:55 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-13 09:18:27 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:613f:c21f:11b3:bc2c)
2020-10-13 09:19:29 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-10-13 09:19:40 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-13 09:19:40 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-10-13 09:23:14 <jonathanx> I'm working with a domain similar to dataflow languages (such as labview), where the nodes have various invariants in the way they connect together/the outputs relate to the inputs. I'm prototyping encoding these invariant in GADTS decorated with datakind based phantom types. When constructing this/connecting the nodes together, I'm planning to first create a rose-tree representing all wanted connections, where the invariant-enforcing
2020-10-13 09:23:14 <jonathanx> phantom types are "boxed" into a GADT such as "data Any where Any :: Specific phantomType -> Any". Then I want to fold that tree, "unboxing" the data as I go, and connect all children to each tree-node with phantom type based type security. When "unboxing", I want to use typeReps to help the compiler validate that the type "boxed" can be used as a parameter to the node it's connecting to
2020-10-13 09:23:56 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-13 09:25:25 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2020-10-13 09:25:28 <merijn> eh, all I can say is "good luck" >.>
←Prev  Next→
Page 1 .. 607 608 609 610 611 612 613 614 615 616 617 .. 5022

All times are in UTC.