Logs: liberachat/#haskell
| 2021-07-30 18:55:48 | <sm> | in GHC 9.0, the GHCI prompt has been fixed |
| 2021-07-30 18:56:07 | <monochrom> | The "play.hs" trick is still very useful. I'm sure you also have a few recurring test cases you don't want to re-enter over and over again. |
| 2021-07-30 18:56:10 | × | mastarija_ quits (~mastarija@31.217.8.174) (Ping timeout: 265 seconds) |
| 2021-07-30 18:56:20 | → | dextaa joins (~DV@aftr-37-201-214-197.unity-media.net) |
| 2021-07-30 18:56:28 | <sm> | otherwise you can put `:set prompt "ghci> "` in ~/.ghci or ./ghci |
| 2021-07-30 18:56:36 | <sm> | ./.ghci |
| 2021-07-30 18:56:46 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-30 18:56:49 | <DigitalKiwi> | :set prompt "П> " |
| 2021-07-30 18:57:02 | <DigitalKiwi> | is in my ~/.ghc/ghci.conf |
| 2021-07-30 18:57:04 | <monochrom> | C:\> |
| 2021-07-30 18:57:25 | <monochrom> | You know what, for really really real retro: |
| 2021-07-30 18:57:27 | <monochrom> | A:\> |
| 2021-07-30 18:57:47 | <monochrom> | We old geezers did not always have money for hard disks! |
| 2021-07-30 18:58:04 | <monochrom> | It was like $1000 for merely 20MB. |
| 2021-07-30 18:58:24 | <DigitalKiwi> | https://gist.github.com/emilypi/cafa2a0dac8c879b2a2916dab71a3f3f :) |
| 2021-07-30 18:58:55 | <aegon> | DigitalKiwi: oooh, i din't know you could default enable extensions for it as well |
| 2021-07-30 18:59:37 | <pavonia> | DigitalKiwi: What does the Pi stand for? |
| 2021-07-30 19:00:13 | → | stenvold joins (~stenvold@2001:a61:25b2:3801:3990:922e:4d56:f95f) |
| 2021-07-30 19:00:29 | <DigitalKiwi> | pillmore |
| 2021-07-30 19:00:33 | <DigitalKiwi> | maybe? |
| 2021-07-30 19:00:36 | <aegon> | monochrom: I had to look up what the A drive is :P thats pretty neat |
| 2021-07-30 19:00:48 | <monochrom> | Dependent typing has a Π quantifier which is an improved ∀ |
| 2021-07-30 19:00:54 | <DigitalKiwi> | but also maybe twice of tau |
| 2021-07-30 19:01:38 | <deejaytee> | monochrom: nice choice :D |
| 2021-07-30 19:01:45 | <monochrom> | :) |
| 2021-07-30 19:01:52 | <DigitalKiwi> | or is it half of tau? fff |
| 2021-07-30 19:02:47 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) |
| 2021-07-30 19:03:06 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-07-30 19:03:14 | <monochrom> | Clearly, π is half of τ, τ is half of Π, Π is half of T |
| 2021-07-30 19:03:17 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-07-30 19:04:04 | <DigitalKiwi> | yes, clearly... |
| 2021-07-30 19:04:43 | monochrom | prefers Emily Rho. Err I mean Emily Riehl |
| 2021-07-30 19:04:46 | <DigitalKiwi> | look i'm here for haskell not this maths stuffs ;p |
| 2021-07-30 19:06:39 | × | mastarija__ quits (~mastarija@31.217.8.174) (Ping timeout: 276 seconds) |
| 2021-07-30 19:06:59 | <int-e> | monochrom: B:\> <--to show off your *second* floppy disk drive |
| 2021-07-30 19:07:27 | <deejaytee> | int-e: ooooh, ahhhh, special |
| 2021-07-30 19:08:59 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
| 2021-07-30 19:13:50 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) (Remote host closed the connection) |
| 2021-07-30 19:14:42 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) |
| 2021-07-30 19:17:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-30 19:18:14 | <Guest4> | Hi all, I'm writing a plugin for haskell language server, and I need some help at the knowledge of GHC API. Does it provide a method to collect all type errors in code? |
| 2021-07-30 19:19:13 | → | Guest71 joins (~Guest71@50.47.115.102) |
| 2021-07-30 19:19:44 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) (Ping timeout: 272 seconds) |
| 2021-07-30 19:20:31 | × | Guest71 quits (~Guest71@50.47.115.102) (Client Quit) |
| 2021-07-30 19:23:41 | weechat-headless | is now known as tolt |
| 2021-07-30 19:24:08 | <deejaytee> | it's probably doable, but I don't think there's a function which will do it in one go |
| 2021-07-30 19:26:48 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) |
| 2021-07-30 19:27:10 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) (Remote host closed the connection) |
| 2021-07-30 19:27:22 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) |
| 2021-07-30 19:27:42 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-30 19:27:49 | <dolio> | In some ways, Π is not improving ∀, depending on how you think parametricity should work. |
| 2021-07-30 19:28:47 | <monochrom> | Ah I had the logic ∀ in mind, not the type ∀. |
| 2021-07-30 19:29:46 | <dolio> | Oh, yeah. For that case ∀ is just Π for a particular universe, basically. |
| 2021-07-30 19:32:04 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2021-07-30 19:34:10 | × | Null_A quits (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) (Remote host closed the connection) |
| 2021-07-30 19:34:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-07-30 19:36:33 | × | burnside_ quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-30 19:37:04 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 19:37:13 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-30 19:37:21 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 19:41:15 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-30 19:41:41 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 19:41:56 | → | Guest14 joins (~Guest14@50.47.115.102) |
| 2021-07-30 19:43:13 | → | nuncanada joins (~dude@179.235.162.215) |
| 2021-07-30 19:43:16 | <Guest14> | Could f-strings (similar to those in Python) be implemented using TemplateHaskell? |
| 2021-07-30 19:43:46 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2021-07-30 19:44:17 | × | nuncanada quits (~dude@179.235.162.215) (Client Quit) |
| 2021-07-30 19:44:29 | <geekosaur> | probably via a quasiquoter |
| 2021-07-30 19:44:47 | <geekosaur> | there already exist some string quasiquoters you could start from |
| 2021-07-30 19:45:36 | <Hecate> | geekosaur: https://hackage.haskell.org/package/PyF |
| 2021-07-30 19:45:43 | <Hecate> | special mention to guibou- |
| 2021-07-30 19:46:02 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-07-30 19:48:00 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-07-30 19:51:07 | × | Guest14 quits (~Guest14@50.47.115.102) (Ping timeout: 246 seconds) |
| 2021-07-30 19:55:40 | × | stenvold quits (~stenvold@2001:a61:25b2:3801:3990:922e:4d56:f95f) (Quit: Client closed) |
| 2021-07-30 19:55:59 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-30 19:56:36 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-30 20:03:21 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-07-30 20:04:35 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-30 20:07:09 | → | falsifian joins (~falsifian@exoco.falsifian.org) |
| 2021-07-30 20:07:18 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-07-30 20:08:17 | <falsifian> | Anyone using ghcjs with nixpkgs? Running ghcjs --make Main on a simple program that imports Data.JSString is giving "Could not find module Data.JSString". |
| 2021-07-30 20:10:31 | <falsifian> | I'm not sure if there's some package that's supposed to provide that. |
| 2021-07-30 20:12:07 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-30 20:12:55 | → | Null_A joins (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) |
| 2021-07-30 20:13:47 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-30 20:15:13 | → | MQ-17J joins (~MQ-17J@69.14.129.206) |
| 2021-07-30 20:16:05 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 20:19:30 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-07-30 20:21:30 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-07-30 20:22:41 | × | Null_A quits (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) (Remote host closed the connection) |
| 2021-07-30 20:23:15 | → | Null_A joins (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) |
| 2021-07-30 20:23:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-30 20:24:01 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-30 20:25:01 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-30 20:25:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-30 20:26:48 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-30 20:32:49 | × | thmprover quits (~user@047-042-215-236.res.spectrum.com) (Quit: [Exit, pursued by bear]) |
| 2021-07-30 20:36:44 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-30 20:37:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.