Logs: liberachat/#haskell
| 2021-06-25 18:18:24 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-25 18:21:24 | → | mason0 joins (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) |
| 2021-06-25 18:24:43 | → | Guest33 joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2021-06-25 18:25:55 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-25 18:28:34 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-25 18:28:39 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 18:30:58 | × | Morrow quits (~MorrowM_@147.161.13.193) (Read error: Connection reset by peer) |
| 2021-06-25 18:31:43 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 244 seconds) |
| 2021-06-25 18:33:12 | → | Morrow joins (~MorrowM_@147.161.13.193) |
| 2021-06-25 18:36:41 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-25 18:36:58 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-25 18:37:07 | × | Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-06-25 18:38:26 | × | doublex quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 244 seconds) |
| 2021-06-25 18:41:32 | × | johnw_ quits (~johnw@2600:1700:cf00:db0:445f:c73e:90ff:5975) (Ping timeout: 244 seconds) |
| 2021-06-25 18:41:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-25 18:41:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Remote host closed the connection) |
| 2021-06-25 18:42:03 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-06-25 18:42:29 | × | altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 268 seconds) |
| 2021-06-25 18:42:34 | × | azeem quits (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-25 18:44:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-25 18:45:16 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-25 18:45:40 | → | azeem joins (~azeem@176.201.3.53) |
| 2021-06-25 18:45:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-25 18:47:24 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-06-25 18:47:41 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-25 18:48:21 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-25 18:49:36 | <maerwald> | Oho https://github.com/tanakh/optparse-declarative |
| 2021-06-25 18:50:13 | Henselierung | is now known as hrnz |
| 2021-06-25 18:50:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-25 18:51:21 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 244 seconds) |
| 2021-06-25 18:52:02 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 18:52:38 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-06-25 18:52:57 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-25 18:53:39 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-25 18:54:16 | <safinaskar> | anybody uses ott lang here? where can i ask ott related questions? is it possible to write in ott not only rules, but also actual proofs? |
| 2021-06-25 18:57:02 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 244 seconds) |
| 2021-06-25 18:57:15 | → | alex3 joins (~alex3@BSN-77-82-41.static.siol.net) |
| 2021-06-25 18:57:21 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-25 18:58:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-25 18:58:56 | × | azeem quits (~azeem@176.201.3.53) (Read error: Connection reset by peer) |
| 2021-06-25 18:59:25 | → | azeem joins (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-25 19:02:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) |
| 2021-06-25 19:03:26 | × | Nahra` quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-25 19:03:45 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 244 seconds) |
| 2021-06-25 19:06:12 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-25 19:08:03 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-06-25 19:09:59 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 19:10:12 | → | hammock joins (~Hammock@2600:1700:19a1:3330::625) |
| 2021-06-25 19:11:43 | → | Guest7511 joins (~Guest75@189.56.59.50) |
| 2021-06-25 19:12:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-06-25 19:15:08 | <maerwald> | Maybe it's time for optparse-applicative to be superseded |
| 2021-06-25 19:16:17 | <dminuoso> | maerwald: DataKinds driven seems a bit extreme. It does work nicely for deriving-aeson, for a parser Im not so sure. |
| 2021-06-25 19:16:35 | <dminuoso> | But then again, I don't have any issues with optparse-applicative - generally Im a happy user. |
| 2021-06-25 19:17:38 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 19:21:07 | → | adinfinitum joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-06-25 19:21:26 | <maerwald> | I'm not, too much code |
| 2021-06-25 19:22:18 | <dminuoso> | It is interesting how optparse-selective gets this far with just 300ish lines of Haskell code. |
| 2021-06-25 19:22:26 | <dminuoso> | heh, optparse-declarative. |
| 2021-06-25 19:22:44 | → | m7zs3gzw joins (~m7zs3gzw@178.155.6.220) |
| 2021-06-25 19:23:06 | × | m7zs3gzw quits (~m7zs3gzw@178.155.6.220) (Remote host closed the connection) |
| 2021-06-25 19:23:41 | <dminuoso> | Or do you mean on the user-facing side? |
| 2021-06-25 19:25:03 | × | Guest7511 quits (~Guest75@189.56.59.50) (Quit: Client closed) |
| 2021-06-25 19:25:22 | <mason0> | dminuoso, I thought you mistyped it again, and meant optparse-applicative. I'll take a look at optparse-declarative |
| 2021-06-25 19:26:17 | <dminuoso> | mason0: Nope, optparse-declarative gets quite a lot of work done in just 300 lines. But to be fair, optparse-applicative is not heavy internally either, it just has a rich feature set with lots of custom hooks. |
| 2021-06-25 19:26:52 | <dminuoso> | maerwald: did you look at optparse-applicative-simple by the way? |
| 2021-06-25 19:27:52 | <maerwald> | user facing |
| 2021-06-25 19:27:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 19:28:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-25 19:35:31 | → | cheater joins (~Username@user/cheater) |
| 2021-06-25 19:35:37 | → | Profpatsch joins (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2021-06-25 19:35:51 | <Profpatsch> | Hi I’m confused |
| 2021-06-25 19:35:54 | <Profpatsch> | > data Foo = Bar | Baz deriving (Read, Show, Typeable) |
| 2021-06-25 19:35:55 | <lambdabot> | <hint>:1:1: error: parse error on input ‘data’ |
| 2021-06-25 19:36:09 | <Profpatsch> | > typeRep :: TypeRep Foo |
| 2021-06-25 19:36:11 | <lambdabot> | error: |
| 2021-06-25 19:36:11 | <lambdabot> | Not in scope: type constructor or class ‘Foo’ |
| 2021-06-25 19:36:12 | <Profpatsch> | <interactive>:18:12: error: |
| 2021-06-25 19:36:14 | <Profpatsch> | • Expected kind ‘* -> *’, but ‘TypeRep’ has kind ‘*’ |
| 2021-06-25 19:36:16 | <Profpatsch> | • In an expression type signature: TypeRep Foo |
| 2021-06-25 19:36:21 | <Profpatsch> | But data TypeRep (a :: k) |
| 2021-06-25 19:36:27 | <Profpatsch> | where does the * -> * come from |
| 2021-06-25 19:36:44 | <dminuoso> | You applied TypeRep to Foo. |
| 2021-06-25 19:36:51 | <Profpatsch> | I just want to print the type name of Foo |
| 2021-06-25 19:37:30 | <Profpatsch> | dminuoso: yes? Isn’t that what (TypeRep a) means? |
| 2021-06-25 19:37:34 | <Profpatsch> | A *? |
| 2021-06-25 19:37:42 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2021-06-25 19:37:58 | <dminuoso> | Profpatsch: There's TypeRep from Data.Typeable and from Type.Reflections |
| 2021-06-25 19:38:09 | <dminuoso> | Those appare to be different and have different kinds |
| 2021-06-25 19:38:11 | <Profpatsch> | :k TypeRep |
| 2021-06-25 19:38:13 | <Profpatsch> | TypeRep :: * |
| 2021-06-25 19:38:14 | <Profpatsch> | okay I am confused |
| 2021-06-25 19:38:26 | <dminuoso> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Type-Reflection.html#t:TypeRep |
| 2021-06-25 19:38:27 | <dminuoso> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Typeable.html#t:TypeRep |
| 2021-06-25 19:38:31 | <Profpatsch> | Ah oof |
| 2021-06-25 19:38:34 | <Profpatsch> | why would you do that GHC |
| 2021-06-25 19:38:37 | <Profpatsch> | why |
| 2021-06-25 19:38:44 | <Profpatsch> | The names of Types and function are bad enough |
| 2021-06-25 19:38:49 | <Profpatsch> | Why would you overload them |
| 2021-06-25 19:39:14 | <geekosaur> | so as not to break existing programs while providing a path to indexed TypeReps |
| 2021-06-25 19:40:18 | <Profpatsch> | okay, I see |
All times are in UTC.