Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 820 821 822 823 824 825 826 827 828 829 830 .. 5022
— 502,152 events total
2020-10-23 15:31:54 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-23 15:32:13 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-23 15:33:10 → christo joins (~chris@81.96.113.213)
2020-10-23 15:35:08 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-23 15:40:51 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab)
2020-10-23 15:43:48 → coot_ joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-23 15:45:04 → alp joins (~alp@2a01:e0a:58b:4920:fd7c:1b1:358f:2e7a)
2020-10-23 15:46:03 <ulidtko> does stack allow to pick only the lib component (and ignore/skip the exe:'s) of a package from extra-deps ?
2020-10-23 15:46:25 × st8less quits (~st8less@2603:a060:11fd:0:6d81:dbc2:4b3:9091) (Ping timeout: 240 seconds)
2020-10-23 15:47:14 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-nmiehyfymcraiwlr) (Ping timeout: 246 seconds)
2020-10-23 15:47:27 × ghoulguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer)
2020-10-23 15:47:38 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2020-10-23 15:47:40 → glguy_ joins (x@freenode/staff/haskell.developer.glguy)
2020-10-23 15:47:40 coot_ is now known as coot
2020-10-23 15:47:40 glguy_ is now known as glguy
2020-10-23 15:48:09 glguy is now known as ghoulguy
2020-10-23 15:48:33 <ulidtko> i see that stack allows passing flags to extra-deps... but this package has no flag to disable the exe: component
2020-10-23 15:48:38 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-vbxragmdcbvbjqii) (Ping timeout: 246 seconds)
2020-10-23 15:48:41 → st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-10-23 15:49:15 → fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-nobvbpoimoorjizw)
2020-10-23 15:49:17 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 15:49:33 → ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-pssqkgzdxqqfosjg)
2020-10-23 15:52:04 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-23 15:52:39 <ulidtko> fork it you say? well maybe, vendoring this one will certainly work, but I don't know how many more deps will need vendoring like that
2020-10-23 15:53:37 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 264 seconds)
2020-10-23 15:53:39 <lep-delete> i feel like this is impossible but let's say i have a function `f :: (Read a) => String -> [a] -> [a]; f v xs = read v : xs` is it possible to supply @a at runtime? like from a typerep or smth?
2020-10-23 15:53:41 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-23 15:54:06 <merijn> lep-delete: Well, tht sounds like a scary terrible idea :)
2020-10-23 15:54:25 <lep-delete> eh, maybe, mostly lazy
2020-10-23 15:55:00 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 2.8)
2020-10-23 15:55:11 <lep-delete> (i could go into my specific use-case but i *think* the above should give the general idea)
2020-10-23 15:56:03 <ulidtko> lep-delete, the question is, why don't you know the specific `a` at `f` call site
2020-10-23 15:56:33 <ulidtko> and where the "runtime" choice of `a` comes from
2020-10-23 15:56:36 <merijn> A better question would be "are you really sure you wanna use Read?" :p
2020-10-23 15:56:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-23 15:56:44 <ulidtko> that, too
2020-10-23 15:56:46 <lep-delete> no, but Read is the closest
2020-10-23 15:56:52 <lep-delete> i would use some binary serialisation
2020-10-23 15:56:59 <lep-delete> let me get into my use-case
2020-10-23 15:57:20 → sfvm joins (~sfvm@37.228.215.148)
2020-10-23 15:58:58 <lep-delete> i have a data type with more structure than a list but let's use a list for now. i want a program where i can supply a string v, then read a list xs::[a] from a file and have read v:xs written back to that file. now i want to be able to use that program for [Int], [Real], [Maybe Int], you get it w/o recompiling it for every new file
2020-10-23 15:59:26 × c_wraith quits (~c_wraith@adjoint.us) (Ping timeout: 256 seconds)
2020-10-23 15:59:33 → c_wraith joins (~c_wraith@adjoint.us)
2020-10-23 15:59:42 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hspucayepdiagala)
2020-10-23 15:59:47 <hyperisco> so I have strings and I want a reasonably unique hash for each string… what is my simplest path? cryponite looks possible but complicated
2020-10-23 16:00:10 <monsterchrom> How do I tell your program "I want [Int]"?
2020-10-23 16:00:20 × ubert quits (~Thunderbi@p200300ecdf10db38e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-23 16:00:31 <monsterchrom> What is the exact syntax, for starters? (Next will be "what is the semantics of that syntax?")
2020-10-23 16:00:33 <lep-delete> either i provide it or read it from a file
2020-10-23 16:00:38 <hyperisco> like, md5 :: String -> String would make me happy
2020-10-23 16:00:39 → conal joins (~conal@64.71.133.70)
2020-10-23 16:00:41 → ubert joins (~Thunderbi@p200300ecdf10db38e6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-23 16:01:22 <lep-delete> i dont know enough about Data.{Data,Typeable,Dynamic} to say whether it's possible or not
2020-10-23 16:01:29 <ulidtko> lep-delete, your serialization format will need to have something like a tagged-union
2020-10-23 16:01:30 <monsterchrom> What is the exact syntax, for starters? (Next will be "what is the semantics of that syntax?")
2020-10-23 16:01:42 <ulidtko> then you simply case match on it
2020-10-23 16:01:54 <ulidtko> here, look, reading images https://github.com/Twinside/Juicy.Pixels/blob/master/src/Codec/Picture.hs#L426-L435
2020-10-23 16:02:12 <ulidtko> it's really simple and there's no "high level" "type magic" involved
2020-10-23 16:02:18 <lep-delete> sure but a tagged union would need like all possible cases in beforehand, no?
2020-10-23 16:02:34 <lep-delete> im aware of the "normal" way
2020-10-23 16:02:36 <monsterchrom> What are your "all possible" cases?
2020-10-23 16:02:51 <monsterchrom> I was trying to extract that from "what is the exact syntax?"
2020-10-23 16:03:15 <ulidtko> yes, of course; otherwise what exactly would you mean by the serialization format ?
2020-10-23 16:03:22 <monsterchrom> Anyway talking only in the "abstract" is the root of all evil.
2020-10-23 16:03:46 <ulidtko> like, what monsterchrom says, define concretely what you need
2020-10-23 16:04:30 <lep-delete> simple example as above, i want the user supply a string value, have it `read` and append it to a list, which is stored `show`ed in a file
2020-10-23 16:04:41 <lep-delete> so anything that can be (Read a, Show a)
2020-10-23 16:04:59 <lep-delete> or ( ToJSON a, FromJSON a), or whatever
2020-10-23 16:05:08 × whald quits (~trem@ip4d15893f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-23 16:05:27 <ulidtko> use Json Value then?
2020-10-23 16:05:33 <ulidtko> the untyped thing
2020-10-23 16:05:48 <monsterchrom> If you say, "all legal Haskell types", you will be linking the totalily of GHC. You don't want to go there.
2020-10-23 16:05:52 <lep-delete> well i have a concrete type for each file
2020-10-23 16:06:21 <monsterchrom> HOW MANY TYPES ARE THERE?
2020-10-23 16:07:02 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-23 16:07:03 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-23 16:07:03 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-23 16:07:36 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-23 16:10:03 → raym joins (~ray@115.187.50.31)
2020-10-23 16:10:28 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-23 16:10:41 → miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-10-23 16:10:43 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Client Quit)
2020-10-23 16:11:10 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-23 16:11:15 → miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-10-23 16:11:31 → danza joins (~francesco@151.74.98.117)
2020-10-23 16:13:02 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-23 16:13:23 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-23 16:15:38 <dolio> A proper class.
2020-10-23 16:15:48 <monsterchrom> heh
2020-10-23 16:16:13 × ulidtko quits (~ulidtko@193.111.48.79) (Read error: Connection reset by peer)
2020-10-23 16:16:27 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-23 16:16:28 hackage gopro-plus 0.4.1.0 - GoPro Plus Client API. https://hackage.haskell.org/package/gopro-plus-0.4.1.0 (dustin)
2020-10-23 16:16:32 → ulidtko joins (~ulidtko@193.111.48.79)
2020-10-23 16:16:42 → christo joins (~chris@81.96.113.213)
2020-10-23 16:17:09 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-23 16:17:29 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 16:19:58 hackage happstack-server 7.7.0 - Web related tools and services. https://hackage.haskell.org/package/happstack-server-7.7.0 (JeremyShaw)
2020-10-23 16:22:38 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-23 16:24:32 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-23 16:24:50 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
←Prev  Next→
Page 1 .. 820 821 822 823 824 825 826 827 828 829 830 .. 5022

All times are in UTC.