Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,068 events total
2021-08-14 10:08:27 × sander quits (~sander@user/sander) (Quit: So long! :))
2021-08-14 10:08:31 <kuribas> Like taking a subset of (named) fields.
2021-08-14 10:08:38 <kuribas> Transforming the types of fields...
2021-08-14 10:09:48 <carbolymer> does anyone has an example of a single file haskell script with cabal? like stack script, but with cabal? my duckduckgo-fu seems to fail me today...
2021-08-14 10:09:51 sander joins (~sander@user/sander)
2021-08-14 10:10:21 <kuribas> hmm, maybe I can use https://hackage.haskell.org/package/generic-data-surgery-0.3.0.0
2021-08-14 10:11:09 <kuribas> carbolymer: how do you specify packages if it's a single file?
2021-08-14 10:12:00 <carbolymer> ok, I've found it... but it seems that it recompiles everything each time, and stack does some additional caching... https://github.com/haskell/cabal/issues/5688#issuecomment-438456164
2021-08-14 10:12:06 <carbolymer> kuribas: ^
2021-08-14 10:12:26 <carbolymer> s/everything/my code/
2021-08-14 10:13:04 azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-14 10:14:01 <kuribas> I just use ghc or ghci.
2021-08-14 10:14:11 <kuribas> But it depends on globally installed packages, so it's not ideal.
2021-08-14 10:14:46 <carbolymer> kuribas: but you can pin version in dependencies, can't you?
2021-08-14 10:14:55 <carbolymer> aah, you mean ghc
2021-08-14 10:15:16 <carbolymer> right - I was looking for more portable solution so I can drop single file on a machine and make it work there
2021-08-14 10:15:35 <kuribas> Nowadays I make a small package always...
2021-08-14 10:16:13 <kuribas> if the ghci approach doesn't work.
2021-08-14 10:20:36 × azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-14 10:21:47 keutoi joins (~keutoi@157.48.222.12)
2021-08-14 10:23:08 × tripoli quits (~tripoli@69.233.98.238) (Quit: nyaa~)
2021-08-14 10:25:36 <kuribas> uhm, data-surgery doesn't loop over all fields...
2021-08-14 10:25:36 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-14 10:26:19 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-14 10:26:27 <kuribas> Is there no library to do generic record operations, like in clojure?
2021-08-14 10:26:58 <kuribas> Like mapping all fields (polymorphically), taking a subset of fields, union of two records.
2021-08-14 10:28:25 waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-14 10:29:07 × Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-08-14 10:29:13 azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-14 10:32:58 burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-14 10:34:05 skykanin joins (~skykanin@115.81-166-221.customer.lyse.net)
2021-08-14 10:35:14 jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
2021-08-14 10:38:03 × burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds)
2021-08-14 10:39:54 × sander quits (~sander@user/sander) (Ping timeout: 268 seconds)
2021-08-14 10:43:52 × dunj3 quits (~dunj3@2001:16b8:3087:1500:4897:30d0:e9f9:702b) (Ping timeout: 245 seconds)
2021-08-14 10:48:28 sander joins (~sander@user/sander)
2021-08-14 10:50:58 dudek joins (~dudek@185.150.236.112)
2021-08-14 10:59:13 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2021-08-14 11:01:18 o1lo01ol1o joins (~o1lo01ol1@89.214.83.229)
2021-08-14 11:05:28 eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-14 11:05:32 × o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Ping timeout: 245 seconds)
2021-08-14 11:09:56 jakalx joins (~jakalx@base.jakalx.net)
2021-08-14 11:10:07 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-14 11:24:17 pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-14 11:28:01 × pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-14 11:28:34 × mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection)
2021-08-14 11:31:13 × azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-14 11:33:22 azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-14 11:36:38 × shredder quits (~user@user/shredder) (Ping timeout: 268 seconds)
2021-08-14 11:41:35 mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi)
2021-08-14 11:43:22 × yushyin quits (MbKMC7U51Q@karif.server-speed.net) (Quit: WeeChat 3.1)
2021-08-14 11:43:33 yushyin joins (PW3hWJBC9s@karif.server-speed.net)
2021-08-14 11:47:35 <adamCS> kuribas: vinyl? https://hackage.haskell.org/package/vinyl
2021-08-14 11:47:52 <kuribas> adamCS: no, I want to use just records.
2021-08-14 11:48:11 <adamCS> Ah.
2021-08-14 11:49:18 <kuribas> I am messing around now to make something easy to use...
2021-08-14 11:50:38 vpan joins (~vilius@212.117.1.172)
2021-08-14 11:51:35 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-14 11:52:01 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 248 seconds)
2021-08-14 11:54:55 lavaman joins (~lavaman@98.38.249.169)
2021-08-14 11:55:46 <kuribas> using a newtype to define a generic operation.
2021-08-14 11:56:17 <Franciman> hi, is there any pretty printing library allowing to specify precedence rules
2021-08-14 11:56:27 <Franciman> so that the output does not contain extra parantheses?
2021-08-14 11:57:51 shredder joins (~user@user/shredder)
2021-08-14 11:59:14 igghibu joins (~igghibu@91.193.5.28)
2021-08-14 11:59:21 × igghibu quits (~igghibu@91.193.5.28) (Client Quit)
2021-08-14 12:00:42 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-08-14 12:05:50 aarchi joins (sid486183@id-486183.highgate.irccloud.com)
2021-08-14 12:07:30 <aarchi> Is it possible to install multiple GHC versions in parallel? I want to install GHC 5.02 on macOS 10.14.
2021-08-14 12:08:05 × markpythonicbitc quits (~markpytho@2601:647:5a00:35:2c98:e880:4d8:8f3d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-14 12:08:28 <Hecate> kuribas: much better, a typed language that compiles to JVM bytecode
2021-08-14 12:08:43 <Hecate> (curse, my IRC client betrayed me)
2021-08-14 12:09:12 <kuribas> Hecate: yes?
2021-08-14 12:09:34 <Franciman> aarchi: yes, with ghcup
2021-08-14 12:09:40 <Franciman> it is handy
2021-08-14 12:09:40 <kuribas> Hecate: have a look at this: https://flix.dev/
2021-08-14 12:09:43 <maerwald> 5.02??
2021-08-14 12:09:58 <kuribas> Hecate: and don't mention scala :)
2021-08-14 12:10:09 drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-14 12:10:57 × tam quits (~alpha@163.172.215.78) (Quit: WeeChat 2.7.1)
2021-08-14 12:11:14 <Hecate> kuribas: nah I'm just waiting for the moment when GHC backends will be more pluggable
2021-08-14 12:11:14 <maerwald> 5.02 is i386 only :D
2021-08-14 12:11:22 <Hecate> so Eta will be able to live again
2021-08-14 12:11:26 <aarchi> Yes 5.02. I am formalizing a spec for the Whitespace programming language (created by the creator of Idris) based on its reference implementation that was written in Haskell, tested on GHC 5.02
2021-08-14 12:11:38 <maerwald> there's no bindist for mac
2021-08-14 12:11:38 <kuribas> Hecate: AFAIK it never lived.
2021-08-14 12:11:42 <maerwald> https://downloads.haskell.org/~ghc/5.02/
2021-08-14 12:11:43 <Hecate> kuribas: shortly
2021-08-14 12:11:57 <kuribas> nobody used it seriously
2021-08-14 12:12:01 <maerwald> you'll have a hard time bootstrapping 5.02
2021-08-14 12:12:06 <aarchi> Probably would be a pain to bootstrap
2021-08-14 12:12:19 <maerwald> VM
2021-08-14 12:12:27 <Hecate> kuribas: that's another thing, due to its short life :P
2021-08-14 12:12:32 <aarchi> Yeah that's my best option, I guess
2021-08-14 12:13:51 burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk)
2021-08-14 12:16:03 <kuribas> Hecate: I never believed it would take off. On the other hand I didn't believe in ghcjs either (and still don't).
2021-08-14 12:16:14 × shredder quits (~user@user/shredder) (Quit: quitting)
2021-08-14 12:16:30 markpythonicbitc joins (~markpytho@2601:647:5a00:35:2c98:e880:4d8:8f3d)
2021-08-14 12:17:35 shredder joins (~user@user/shredder)
2021-08-14 12:20:50 × markpythonicbitc quits (~markpytho@2601:647:5a00:35:2c98:e880:4d8:8f3d) (Ping timeout: 258 seconds)

All times are in UTC.