Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 590 591 592 593 594 595 596 597 598 599 600 .. 18009
— 1,800,843 events total
2021-06-22 18:01:10 SirJection is now known as __monty__
2021-06-22 18:02:08 <tomsmeding> it's a partial version of dependent typing, so I guess it's similar answers as the same question for "dependent types" would have
2021-06-22 18:02:23 <safinaskar> ok
2021-06-22 18:06:28 <dminuoso> tomsmeding: re "type-correct" - Im not sure that really holds.
2021-06-22 18:07:29 <tomsmeding> for a narrow enough definition of "type-correct" :)
2021-06-22 18:07:34 × vicfred quits (~vicfred@user/vicfred) (Ping timeout: 268 seconds)
2021-06-22 18:07:40 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-22 18:07:48 <tomsmeding> you know that the output of the compiler pass is valid in the object type system
2021-06-22 18:08:07 <tomsmeding> but this says precious little about actual semantical correctness of the pass
2021-06-22 18:08:21 <dminuoso> Sure, but you could still have a separate type system imposing additional constraints, like maybe there's polymorphism that the GADTs dont express or phantom types maybe
2021-06-22 18:08:32 × dsf quits (~dsf@cpe-66-75-56-205.san.res.rr.com) (Quit: Konversation terminated!)
2021-06-22 18:08:45 → dsf joins (~dsf@cpe-66-75-56-205.san.res.rr.com)
2021-06-22 18:08:46 <tomsmeding> right, if there are type system features that the GADT doesn't express, you don't prove anything about that
2021-06-22 18:08:49 × martinjaniczek quits (~janiczek@89-24-215-117.customers.tmcz.cz) (Quit: WeeChat 3.2)
2021-06-22 18:12:00 <Cale> safinaskar: GADTs are rather good for protocols, because you can index a "query" type by the type of response you'll receive back.
2021-06-22 18:12:37 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-22 18:13:58 <Cale> You can also use fairly simple GADTs along with DMap to have "extensible records" of a sort -- the GADT values become like "structured field labels"
2021-06-22 18:15:49 → TranquilEcho joins (~grom@user/tranquilecho)
2021-06-22 18:17:43 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-22 18:19:10 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-22 18:19:10 × azeem quits (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-22 18:19:12 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) (Remote host closed the connection)
2021-06-22 18:19:18 → altern joins (~altern@altern.corbina.com.ua)
2021-06-22 18:19:48 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8)
2021-06-22 18:20:19 → azeem joins (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it)
2021-06-22 18:20:21 <maerwald> Do we have a pure haskell implementation of `findmnt`?
2021-06-22 18:22:49 → Xe_ joins (~cadey@tailscale/xe)
2021-06-22 18:22:51 × Xe quits (~cadey@tailscale/xe) (Killed (zirconium.libera.chat (Nickname regained by services)))
2021-06-22 18:22:51 Xe_ is now known as Xe
2021-06-22 18:23:48 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) (Ping timeout: 244 seconds)
2021-06-22 18:24:50 <safinaskar> ok, thanks
2021-06-22 18:25:42 × mcglk quits (~mcglk@131.191.49.120) (Quit: (seeya))
2021-06-22 18:26:03 → mcglk joins (~mcglk@131.191.49.120)
2021-06-22 18:26:29 <safinaskar> maerwald: you mean linux util findmnt? it essentially reads from /proc/mounts (and /proc/self/mountinfo) and adds some formatting
2021-06-22 18:27:23 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Ping timeout: 268 seconds)
2021-06-22 18:28:13 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5)
2021-06-22 18:28:49 <maerwald> yes
2021-06-22 18:31:28 <safinaskar> maerwald: i think this is trivial to write haskell program which converts that two files to findmnt output
2021-06-22 18:31:37 <maerwald> Also, it does a little more than that
2021-06-22 18:31:55 ArsenArsen is now known as Arsen
2021-06-22 18:32:11 <maerwald> Yeah, I know I can code everything myself
2021-06-22 18:36:57 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8)
2021-06-22 18:37:19 × curiousgay quits (~curiousgg@178.217.208.8) (Remote host closed the connection)
2021-06-22 18:37:30 → curiousgay joins (~curiousgg@178.217.208.8)
2021-06-22 18:40:03 <__monty__> Does anyone know where I can find Okasaki's Maxiphobic heaps paper from 2005? Came across a dead link, http://www.eecs.usma.edu/webs/people/okasaki/sigcse05.pdf
2021-06-22 18:42:49 <shachaf> That's a nice paper.
2021-06-22 18:43:03 <shachaf> The title is "Alternatives to Two Classic Data Structures", that should help you find it.
2021-06-22 18:43:24 <shachaf> It looks like Google has links? If not I have a copy.
2021-06-22 18:44:11 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2021-06-22 18:44:37 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
2021-06-22 18:44:45 × hounded_woodstoc quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving)
2021-06-22 18:44:55 <__monty__> shachaf: Ah, thanks, I thought "Maxphobic heaps" was the title.
2021-06-22 18:44:58 <__monty__> <3
2021-06-22 18:45:40 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-06-22 18:45:54 → DkHmmEbpohxS joins (~DkHmmEbpo@88.155.49.35)
2021-06-22 18:45:54 <DkHmmEbpohxS> 1I8eRA.ChAT 15 4 Sc4M, C0M3 8ACk T0 frEenodE
2021-06-22 18:45:55 × DkHmmEbpohxS quits (~DkHmmEbpo@88.155.49.35) (Client Quit)
2021-06-22 18:48:01 <chisui> are there any resources on what `magicDict` does? I saw it in the internals of `GHC.TypeNats` and I'm it seems really magic.
2021-06-22 18:52:10 <chisui> Ok, found something https://ghc-compiler-notes.readthedocs.io/en/latest/notes/compiler/basicTypes/MkId.hs.html
2021-06-22 18:52:34 <tomsmeding> chisui: also check out this email thread: https://mail.haskell.org/pipermail/ghc-devs/2021-April/019833.html
2021-06-22 18:55:28 <lyxia> chisui: it's also being replaced with withDict, and there are some notes about this new version https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/HsToCore/Expr.hs#L1307
2021-06-22 18:56:12 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-06-22 18:56:54 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-06-22 18:57:18 × altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds)
2021-06-22 18:59:18 × curiousgay quits (~curiousgg@178.217.208.8) (Remote host closed the connection)
2021-06-22 18:59:47 → curiousgay joins (~curiousgg@178.217.208.8)
2021-06-22 18:59:47 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-22 19:00:33 × sheepduck quits (~sheepduck@user/sheepduck) (Read error: Connection reset by peer)
2021-06-22 19:02:56 <maerwald> safinaskar: https://hackage.haskell.org/package/mountpoints-1.0.2/docs/System-MountPoints.html
2021-06-22 19:03:19 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-22 19:03:24 → MoC joins (~moc@user/moc)
2021-06-22 19:03:45 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-22 19:04:16 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds)
2021-06-22 19:04:28 <geekosaur> if you want portability, it won't be there; every system has its own way to record mount points
2021-06-22 19:05:09 <geekosaur> linux does it one way, freebsd another, darwin a third
2021-06-22 19:05:58 <chisui> tomsmeding, lyxia: Thanks, that's some deep magic
2021-06-22 19:06:34 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-22 19:07:47 × Alex_test quits (~al_test@178.34.150.65) (Quit: ;-)
2021-06-22 19:08:16 × AlexZenon quits (~alzenon@178.34.150.65) (Quit: ;-)
2021-06-22 19:08:25 → moet_ joins (~moet@172.58.27.140)
2021-06-22 19:08:46 → tzar_bomba joins (~tzar_bomb@78-56-41-78.static.zebra.lt)
2021-06-22 19:09:27 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
2021-06-22 19:10:04 → chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4)
2021-06-22 19:11:36 × moet quits (~moet@172.58.35.6) (Ping timeout: 252 seconds)
2021-06-22 19:15:31 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-22 19:16:34 → AlexZenon joins (~alzenon@178.34.150.65)
2021-06-22 19:16:59 × wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 272 seconds)
2021-06-22 19:17:08 <maerwald> geekosaur: "Works on: Linux, BSD, Mac OS X, Android"
2021-06-22 19:17:45 <geekosaur> the utility may, the files it reads don't
2021-06-22 19:18:17 → dhil joins (~dhil@80.208.56.181)
2021-06-22 19:18:19 <maerwald> did you read the implementation?
2021-06-22 19:18:29 → Alex_test joins (~al_test@178.34.150.65)
2021-06-22 19:18:32 → wrunt joins (~ajc@vmx14030.hosting24.com.au)
2021-06-22 19:18:58 → vicfred joins (~vicfred@user/vicfred)
2021-06-22 19:18:58 <davean> geekosaur: i'm confused - what are you talking about?
2021-06-22 19:19:36 <geekosaur> there's a linux-commpatible /proc inplementation for freebsd but it's not mounted by default and is mounted in a different place when it is (BSD /proc is different)
2021-06-22 19:19:57 <maerwald> it uses libmount.h
2021-06-22 19:20:01 <davean> Yah
2021-06-22 19:20:09 <davean> I have no idea why you're mentioning that geekosaur
2021-06-22 19:20:34 → zeenk joins (~zeenk@2a02:2f04:a00e:6e00:d401:4c92:fecc:16f9)
←Prev  Next→
Page 1 .. 590 591 592 593 594 595 596 597 598 599 600 .. 18009

All times are in UTC.