Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 988 989 990 991 992 993 994 995 996 997 998 .. 5022
— 502,152 events total
2020-11-01 13:25:59 <maerwald> merijn: is that position paper public?
2020-11-01 13:26:17 <merijn> maerwald: It was an off-the-cuff thing at a tiny workshop, so...maybe? :p
2020-11-01 13:26:53 × dansho_ quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-11-01 13:27:27 <int-e> ski: How would I use this? How would user code transition from the plain to the ornate version and back? Also, he's kind of doing the opposite of what the introduction does, adding structure to the length to get a list, rather than taking a list and keeping track of the length...
2020-11-01 13:27:38 <int-e> ski: (Rhetorical questions.)
2020-11-01 13:28:04 <merijn> maerwald: I did write this like 6 years ago in, like, an afternoon so I'm not sure how well thought or argued it is :p
2020-11-01 13:28:07 <merijn> maerwald: http://grammarware.net/text/2014/oopsle-pre.pdf
2020-11-01 13:28:21 <ski> yes. it's half-baked
2020-11-01 13:28:30 hackage vulkan 3.6.11.1 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.11.1 (jophish)
2020-11-01 13:28:54 <merijn> maerwald: No one wanted to pay me to do research in it, sadly :p
2020-11-01 13:29:27 <maerwald> maybe you can make it blockchain relevant and then get your funding?
2020-11-01 13:29:30 hackage VulkanMemoryAllocator 0.3.7.1, vulkan-utils 0.1.2.1 (jophish): https://qbin.io/gaps-hiking-36kp
2020-11-01 13:32:14 <merijn> maerwald: Maybe, if I was willing to move abroad to some other university, but I'm not willing to move :p
2020-11-01 13:32:19 <ski> merijn : hm, (reading the abstract) reminds me of Racket's support for multiple languages, and of typed macros
2020-11-01 13:32:21 × sam___ quits (~sam@212.105.23.93.rev.sfr.net) (Read error: No route to host)
2020-11-01 13:32:24 <merijn> That's also why I'm not getting paid to do haskell yet :p
2020-11-01 13:34:13 <maerwald> I think you're basically making an argument for Java, which allows easily extending the type system
2020-11-01 13:34:30 <maerwald> (lets ignore for a moment that the language sucks)
2020-11-01 13:36:18 × hvr_ quits (~hvr@haskell/developer/hvr) (Ping timeout: 260 seconds)
2020-11-01 13:37:56 → hvr joins (~hvr@haskell/developer/hvr)
2020-11-01 13:38:30 hackage polysemy-fs 0.1.0.0 - Low level filesystem operations for polysemy. https://hackage.haskell.org/package/polysemy-fs-0.1.0.0 (locallycompact)
2020-11-01 13:38:48 → Tario joins (~Tario@200.119.185.187)
2020-11-01 13:40:28 × akegalj quits (~akegalj@93-136-196-194.adsl.net.t-com.hr) (Quit: leaving)
2020-11-01 13:40:33 × dhil quits (~dhil@195.213.192.85) (Quit: Leaving)
2020-11-01 13:41:37 × drbean quits (~drbean@TC210-63-209-219.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-11-01 13:42:56 <ski> in Mercury, they use "inst"s ("instantiation states") as a separate mechanism (distinct from types) to track how much initialized a value it, but can also be used for simple refinements (like non-empty lists, lists of even number of elements, &c.). i wonder whether something like that could also be used to track different representations of data, e.g. for matrices (sparse, triangular, &c.), graphs
2020-11-01 13:44:43 × britva quits (~britva@2a02:aa13:7240:2980:fc63:822e:7d74:772d) (Quit: This computer has gone to sleep)
2020-11-01 13:44:56 <merijn> So, eh, if you wanna see if this could work, get someone to fund me ;)
2020-11-01 13:45:21 <merijn> (although, maybe wait until I finish my defense...)
2020-11-01 13:50:48 → brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-11-01 13:53:39 <texasmynsted> soo fourmolu. I do not recall this happening before, but now when I use it from vim it messages that it loaded my config file. While accurate, I do not need that in my source file.
2020-11-01 13:53:52 <texasmynsted> Is there as setting, that I can not see, that makes this stop?
2020-11-01 13:54:39 × knupfer quits (~Thunderbi@200116b82ca86a0099682528f6996d5a.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-11-01 13:56:53 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-01 13:59:28 → Tops21 joins (~Tobias@dyndsl-095-033-023-063.ewe-ip-backbone.de)
2020-11-01 14:02:14 → knupfer joins (~Thunderbi@200116b82ca86a0059ea4a9c9dfa6f41.dip.versatel-1u1.de)
2020-11-01 14:02:45 × Tops2 quits (~Tobias@dyndsl-095-033-023-063.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-11-01 14:03:55 <refried_> does `newtype` have a runtime representation, or does it just use the underlying type?
2020-11-01 14:04:04 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-01 14:05:14 <tomsmeding> texasmynsted: :D
2020-11-01 14:05:24 <tomsmeding> does it output that on stdout? if so, boo fourmolu
2020-11-01 14:05:34 <tomsmeding> if not, 2>/dev/null :p
2020-11-01 14:06:19 <texasmynsted> I was just looking... It is a message that really should only show in some kind of debug mode, even on stderr
2020-11-01 14:06:22 → Neo-- joins (~neo@internet-188-198-236-78.narocnik.mobitel.si)
2020-11-01 14:07:05 <ski> refried_ : the latter
2020-11-01 14:07:08 <texasmynsted> yes, stderr
2020-11-01 14:07:16 <refried_> thanks ski
2020-11-01 14:08:12 <ski> (that's the point of it, more or less, over a single-argument single-constructor `data' type. this also has ramifications for strictness/bottoms)
2020-11-01 14:12:43 → pera joins (~pera@unaffiliated/pera)
2020-11-01 14:19:07 × bjobjo quits (~bjobjo@2a01:79c:cebf:d688::9e6) (Read error: Connection reset by peer)
2020-11-01 14:19:56 → bjobjo joins (~bjobjo@2a01:79c:cebf:d688::9e6)
2020-11-01 14:24:52 × knupfer quits (~Thunderbi@200116b82ca86a0059ea4a9c9dfa6f41.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-11-01 14:27:21 → son0p joins (~son0p@181.136.122.143)
2020-11-01 14:27:43 <fendor> tasty usually does not have some expectation such as hspec's shouldThrow?
2020-11-01 14:28:03 <merijn> fendor: Eh, you probably want tasty-hunit?
2020-11-01 14:28:13 <fendor> merijn, does not have it either, afaict?
2020-11-01 14:28:14 × bjobjo quits (~bjobjo@2a01:79c:cebf:d688::9e6) (Read error: Connection reset by peer)
2020-11-01 14:28:23 <fendor> unless I am blind
2020-11-01 14:28:27 → bjobjo joins (~bjobjo@2a01:79c:cebf:d688::9e6)
2020-11-01 14:28:56 <merijn> fendor: Easy enough to implement, though: https://github.com/merijn/broadcast-chan/blob/master/broadcast-chan-tests/BroadcastChan/Test.hs#L74-L83
2020-11-01 14:28:57 → plutoniix joins (~q@ppp-223-24-92-161.revip6.asianet.co.th)
2020-11-01 14:30:03 <fendor> merijn, well, obviously. So, time for tasty-hunit-expect-exception?
2020-11-01 14:30:43 <fendor> Or rather, I would prefer tasty-hspec-expectations
2020-11-01 14:31:22 → bennofs1 joins (~benno@dslb-094-222-054-143.094.222.pools.vodafone-ip.de)
2020-11-01 14:33:52 × invaser quits (~Thunderbi@31.148.23.125) (Remote host closed the connection)
2020-11-01 14:34:07 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-01 14:35:54 × carlomagno quits (~cararell@148.87.23.13) (Remote host closed the connection)
2020-11-01 14:36:08 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 272 seconds)
2020-11-01 14:37:01 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-01 14:37:03 <merijn> fendor: I mean, that's just a matter of making a PR to tasty-hunit to add it
2020-11-01 14:37:10 <merijn> Dunno why I didn't get around to that
2020-11-01 14:37:28 <fendor> indeed, maybe I should just try that.
2020-11-01 14:37:40 → tito_04 joins (~taurux@net-188-152-104-202.cust.dsl.teletu.it)
2020-11-01 14:37:49 <fendor> Just feels odd that such an expectation is not available in one of the most common testing frameworks
2020-11-01 14:37:50 × taurux quits (~taurux@net-188-152-104-202.cust.dsl.teletu.it) (Ping timeout: 264 seconds)
2020-11-01 14:39:03 × nschoe quits (~quassel@2a01:e0a:3c4:c7b0:c059:9ac8:a690:3133) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-11-01 14:41:03 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-01 14:42:14 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:9a5a:7320:1bda:4e7f)
2020-11-01 14:42:45 <merijn> tasty is just a runner/combiner, so it's more the absence in hunit/tasty-hunit
2020-11-01 14:43:36 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-01 14:44:44 × ericsagnes quits (~ericsagne@2405:6580:0:5100:43f1:8e91:4bca:feb3) (Ping timeout: 240 seconds)
2020-11-01 14:45:04 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-11-01 14:48:09 → ddellacosta joins (~dd@86.106.121.168)
2020-11-01 14:51:46 <fendor> still suprises me, that neither hunit not tasty-hunit define it
2020-11-01 14:53:26 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-11-01 14:54:46 → muesli4 joins (~noname@p200300e8472db800148b3a0117ef2d23.dip0.t-ipconnect.de)
2020-11-01 14:56:40 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-01 14:57:19 × toorevitimirp quits (~tooreviti@117.182.183.132) (Remote host closed the connection)
2020-11-01 14:57:19 × tv quits (~tv@unaffiliated/tv) (Read error: Connection reset by peer)
2020-11-01 14:57:55 → geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2020-11-01 14:57:56 <Squarism> I notice type System.IO.FilePath = String. Is there some representation of file that separates directory and filename?
2020-11-01 14:58:42 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-11-01 14:59:17 <dminuoso> Squarism: directory gives you the separation in its semantics
2020-11-01 14:59:34 <Squarism> ok, ill look into that
2020-11-01 15:00:01 × nhandler1 quits (~nhandler@185.204.1.185) ()
2020-11-01 15:00:23 <dminuoso> (But sadly this is not communicated in types)
2020-11-01 15:01:11 <fendor> Squarism, there is also hpath
2020-11-01 15:01:12 <Squarism> dminuoso, yeah. Looking at package "directory" i cannot directly see what could be useful for me
2020-11-01 15:01:37 <geekosaur> can't be, really; take a look at how streams are represented on windows, or forks on os x
2020-11-01 15:01:37 <dminuoso> Squarism: Well it offers you functions like splitFileName and so on
←Prev  Next→
Page 1 .. 988 989 990 991 992 993 994 995 996 997 998 .. 5022

All times are in UTC.