Logs: liberachat/#haskell
| 2021-08-23 15:55:32 | → | ubert joins (~Thunderbi@178.165.179.240.wireless.dyn.drei.com) |
| 2021-08-23 15:56:52 | → | frtdlteo^ joins (~frtdlteo@12.16.129.111) |
| 2021-08-23 15:56:53 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) |
| 2021-08-23 16:02:53 | chexum_ | is now known as chexum |
| 2021-08-23 16:03:35 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 16:08:07 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-23 16:08:51 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-23 16:09:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-23 16:09:40 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-23 16:12:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 16:17:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-23 16:19:33 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 268 seconds) |
| 2021-08-23 16:22:18 | × | betelgeuse quits (~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 250 seconds) |
| 2021-08-23 16:25:56 | × | hrnz quits (~ulli@irc.plumbing) (Quit: das ist mir zu bld hier; bb) |
| 2021-08-23 16:26:19 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-08-23 16:26:26 | × | hrnz quits (~ulli@irc.plumbing) (Client Quit) |
| 2021-08-23 16:26:51 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-08-23 16:27:19 | × | hrnz quits (~ulli@irc.plumbing) (Client Quit) |
| 2021-08-23 16:27:31 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-08-23 16:27:45 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-08-23 16:29:04 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-23 16:29:35 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-23 16:38:05 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 16:40:26 | <siers> | I'm trying to understand the difference between {,G}ADTs. They both inductively create more elements in the set from old elements, but with GADTs you can restrict which elements you may use to to construct the next one, if you wish? |
| 2021-08-23 16:41:59 | <Lycurgus> | what does {,G} signify over what G does? |
| 2021-08-23 16:42:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-23 16:42:35 | <siers> | ah, that is a stupid shellism |
| 2021-08-23 16:42:43 | <siers> | echo {,G}ADTs |
| 2021-08-23 16:42:45 | <siers> | ADTs GADTs |
| 2021-08-23 16:42:49 | <Lycurgus> | i c |
| 2021-08-23 16:43:27 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-23 16:43:56 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-23 16:44:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 16:45:29 | → | jess joins (~jess@libera/staff/jess) |
| 2021-08-23 16:49:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-23 16:50:28 | × | jgeerds quits (~jgeerds@55d4b311.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2021-08-23 16:51:47 | × | neo quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 240 seconds) |
| 2021-08-23 16:52:02 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-23 16:53:18 | → | ubert1 joins (~Thunderbi@178.165.201.23.wireless.dyn.drei.com) |
| 2021-08-23 16:53:56 | <Drew[m]> | siers: This may be an oversimplification but my understanding is that GADTs let you define datatypes with type parameters, where what fills the parameter is decided by which constructor you constructed the datatype with. |
| 2021-08-23 16:53:58 | <Drew[m]> | If the constructor you use fixes a type parameter in a type then the reverse is also true: fixing the type parameter also fixes what data constructor you can construct a value in that type with. |
| 2021-08-23 16:54:44 | <Lycurgus> | like extra virgin olive oil, in this case extra abstact |
| 2021-08-23 16:54:47 | × | ubert quits (~Thunderbi@178.165.179.240.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-23 16:54:47 | ubert1 | is now known as ubert |
| 2021-08-23 16:56:26 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-23 16:58:26 | <monochrom> | The GHC User's Guide has an example in its GADT section. |
| 2021-08-23 16:59:00 | <monochrom> | Generally 99% of the time the GHC User's Guide should be your first go-to source for this kind of consultations. |
| 2021-08-23 16:59:23 | <monochrom> | Has examples. Pinpointing. Cuts to the mustard. |
| 2021-08-23 17:02:15 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-23 17:02:17 | → | obs\ joins (~obscur1ty@156.192.129.164) |
| 2021-08-23 17:02:17 | × | obs\ quits (~obscur1ty@156.192.129.164) (Changing host) |
| 2021-08-23 17:02:17 | → | obs\ joins (~obscur1ty@user/obs/x-5924898) |
| 2021-08-23 17:02:57 | × | kuribas quits (~user@ptr-25vy0iajat4u154jc6g.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-23 17:07:13 | <Lycurgus> | *abstract |
| 2021-08-23 17:08:24 | → | econo joins (uid147250@user/econo) |
| 2021-08-23 17:12:01 | × | pbrisbin quits (~patrick@174-081-116-011.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-08-23 17:13:55 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-23 17:14:01 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) (Remote host closed the connection) |
| 2021-08-23 17:14:10 | → | pbrisbin joins (~patrick@199.66.179.206) |
| 2021-08-23 17:18:59 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-23 17:19:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 17:19:52 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-08-23 17:20:27 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-23 17:22:39 | × | ubert quits (~Thunderbi@178.165.201.23.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-08-23 17:23:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) |
| 2021-08-23 17:29:51 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-23 17:30:26 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-08-23 17:33:50 | → | ubert joins (~Thunderbi@178.165.201.23.wireless.dyn.drei.com) |
| 2021-08-23 17:34:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-23 17:35:15 | <maerwald[m]> | GHC user guide is often better than haskell wiki |
| 2021-08-23 17:37:27 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-08-23 17:38:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-23 17:38:37 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-23 17:39:02 | × | defanor quits (~defanor@tart.uberspace.net) (Quit: .) |
| 2021-08-23 17:39:13 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-08-23 17:41:33 | → | fendor_ joins (~fendor@77.119.197.208.wireless.dyn.drei.com) |
| 2021-08-23 17:43:47 | × | fendor quits (~fendor@91.141.64.241.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-23 17:45:09 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-23 17:46:01 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 17:46:37 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-08-23 17:47:01 | <siers> | monochrom, I am trying to describe it with my own words differently after reading the user guide already. |
| 2021-08-23 17:47:14 | <fresheyeball> | is there a way to use CPP to special case code for test suites? |
| 2021-08-23 17:47:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-23 17:48:07 | <fresheyeball> | basically I want Arbitrary instances to be local to the type, not orphans, but not to have a dependency on QuickCheck in the exe |
| 2021-08-23 17:50:13 | <monochrom> | I think no. |
| 2021-08-23 17:50:41 | <tomsmeding> | fresheyeball: see also: https://www.michaelpj.com/blog/2020/10/29/your-orphans-are-fine.html |
| 2021-08-23 17:51:00 | <tomsmeding> | for some nuance regarding orphans |
| 2021-08-23 17:51:06 | × | jose03 quits (~a@p200300ef9702383b45b8de8f8152bf35.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-08-23 17:51:18 | <sm> | sure ? you can define a cpp var in the test component ? |
| 2021-08-23 17:52:02 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 17:52:06 | <sm> | should you ? maybe not ? |
| 2021-08-23 17:53:03 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 17:53:09 | <fresheyeball> | tomsmeding: I have more problems than just orphans to be fair |
| 2021-08-23 17:53:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-23 17:54:50 | → | trcc joins (~trcc@130.225.0.251) |
| 2021-08-23 17:55:03 | panda_man | is now known as koala_man |
| 2021-08-23 17:55:30 | → | aegon joins (~mike@174.127.249.180) |
| 2021-08-23 17:56:12 | <aegon> | I see how the ffi works with basic characters, is there a way to use it to marshell haskell types into structs or structs into haskell types or keep a reference to an opaque type exposed by a c lib / what does that look like? |
| 2021-08-23 17:57:02 | × | pbrisbin quits (~patrick@199.66.179.206) (Read error: Connection reset by peer) |
| 2021-08-23 17:58:16 | <fresheyeball> | I figured out a solution |
All times are in UTC.