Logs: freenode/#haskell
| 2021-04-30 18:07:10 | → | mniip joins (mniip@freenode/staff/mniip) |
| 2021-04-30 18:07:10 | → | yahb joins (~yahb@haskell/bot/yahb) |
| 2021-04-30 18:07:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-30 18:07:10 | → | random joins (~random@46.254.129.126) |
| 2021-04-30 18:07:10 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-04-30 18:07:10 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-30 18:07:10 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-04-30 18:07:10 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-04-30 18:07:10 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-04-30 18:07:10 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-30 18:07:10 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-30 18:07:10 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 2021-04-30 18:07:10 | → | hololeap joins (hololeap@gateway/vpn/protonvpn/hololeap) |
| 2021-04-30 18:07:10 | → | tanuki_ joins (~quassel@173.168.178.1) |
| 2021-04-30 18:07:10 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-30 18:07:10 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-04-30 18:07:10 | → | lemald joins (~eddie@capybara.lemald.org) |
| 2021-04-30 18:07:10 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 2021-04-30 18:07:10 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2021-04-30 18:07:10 | → | _xor joins (~xor@74.215.46.133) |
| 2021-04-30 18:07:10 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2021-04-30 18:07:10 | → | sudden joins (~lax@unaffiliated/laxask) |
| 2021-04-30 18:07:10 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-04-30 18:07:10 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-04-30 18:07:15 | × | thunderrd quits (~thunderrd@183.182.115.196) (Ping timeout: 265 seconds) |
| 2021-04-30 18:07:27 | <maerwald> | jlv: remove cabal.project |
| 2021-04-30 18:07:37 | × | sagax quits (~sagax_nb@213.138.71.146) (Max SendQ exceeded) |
| 2021-04-30 18:07:37 | × | tanuki_ quits (~quassel@173.168.178.1) (Max SendQ exceeded) |
| 2021-04-30 18:07:38 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Max SendQ exceeded) |
| 2021-04-30 18:07:55 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-30 18:08:10 | <sclv> | v1 build works for this |
| 2021-04-30 18:08:42 | <sclv> | or use a patched ~/.cabal/config |
| 2021-04-30 18:08:50 | Guest36338 | is now known as dsal |
| 2021-04-30 18:08:54 | → | tanuki joins (~quassel@173.168.178.1) |
| 2021-04-30 18:08:54 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-30 18:09:04 | <jlv> | maerwald: that would still leave the default hackage.haskell.org repository. |
| 2021-04-30 18:09:09 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) (Quit: Connection closed for inactivity) |
| 2021-04-30 18:09:36 | <dsal> | Does anyone know how to get aeson to parse consecutive objects? e.g., "[1][2]" as [[1], [2]] ? I can get the first one, but then it's done. |
| 2021-04-30 18:09:58 | <sclv> | jlv oh new active repositories stuff! |
| 2021-04-30 18:09:58 | <sclv> | https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=offline#cfg-field-active-repositories |
| 2021-04-30 18:10:26 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-30 18:11:00 | <pavonia> | tomsmeding: ChanServ says "Registered : Apr 30 22:22:56 2001 (20y 0w 4d ago)" |
| 2021-04-30 18:11:01 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-04-30 18:11:25 | <tomsmeding> | :D |
| 2021-04-30 18:11:55 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-30 18:11:55 | <tomsmeding> | interesting day count, ChanServ thinks that a year is always 365 days? |
| 2021-04-30 18:12:27 | → | argento joins (~argent0@168.227.97.29) |
| 2021-04-30 18:12:30 | <jlv> | sclv: that looks like exactly what I want! My Cabal is a little old, so I'll have to update before I can test. |
| 2021-04-30 18:12:52 | <sclv> | yeah, didn't realize that this feature was finally in, in a non hack way |
| 2021-04-30 18:13:00 | <sclv> | looking forward to using it for $WORK myself |
| 2021-04-30 18:14:40 | <Cale> | dsal: Wait, how do you get the first one? |
| 2021-04-30 18:15:14 | <sclv> | i think its incremental... |
| 2021-04-30 18:15:32 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-30 18:15:33 | <dsal> | Cale: I get the first one with `decodeWith json fromJSON "[1][2]" :: Maybe [Int]` -- but I can't seem to convince it to keep going. |
| 2021-04-30 18:16:09 | <dsal> | e.g., `(some json)` is a type error. I'm trying to find the magic path to running the parser on some input and then like, doing it again. |
| 2021-04-30 18:16:33 | <seven_three> | what do the `@` signs in this instance declaration mean? http://dpaste.com/D8PNLNSSD |
| 2021-04-30 18:17:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 18:17:52 | <Cale> | seven_three: Those are type applications, typeOf @a means "use the instance of typeOf for a" |
| 2021-04-30 18:17:56 | → | Ekho joins (~Ekho@unaffiliated/ekho) |
| 2021-04-30 18:18:03 | <Cale> | Otherwise it would be ambiguous |
| 2021-04-30 18:18:15 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-30 18:18:26 | <Cale> | dsal: Yeah, the problem is that it doesn't seem like any of aeson's stuff lets you get the remainder of the string on success |
| 2021-04-30 18:18:42 | <Cale> | I'm a little surprised you can get a successful parse with trailing characters even |
| 2021-04-30 18:18:45 | <dsal> | OK. That's at least consistent with what I was seeing. |
| 2021-04-30 18:18:48 | → | jalumar joins (uid392211@gateway/web/irccloud.com/x-ofkpfpmpkgpnecis) |
| 2021-04-30 18:18:52 | <seven_three> | Cale: Ok I see |
| 2021-04-30 18:19:09 | <dsal> | The default implementation of decode uses `jsonEOF` so it requires the EOF. That construct at least got me to stop at the end of a valid object. |
| 2021-04-30 18:19:18 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-30 18:19:30 | <dsal> | It looks like my input has one thing per line, so I guess I've got that going for me. |
| 2021-04-30 18:19:57 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-30 18:20:19 | → | thunderrd joins (~thunderrd@183.182.110.252) |
| 2021-04-30 18:20:58 | <Cale> | seven_three: Are you familiar with forall in types? |
| 2021-04-30 18:22:52 | <Cale> | seven_three: You can think of "forall a." in a type as being somewhat like a function arrow, saying that in order to use this thing, the type 'a' must be provided as an argument. Usually that argument is supplied implicitly, filled in by the compiler and type inference. |
| 2021-04-30 18:22:59 | <seven_three> | Cale: I am familiar with it being implicit but I do not understand its significance |
| 2021-04-30 18:23:08 | <Cale> | Type applications let you do that explicitly |
| 2021-04-30 18:23:18 | <Cale> | ah, okay |
| 2021-04-30 18:23:26 | <shapr> | tomsmeding: yes it is! I got distracted by life things |
| 2021-04-30 18:23:34 | <shapr> | happy birthday #haskell ! twenty years old today! |
| 2021-04-30 18:23:54 | <tomsmeding> | 🎉 |
| 2021-04-30 18:23:58 | <Cale> | Oh wow |
| 2021-04-30 18:24:40 | <tomsmeding> | who brings the cake |
| 2021-04-30 18:24:45 | <seven_three> | Cale: Oh so the issue goes back to the the `TypeOf a` class because `typeOf :: String` does not use the a |
| 2021-04-30 18:25:41 | <Cale> | Yeah, and the full type of typeOf (as seen from outside the class specification) would end up being forall a. TypeOf a => String |
| 2021-04-30 18:26:13 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 2021-04-30 18:26:31 | <Cale> | and yeah, since the 'a' doesn't otherwise occur in the type there, if you didn't provide it explicitly, there'd be no way to infer what it was meant to be |
| 2021-04-30 18:26:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-30 18:26:46 | <shapr> | my plan was to reboot IOHCC today, but I need at least one more judge, probably three more |
| 2021-04-30 18:26:55 | <shapr> | Cale: want to be a judge for IOHCC entries? |
| 2021-04-30 18:26:57 | <Cale> | So this class specification basically forces the use of type applications to be usable at all |
| 2021-04-30 18:27:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-30 18:27:27 | <Cale> | That might be fun, what do I have to do? |
| 2021-04-30 18:27:29 | <seven_three> | Cale: How does saying `typeOf @a` allow ghc to infer the type? |
| 2021-04-30 18:27:48 | <shapr> | Cale: you have to score submissions by wtf count, and the highest count wins. |
| 2021-04-30 18:27:52 | <Cale> | haha |
| 2021-04-30 18:27:55 | <Cale> | sure |
| 2021-04-30 18:28:16 | → | orion joins (~orion@c-76-19-236-20.hsd1.ct.comcast.net) |
| 2021-04-30 18:28:16 | × | orion quits (~orion@c-76-19-236-20.hsd1.ct.comcast.net) (Changing host) |
| 2021-04-30 18:28:16 | → | orion joins (~orion@unaffiliated/orion) |
| 2021-04-30 18:28:16 | <shapr> | ok, now I need one more |
| 2021-04-30 18:28:25 | <shapr> | ski: do you want to be an IOHCC judge? |
All times are in UTC.