Newest at the top
2024-05-29 19:42:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-29 19:42:09 +0200 | Guest|20 | (~Guest|20@104.28.64.12) |
2024-05-29 19:38:43 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-29 19:37:20 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-05-29 19:34:49 +0200 | <joeyadams> | In VS Code with the Haskell extension (Haskell Language Server), instance type signatures appear automatically as code lenses. Bless whoever implemented that as well. |
2024-05-29 19:31:47 +0200 | laker | (~laker78@user/laker78) (Read error: Connection reset by peer) |
2024-05-29 19:31:44 +0200 | michalz | (~michalz@185.246.207.221) |
2024-05-29 19:31:24 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-29 19:31:22 +0200 | <monochrom> | Bless GHC2021, I can now write type sigs in instances :) (Have always wanted that for educational purpose.) |
2024-05-29 19:20:41 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-29 19:18:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-29 19:17:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-05-29 19:14:02 +0200 | <joeyadams> | When using DuplicateRecordFields, is there a syntax to specify a particular record field when updating? Cases like existingRec{name = "Foo"} fail when there are other records with the same field name. (This bug was fixed very recently, but I'm using stack which wants GHC 9.4.8) |
2024-05-29 18:58:45 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-29 18:54:28 +0200 | ekurtz | (~ekurtz@136.62.248.55) |
2024-05-29 18:40:08 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
2024-05-29 18:39:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-29 18:38:32 +0200 | ekurtz | (~ekurtz@136.62.248.55) (Read error: Connection reset by peer) |
2024-05-29 18:33:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-05-29 18:30:20 +0200 | <Franciman> | ncf: does HOAS automatically do call by need? |
2024-05-29 18:29:54 +0200 | <ph88> | any hackage admins here ? |
2024-05-29 18:29:10 +0200 | <Franciman> | hm thanks |
2024-05-29 18:28:29 +0200 | <ncf> | you might want some sort of HOAS thing instead |
2024-05-29 18:27:58 +0200 | <ncf> | note that this isn't a great way to embed the untyped lambda calculus in haskell |
2024-05-29 18:27:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2024-05-29 18:27:46 +0200 | <ncf> | just slap a type signature on every binder. see here for a general procedure https://cstheory.stackexchange.com/a/53681 |
2024-05-29 18:27:44 +0200 | <EvanR> | is this the monomorphism restriction |
2024-05-29 18:27:10 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:728b:dc6e:a428:192b) |
2024-05-29 18:26:20 +0200 | <Franciman> | i can't find the right type |
2024-05-29 18:26:17 +0200 | <Franciman> | ncf: what about this term? (\x y -> (x id) (x id) y) ((\x y -> (x id) (x id)) id) id 42 |
2024-05-29 18:24:44 +0200 | <lxsameer> | glguy: thank you |
2024-05-29 18:24:33 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-29 18:23:53 +0200 | <glguy> | but it can't do that for ones loaded from a package like: >>> :i id; id :: a -> a; -- Defined in ‘ghc-internal-9.1001.0:GHC.Internal.Base’ |
2024-05-29 18:23:33 +0200 | <glguy> | >>> :info parse; parse :: Text -> Either ParseError (Value Position); -- Defined at src/Config.hs:289:1 |
2024-05-29 18:23:27 +0200 | <glguy> | lxsameer: ghci will give you source locations for modules it has loaded from source |
2024-05-29 18:23:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
2024-05-29 18:22:45 +0200 | <lxsameer> | EvanR: it gives me the module name. I'm looking for a source file |
2024-05-29 18:22:44 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-05-29 18:21:39 +0200 | <EvanR> | try :doc funcname |
2024-05-29 18:21:00 +0200 | <lxsameer> | is there any way to get the source location of a certain type or function in ghci? |
2024-05-29 18:20:08 +0200 | <Franciman> | i think that is also exponential lol |
2024-05-29 18:20:04 +0200 | <Franciman> | that leads to optimal evaluation? |
2024-05-29 18:19:58 +0200 | <EvanR> | keyed by the expression |
2024-05-29 18:19:42 +0200 | <EvanR> | never evaluate the same expression twice, cache every answer in IPFS |
2024-05-29 18:18:09 +0200 | <Franciman> | because i overperformed ghc |
2024-05-29 18:18:04 +0200 | <Franciman> | So for teh lulz, i'd like to test the term on ghc and then on my custom fully lazy small interpreter, so i can laugh like an idiot |
2024-05-29 18:17:40 +0200 | <Franciman> | but only linear time using fully lazy sharing |
2024-05-29 18:17:28 +0200 | <Franciman> | i found a term that should take exponential time using haskell's evaluation strategy |
2024-05-29 18:17:26 +0200 | <EvanR> | to see sharing you need something like ghc-viz |
2024-05-29 18:17:10 +0200 | <Franciman> | i need to test fully lazy sharing |