Logs: liberachat/#haskell
| 2021-05-26 12:27:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 2021-05-26 12:29:56 | × | Raito_Bezarius quits (~Raito@user/raito-bezarius/x-8759638) (Quit: free()) |
| 2021-05-26 12:30:16 | → | pera joins (~pera@user/pera) |
| 2021-05-26 12:30:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 12:30:24 | → | Raito_Bezarius joins (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-26 12:31:05 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 2021-05-26 12:31:07 | × | Raito_Bezarius quits (~Raito@user/raito-bezarius/x-8759638) (Remote host closed the connection) |
| 2021-05-26 12:31:28 | cross | is now known as Guest9519 |
| 2021-05-26 12:31:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-05-26 12:32:03 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-26 12:32:17 | → | Raito_Bezarius joins (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-26 12:35:38 | × | haskman quits (~haskman@171.61.174.98) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-26 12:39:00 | → | sayola joins (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) |
| 2021-05-26 12:39:59 | lbseale__ | is now known as lbseale |
| 2021-05-26 12:40:18 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:d1f8:2f2f:4629:dfc9) |
| 2021-05-26 12:41:59 | <lbseale> | is there a way to know the type signature of variables in functions without HLS? Like does GHCI have a feature to do this? |
| 2021-05-26 12:43:15 | <lbseale> | I say "variables", I mean anything inside a function definition |
| 2021-05-26 12:43:18 | <hpc> | :t let foo = _ 5 in foo |
| 2021-05-26 12:43:21 | <lambdabot> | error: |
| 2021-05-26 12:43:21 | <lambdabot> | • Found hole: _ :: Integer -> t1 |
| 2021-05-26 12:43:21 | <lambdabot> | Where: ‘t1’ is a rigid type variable bound by |
| 2021-05-26 12:43:22 | × | guest0123 quits (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) (Ping timeout: 264 seconds) |
| 2021-05-26 12:43:48 | <arahael> | What's "HLS"? |
| 2021-05-26 12:43:59 | <hpc> | you can use holes |
| 2021-05-26 12:44:03 | <hpc> | arahael: haskell language server |
| 2021-05-26 12:44:03 | <Scraeling> | Language server probably |
| 2021-05-26 12:44:05 | <lbseale> | Haskell Language Server |
| 2021-05-26 12:44:07 | da39a3ee5e6b4b0d | is now known as enc |
| 2021-05-26 12:44:07 | <arahael> | Ah, nice. |
| 2021-05-26 12:44:14 | enc | is now known as enchoi |
| 2021-05-26 12:44:24 | <arahael> | In other languages, I just substitute "Int" as my hole, and watch for the compiler to complain of a type mismatch. |
| 2021-05-26 12:44:44 | <arahael> | lbseale: I often setup ghcid. It's awesome. |
| 2021-05-26 12:45:11 | <lbseale> | hpc: so you just replace something with a _ and then look at the error? |
| 2021-05-26 12:45:42 | → | bfrk joins (~Thunderbi@200116b8453bc10024c96ca01cd76d14.dip.versatel-1u1.de) |
| 2021-05-26 12:46:08 | <hpc> | yep |
| 2021-05-26 12:46:29 | <arahael> | lbseale: It gives plenty of helpful suggestions as well, sometimes even suggesting what it should be. |
| 2021-05-26 12:46:41 | <hpc> | it's great for when you're writing fresh code |
| 2021-05-26 12:46:46 | <lbseale> | I ask because I'm writing Haskell at work, and I'm not sure the sysadmin would let me install HLS |
| 2021-05-26 12:46:55 | <boxscape> | lbseale it tells you also which variables are in scope and the type of them |
| 2021-05-26 12:47:23 | <lbseale> | arahael: boxscape thanks, I'll look into this |
| 2021-05-26 12:47:44 | <boxscape> | (and hpc :P) |
| 2021-05-26 12:48:04 | <lbseale> | yes thanks to hpc |
| 2021-05-26 12:48:15 | → | ddellacosta joins (~ddellacos@89.46.62.21) |
| 2021-05-26 12:48:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-3-253.w83-200.abo.wanadoo.fr) |
| 2021-05-26 12:48:54 | × | zot quits (sid449795@id-449795.stonehaven.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:49:04 | <zebrag> | __monty__: hi |
| 2021-05-26 12:49:17 | × | joel135 quits (sid136450@id-136450.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:49:30 | × | obviyus quits (sid415299@user/obviyus) (Ping timeout: 264 seconds) |
| 2021-05-26 12:50:06 | → | jumi99 joins (~jumi99@2a02:a210:2205:5380:bc92:a49a:5132:5952) |
| 2021-05-26 12:50:41 | × | jumi99 quits (~jumi99@2a02:a210:2205:5380:bc92:a49a:5132:5952) (Remote host closed the connection) |
| 2021-05-26 12:50:49 | <zebrag> | Is there already a matrix bridge? |
| 2021-05-26 12:51:11 | × | radw quits (~radw@user/radw) (Ping timeout: 244 seconds) |
| 2021-05-26 12:51:29 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 252 seconds) |
| 2021-05-26 12:51:46 | × | NemesisD quits (sid24071@id-24071.tooting.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:51:48 | <boxscape> | zebrag no, but https://www.reddit.com/r/haskell/comments/nl74hc/freenode_has_unilaterally_taken_over_haskell/gzhf0ye/ |
| 2021-05-26 12:51:54 | × | Carter quits (sid14827@id-14827.brockwell.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:52:02 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 252 seconds) |
| 2021-05-26 12:52:02 | × | acertain quits (sid470584@id-470584.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:52:16 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Quit: going to libre.chat) |
| 2021-05-26 12:52:22 | × | rizary_andika_ quits (sid220347@id-220347.tooting.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:52:30 | × | rusua quits (uid124537@id-124537.highgate.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:52:30 | × | sclv quits (sid39734@id-39734.tooting.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:52:30 | × | conjunctive quits (sid433686@id-433686.brockwell.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:52:35 | × | iphy quits (sid67735@id-67735.tooting.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:52:35 | × | ehamberg quits (sid18208@id-18208.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:52:47 | → | hughjfchen joins (~hughjfche@120.229.94.127) |
| 2021-05-26 12:52:48 | → | zot joins (sid449795@stonehaven.irccloud.com) |
| 2021-05-26 12:52:56 | → | obviyus joins (sid415299@user/obviyus) |
| 2021-05-26 12:52:57 | → | a6a45081-2b83 joins (~aditya@106.214.73.78) |
| 2021-05-26 12:52:58 | × | grfn quits (sid449115@id-449115.brockwell.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:53:08 | × | jonrh quits (sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:53:08 | × | parseval quits (sid239098@id-239098.brockwell.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:53:22 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-26 12:53:27 | → | joel135 joins (sid136450@stonehaven.irccloud.com) |
| 2021-05-26 12:53:34 | × | JSharp quits (sid4580@id-4580.tooting.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:53:34 | × | Morrow quits (~Morrow@147.161.12.124) (Read error: Connection reset by peer) |
| 2021-05-26 12:53:34 | × | bec quits (~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2021-05-26 12:53:41 | × | ddellacosta quits (~ddellacos@89.46.62.21) (Ping timeout: 252 seconds) |
| 2021-05-26 12:53:41 | × | dmj` quits (sid72307@id-72307.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:53:41 | × | hydroxonium quits (uid500654@id-500654.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-26 12:53:50 | → | Morrow joins (~Morrow@37.142.145.18) |
| 2021-05-26 12:54:53 | <yushyin> | zebrag: afaik they are working on it. join #matrix if you want news updates |
| 2021-05-26 12:55:06 | <zebrag> | What about making a bridge with a bot to the existing https://app.element.io/#/room/#haskell:matrix.org |
| 2021-05-26 12:55:07 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 2021-05-26 12:55:15 | <zebrag> | So as to merge the two channels? |
| 2021-05-26 12:55:18 | × | Guest31 quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-26 12:55:22 | <zebrag> | maybe it's just not possible |
| 2021-05-26 12:55:25 | → | SteelZeal joins (~SteelZeal@user/steelzeal) |
| 2021-05-26 12:55:54 | → | rizary_andika_ joins (sid220347@tooting.irccloud.com) |
| 2021-05-26 12:56:16 | → | rusua joins (uid124537@highgate.irccloud.com) |
| 2021-05-26 12:56:42 | × | Adeon quits (sid418992@id-418992.tooting.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-26 12:56:44 | → | ehamberg joins (sid18208@stonehaven.irccloud.com) |
| 2021-05-26 12:56:47 | × | Guest77 quits (~textual@bras-base-vldvpq5901w-grc-07-184-144-245-69.dsl.bell.ca) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-26 12:56:50 | → | Carter joins (sid14827@brockwell.irccloud.com) |
| 2021-05-26 12:56:50 | → | sclv joins (sid39734@tooting.irccloud.com) |
| 2021-05-26 12:56:51 | → | conjunctive joins (sid433686@brockwell.irccloud.com) |
| 2021-05-26 12:57:04 | × | hughjfchen quits (~hughjfche@120.229.94.127) (Read error: Connection reset by peer) |
| 2021-05-26 12:57:12 | → | iphy joins (sid67735@tooting.irccloud.com) |
| 2021-05-26 12:57:18 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 2021-05-26 12:57:18 | × | alanz quits (sid110616@id-110616.highgate.irccloud.com) (Ping timeout: 264 seconds) |
All times are in UTC.