Logs: freenode/#haskell
| 2020-11-08 10:32:00 | × | sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:764e:ee26:f610:acc0) (Quit: WeeChat 2.9) |
| 2020-11-08 10:33:49 | → | sw1nn joins (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 2020-11-08 10:34:43 | × | AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 2020-11-08 10:35:05 | → | AceNovo joins (~chris@184.101.220.149) |
| 2020-11-08 10:37:03 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-08 10:46:46 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-11-08 10:46:47 | <siraben> | bqv: you're looking for a lens library that uses the store comonad encoding? |
| 2020-11-08 10:48:13 | <bqv> | I'm looking for a way to create a lens over a `Store b a` |
| 2020-11-08 10:48:38 | <bqv> | I realise the problem is that comonads aren't, by default, writable |
| 2020-11-08 10:48:46 | <bqv> | Hm |
| 2020-11-08 10:50:19 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2020-11-08 10:51:00 | hackage | yesod-core 1.6.18.6 - Creation of type-safe, RESTful web applications. https://hackage.haskell.org/package/yesod-core-1.6.18.6 (MichaelSnoyman) |
| 2020-11-08 10:52:46 | <siraben> | bqv: https://www.schoolofhaskell.com/user/tel/lenses-from-scratch ? |
| 2020-11-08 10:53:30 | hackage | yesod-eventsource 1.6.0.1 - Server-sent events support for Yesod apps. https://hackage.haskell.org/package/yesod-eventsource-1.6.0.1 (MichaelSnoyman) |
| 2020-11-08 10:54:35 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 258 seconds) |
| 2020-11-08 10:54:52 | × | scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 246 seconds) |
| 2020-11-08 10:55:50 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 10:56:24 | <bqv> | siraben: I don't quite follow |
| 2020-11-08 10:56:51 | <siraben> | quaestor: what do you mean by comonads aren't writable? |
| 2020-11-08 10:57:01 | <siraben> | They are exactly the categorical dual of monads |
| 2020-11-08 10:57:04 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-11-08 10:58:09 | <bqv> | Would fmap on a Store change every value or just one |
| 2020-11-08 10:58:33 | <bqv> | I meant no way of changing just one value |
| 2020-11-08 10:59:32 | <siraben> | bqv: store comonad does not, IIRC. You probably want to look at the van Laarhoven encoding of Lenses |
| 2020-11-08 10:59:40 | <siraben> | That gives you the full Lens s t a b |
| 2020-11-08 10:59:48 | <siraben> | `type Lens s t a b = Functor f => (a -> f b) -> (s -> f t)` |
| 2020-11-08 11:00:15 | <bqv> | Ok |
| 2020-11-08 11:00:53 | <siraben> | bqv: oh, I have a notes on different ways to implement lenses, see https://github.com/siraben/fp-notes/tree/master/lens |
| 2020-11-08 11:01:54 | <siraben> | some notes* |
| 2020-11-08 11:02:55 | <bqv> | Awesome |
| 2020-11-08 11:03:53 | × | mmohammadi9812 quits (~mmohammad@5.115.198.108) (Ping timeout: 256 seconds) |
| 2020-11-08 11:04:17 | → | mmohammadi9812 joins (~mmohammad@5.115.208.247) |
| 2020-11-08 11:04:34 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) |
| 2020-11-08 11:09:12 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-08 11:11:39 | → | da39a3ee5e6b4b0d joins (~textual@cm-171-98-71-90.revip7.asianet.co.th) |
| 2020-11-08 11:13:46 | → | mi23523523 joins (~Mi1029384@82.131.36.218.cable.starman.ee) |
| 2020-11-08 11:14:14 | <mi23523523> | Hello. Can someone give example of grading decimals ? |
| 2020-11-08 11:14:38 | <mi23523523> | This: (2567.54257)^(257.525472457) kind of thing seems not to work |
| 2020-11-08 11:15:09 | × | LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-11-08 11:15:30 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-08 11:15:34 | × | mmohammadi9812 quits (~mmohammad@5.115.208.247) (Ping timeout: 256 seconds) |
| 2020-11-08 11:15:40 | <xerox_> | :t (^) |
| 2020-11-08 11:15:42 | <lambdabot> | (Integral b, Num a) => a -> b -> a |
| 2020-11-08 11:15:44 | <xerox_> | :t (**) |
| 2020-11-08 11:15:45 | <lambdabot> | Floating a => a -> a -> a |
| 2020-11-08 11:16:50 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 2020-11-08 11:17:02 | <ClaudiusMaximus> | :t (^^) |
| 2020-11-08 11:17:04 | <lambdabot> | (Fractional a, Integral b) => a -> b -> a |
| 2020-11-08 11:18:26 | <ClaudiusMaximus> | > (2567.54257)**(257.525472457) |
| 2020-11-08 11:18:28 | <lambdabot> | Infinity |
| 2020-11-08 11:18:39 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-11-08 11:18:46 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 11:19:23 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Read error: Connection reset by peer) |
| 2020-11-08 11:19:25 | <mi23523523> | thank you |
| 2020-11-08 11:19:45 | → | Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 2020-11-08 11:19:49 | <mi23523523> | but it seems that with decimals the grading doesn't work so well |
| 2020-11-08 11:20:37 | × | sw1nn quits (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2020-11-08 11:21:01 | <mi23523523> | Kaiepi, who are you ? |
| 2020-11-08 11:21:06 | <mi23523523> | Are you from Tartu ? |
| 2020-11-08 11:21:35 | → | otulp joins (~otulp@ti0187q162-7043.bb.online.no) |
| 2020-11-08 11:21:36 | <Kaiepi> | no? |
| 2020-11-08 11:21:44 | <Kaiepi> | i've been a lurker for a while |
| 2020-11-08 11:21:45 | <mi23523523> | alright |
| 2020-11-08 11:22:00 | <mi23523523> | I know a Kaie from Tartu |
| 2020-11-08 11:22:02 | → | sw1nn joins (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 2020-11-08 11:27:10 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 2020-11-08 11:27:25 | × | aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 246 seconds) |
| 2020-11-08 11:28:33 | × | mi23523523 quits (~Mi1029384@82.131.36.218.cable.starman.ee) (Remote host closed the connection) |
| 2020-11-08 11:31:16 | <siraben> | What's a grading decimal? |
| 2020-11-08 11:31:56 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 11:32:59 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-08 11:35:53 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 11:36:23 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 11:37:53 | → | alp joins (~alp@2a01:e0a:58b:4920:cc91:4498:5c:7f27) |
| 2020-11-08 11:39:22 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 11:39:48 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 11:41:42 | × | da39a3ee5e6b4b0d quits (~textual@cm-171-98-71-90.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 2020-11-08 11:41:43 | × | bitmagie quits (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-08 11:43:03 | → | gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 11:43:24 | <gtk> | class Convertible a b | a -> b where... I don't understand why a -> b is necessary |
| 2020-11-08 11:43:52 | <gtk> | because in the instance definition, we are clear what b is |
| 2020-11-08 11:44:20 | → | jedws joins (~jedws@101.184.150.81) |
| 2020-11-08 11:44:27 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 11:46:03 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (Quit: <>) |
| 2020-11-08 11:47:59 | <fendor> | gtk, to guide type inference. It basically says, if you know a, you know b, and iirc, it means that there should only be one instance per a. |
| 2020-11-08 11:49:30 | <gtk> | only one instance per a! |
| 2020-11-08 11:49:42 | <gtk> | why the doc don't mention this |
| 2020-11-08 11:49:45 | <gtk> | this is the key! |
| 2020-11-08 11:50:02 | <gtk> | thx fendor |
| 2020-11-08 11:50:23 | <fendor> | gtk, the relevant docs are functional dependencies |
| 2020-11-08 11:50:42 | <fendor> | https://wiki.haskell.org/Functional_dependencies |
| 2020-11-08 11:50:50 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 2020-11-08 11:50:54 | <fendor> | *are from |
| 2020-11-08 11:50:55 | <gtk> | i know. I just think that the dependencies are obvious during instance definition |
| 2020-11-08 11:51:05 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-08 11:51:43 | <fendor> | unfortunately, not. Take for instance the array typeclass. It has two parameters, the index type and the value type. They have no dependency, though |
| 2020-11-08 11:51:57 | <fendor> | would be sad if you could only have one index type per value type or vice versa |
| 2020-11-08 11:52:21 | <gtk> | good point |
| 2020-11-08 11:53:04 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-08 11:55:02 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
All times are in UTC.