Logs: liberachat/#haskell
| 2021-07-13 15:59:08 | <monochrom> | I find higher-kind polymorphism even nicer. I.e., you can generalize from "Maybe Int" and "List Int" to "f Int". |
| 2021-07-13 16:00:04 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-13 16:02:51 | × | zdleaf quits (~zinc@163.ip-51-254-203.eu) (Quit: ) |
| 2021-07-13 16:06:18 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2021-07-13 16:07:54 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-13 16:08:11 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-07-13 16:08:19 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-13 16:15:14 | → | zdleaf joins (~zdleaf@163.ip-51-254-203.eu) |
| 2021-07-13 16:16:29 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-13 16:18:37 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-07-13 16:19:00 | × | qbt quits (~edun@user/edun) (Ping timeout: 272 seconds) |
| 2021-07-13 16:20:23 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-13 16:21:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-13 16:25:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-13 16:29:16 | → | mikail_ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-13 16:38:05 | → | warnz joins (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) |
| 2021-07-13 16:38:09 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-07-13 16:41:01 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-13 16:41:46 | × | warnz quits (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) (Remote host closed the connection) |
| 2021-07-13 16:41:58 | → | warnz joins (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) |
| 2021-07-13 16:42:26 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-13 16:45:24 | <hendursaga> | *cough* Clojure anyone? |
| 2021-07-13 16:47:31 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-13 16:48:11 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-07-13 16:48:11 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 2021-07-13 16:49:53 | → | eggplantade joins (~Eggplanta@108.201.191.115) |
| 2021-07-13 16:50:07 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-13 16:54:27 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-13 16:55:52 | → | eight joins (~eight@user/eight) |
| 2021-07-13 16:56:21 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-13 16:57:29 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-13 16:57:37 | shapr | hops cheerfully |
| 2021-07-13 16:59:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-13 17:02:03 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-13 17:03:12 | × | roconnor quits (~roconnor@host-45-78-194-41.dyn.295.ca) (Ping timeout: 265 seconds) |
| 2021-07-13 17:03:20 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-07-13 17:04:31 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-13 17:04:48 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-13 17:07:30 | × | warnz quits (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) (Remote host closed the connection) |
| 2021-07-13 17:13:00 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-07-13 17:14:11 | × | mikail_ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Quit: Leaving) |
| 2021-07-13 17:19:06 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 276 seconds) |
| 2021-07-13 17:19:17 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-13 17:20:32 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-13 17:22:05 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-13 17:24:37 | → | SimonWeiss[m] joins (~weiss-dma@2001:470:69fc:105::bebd) |
| 2021-07-13 17:27:29 | × | thonkpod quits (~thonkpod@user/thonkpod) (Ping timeout: 255 seconds) |
| 2021-07-13 17:30:09 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds) |
| 2021-07-13 17:32:08 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-13 17:34:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-13 17:35:26 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-13 17:35:32 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-13 17:36:22 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-07-13 17:36:52 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-13 17:38:17 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-13 17:39:18 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-13 17:39:40 | → | cheater joins (~Username@user/cheater) |
| 2021-07-13 17:39:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-07-13 17:41:12 | → | warnz joins (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) |
| 2021-07-13 17:42:15 | × | eggplantade quits (~Eggplanta@108.201.191.115) (Remote host closed the connection) |
| 2021-07-13 17:42:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-13 17:43:03 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-13 17:43:30 | → | Guest2168 joins (~Guest21@187.83.249.216.dyn.smithville.net) |
| 2021-07-13 17:44:23 | <maerwald> | why are Go projects always these huge things that do so much stuff that I don't even understand what they do |
| 2021-07-13 17:44:37 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-13 17:44:56 | → | Guest9 joins (~Guest9@103.250.139.121) |
| 2021-07-13 17:44:59 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-13 17:46:23 | <Guest2168> | I have a cyclic module dependency where Foo imports Bar and Bar imports Foo which ghc doesn't like...but Bar was really just functions in Foo that I wanted to put in a separate file for clarity |
| 2021-07-13 17:46:35 | → | azeem joins (~azeem@176.200.242.63) |
| 2021-07-13 17:46:38 | <Guest2168> | breaking the dependency is painful, but is there a way to say "compile Foo.hs and Bar.hs as if you concatenated the source"? |
| 2021-07-13 17:47:05 | <maerwald> | Guest2168: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/separate_compilation.html#how-to-compile-mutually-recursive-modules |
| 2021-07-13 17:47:08 | × | hrnz quits (~ulli@irc.plumbing) (Quit: das ist mir zu bld hier; bb) |
| 2021-07-13 17:49:04 | <monochrom> | Turn on CPP and use #include? |
| 2021-07-13 17:49:07 | <dminuoso> | Guest2168: So the short answer is: No. You either move things into the same source file, or you try to float definitions into separate files. |
| 2021-07-13 17:49:13 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-07-13 17:49:29 | → | Guest997 joins (~Guest9@103.250.139.121) |
| 2021-07-13 17:49:48 | × | hrnz quits (~ulli@irc.plumbing) (Client Quit) |
| 2021-07-13 17:49:54 | <dminuoso> | Guest2168: The long answer is: boot modules sort of work, but they break in mysterious ways. Avoid circular imports. |
| 2021-07-13 17:50:05 | <dminuoso> | (strange, that the long answer is shorter...) |
| 2021-07-13 17:50:05 | <maerwald> | what's wrong with boot modules |
| 2021-07-13 17:50:09 | <hseg> | still trying to derivevia a Category instance for a type ~ (m, a -> b) for m a monoid. problem is I don't see how to spell a type coercible with this one that eta-contracts away the a and b |
| 2021-07-13 17:50:10 | <Guest2168> | thanks, yeah I saw that maerwald but it looks like it'll be a huge pain and might not work (I need to expose a lot of stuff that actually do depend on the other file) |
| 2021-07-13 17:50:20 | <maerwald> | Guest2168: I use it, it works well |
| 2021-07-13 17:50:24 | <maerwald> | GHC itself uses it |
| 2021-07-13 17:50:42 | <dminuoso> | maerwald: Yes. Ask the the GHC core team what they think of it. |
| 2021-07-13 17:50:49 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-07-13 17:50:58 | <maerwald> | dminuoso: why? you claimed that it breaks :> |
| 2021-07-13 17:51:03 | <dminuoso> | It does. |
| 2021-07-13 17:51:05 | <maerwald> | so I'm asking you |
| 2021-07-13 17:51:36 | <monochrom> | No, my answer is better and I am more right! |
| 2021-07-13 17:51:36 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 255 seconds) |
| 2021-07-13 17:51:38 | <Guest2168> | I guess the easy solution is to just write a script to concatenate the files pre-compile |
| 2021-07-13 17:51:58 | <maerwald> | monochrom: yeah, except CPP breaks... all sorts of other tools (linters, formatters, ...) |
| 2021-07-13 17:52:12 | × | hrnz quits (~ulli@irc.plumbing) (Client Quit) |
| 2021-07-13 17:52:22 | × | azeem quits (~azeem@176.200.242.63) (Read error: Connection reset by peer) |
| 2021-07-13 17:52:36 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-13 17:52:53 | <hseg> | guess I could go the hask route and define newtype Product f g a b = Product (f (Fst a) (Fst b), g (Snd a b) |
| 2021-07-13 17:52:54 | × | Guest9 quits (~Guest9@103.250.139.121) (Ping timeout: 276 seconds) |
| 2021-07-13 17:52:57 | <maerwald> | but I also use CPP heavily |
| 2021-07-13 17:52:58 | <maerwald> | so what |
All times are in UTC.