Logs: freenode/#haskell
| 2021-03-18 19:08:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-18 19:09:21 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-18 19:09:39 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Read error: Connection reset by peer) |
| 2021-03-18 19:10:13 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 2021-03-18 19:10:44 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Quit: leaving) |
| 2021-03-18 19:11:01 | → | puke joins (~vroom@217.138.252.170) |
| 2021-03-18 19:11:15 | <gentauro> | tomsmeding: I tried vi, ended turning off my laptop. I couldn't get out :( |
| 2021-03-18 19:11:54 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-03-18 19:13:25 | <tomsmeding> | :p |
| 2021-03-18 19:13:30 | <tomsmeding> | it's a trap |
| 2021-03-18 19:13:57 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-03-18 19:15:25 | <tomsmeding> | ircbrowse had some many useful features https://ircbrowse.tomsmeding.com/export/something https://github.com/tomsmeding/ircbrowse/blob/master/src/Ircbrowse/Controllers.hs#L39-L41 |
| 2021-03-18 19:15:25 | <solidus-river> | gentauro: https://vim-adventures.com/ ?!? great tool |
| 2021-03-18 19:17:45 | <gentauro> | solidus-river: last time I tried `vi` was around 2005. Then I met `emacs` and I have never looked for another Operating System. The only thing missing in `emacs` is a good text editor ;) |
| 2021-03-18 19:19:21 | <maerwald> | the only good argument pro emacs I agree with is that you have always a consistent key mapping across applications |
| 2021-03-18 19:20:48 | <tomsmeding> | a while ago I found myself typing 'gg' in my web browser and very briefly being surprised that the page didn't move |
| 2021-03-18 19:21:09 | <tomsmeding> | I was tired then, I believe |
| 2021-03-18 19:21:14 | <dolio> | There used to be solutions to that. |
| 2021-03-18 19:21:19 | <ephemient> | gentauro: https://github.com/emacs-evil/evil there's your decent editor for emacs :) |
| 2021-03-18 19:21:21 | <maerwald> | vim vixxen etc |
| 2021-03-18 19:21:31 | <dolio> | I think the plugin restrictions ruined it, though. |
| 2021-03-18 19:21:32 | <maerwald> | but you still have to configure separately |
| 2021-03-18 19:21:44 | <tomsmeding> | yeah I know there are browser extensions that give you vim-style bindings |
| 2021-03-18 19:21:45 | <maerwald> | dolio: works fine... but you have to wait for the page to have loaded |
| 2021-03-18 19:21:48 | → | malumore joins (~malumore@151.62.122.146) |
| 2021-03-18 19:22:01 | <maerwald> | kinda weird |
| 2021-03-18 19:22:30 | <dolio> | 'Course, I think restricting plugins was more valuable than vim bindings for browsers. |
| 2021-03-18 19:22:31 | <tomsmeding> | I'm not completely sold on vim keybindings in applications they weren't designed for, but eh |
| 2021-03-18 19:23:39 | <oats> | I love it for web browsing |
| 2021-03-18 19:23:42 | <oats> | qutebrowser++ |
| 2021-03-18 19:23:47 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-18 19:23:57 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-18 19:25:02 | <dolio> | My biggest issue with browsers is text areas not matching text input modes in other stuff. Like ^W killing a browser tab rather than deleting back a word. |
| 2021-03-18 19:26:11 | <oats> | heh yeah |
| 2021-03-18 19:27:26 | <dolio> | Luckily they're pretty good at being able to restore the closed tab. |
| 2021-03-18 19:28:36 | <monochrom> | Now, does ctrl-shift-t restore the word that ctrl-w deleted in a terminal? >:) |
| 2021-03-18 19:29:01 | <dolio> | No, but I never need it to. |
| 2021-03-18 19:29:27 | <monochrom> | I have needed it a few times. |
| 2021-03-18 19:29:44 | × | malumore quits (~malumore@151.62.122.146) (Ping timeout: 240 seconds) |
| 2021-03-18 19:30:17 | <monochrom> | Especially when I got the initial command line by reverse history search, deleted the last two words, then regretted it. |
| 2021-03-18 19:30:38 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-18 19:30:41 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-18 19:30:50 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-18 19:30:51 | <ephemient> | emacs/readline-style bindings: ctrl-y to bring back what ctrl-w put on the kill ring |
| 2021-03-18 19:31:19 | <ephemient> | probably terminal can't do ctrl-shift-t due to no distinction between that and ctrl-t... |
| 2021-03-18 19:31:32 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-18 19:31:40 | <dolio> | Oh yeah. I was going to mention that but I forgot it was ^Y. |
| 2021-03-18 19:31:49 | <dolio> | I was thinking it was ^K for some reason, but that's the opposite. |
| 2021-03-18 19:31:51 | <tomsmeding> | ephemient: ctrl-y only works for the last word; monochrom deleted the last two :p |
| 2021-03-18 19:32:17 | <geekosaur> | ctrl-underscore (= undo) also works here |
| 2021-03-18 19:32:18 | <monochrom> | ooohhh nice, ctrl-y, thanks |
| 2021-03-18 19:32:28 | → | redmp_ joins (~redmp@172.58.27.184) |
| 2021-03-18 19:32:35 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 2021-03-18 19:32:36 | <dolio> | ^Y brings back everything in the kill buffer, which would be all the words probably. |
| 2021-03-18 19:32:37 | <ephemient> | it *should* work even if you ctrl-w'ed multiple words |
| 2021-03-18 19:32:58 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-18 19:32:58 | <dolio> | And having to re-delete some is your punishment that makes you not make mistakes in the future. |
| 2021-03-18 19:33:02 | <monochrom> | Restoring too much is better than restoring nothing. :) |
| 2021-03-18 19:33:03 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 2021-03-18 19:33:28 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-18 19:33:51 | <geekosaur> | and ctrl-y restored the whole thing for me. (zsh) |
| 2021-03-18 19:34:17 | <monochrom> | The thing is these modern unix-style CLI flag-and-option incantations are approaching the complexity of magic spells that you will never remember or synthesize them, you can only recognize them when you see them. |
| 2021-03-18 19:35:26 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-03-18 19:35:46 | × | redmp quits (~redmp@172.58.19.158) (Ping timeout: 265 seconds) |
| 2021-03-18 19:36:53 | × | jess quits (jess@freenode/staff/jess) (Quit: update innit) |
| 2021-03-18 19:37:25 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:8fe8:bb5c:e4b1:b3c4) (Ping timeout: 265 seconds) |
| 2021-03-18 19:37:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-18 19:38:24 | → | j joins (jess@freenode/staff/jess) |
| 2021-03-18 19:38:47 | <monochrom> | bash M-r restores the line to initial state. (Now I'm reading the bash man page for real.) This is nice when I'm mucking with the outcome of history search. |
| 2021-03-18 19:39:50 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:342c:fb5e:4a48:8cb) (Ping timeout: 265 seconds) |
| 2021-03-18 19:39:57 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-03-18 19:39:57 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-03-18 19:39:57 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-03-18 19:41:16 | j | is now known as jess |
| 2021-03-18 19:41:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 19:42:16 | <tomsmeding> | ah I see, my shell indeed restores everything on ctrl-y; my irc client (weechat) has a broken readline reimplementation that restores only 1 word |
| 2021-03-18 19:43:23 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds) |
| 2021-03-18 19:44:02 | <geekosaur> | keep in mind that this is arguable, since it's actually conflating emacs kill-region with bsd tty driver delete-last-word |
| 2021-03-18 19:44:25 | <monochrom> | I think C-_ is the most general-purpose least-surprise undo we can normally default to. |
| 2021-03-18 19:44:28 | <geekosaur> | so it's arguable that there shouldn't be a kill ring involved |
| 2021-03-18 19:46:38 | <dolio> | The only thing that seems arguable is which behavior is more convenient most of the time. |
| 2021-03-18 19:47:07 | → | knupfer joins (~Thunderbi@200116b82c0621002447c2923b633e13.dip.versatel-1u1.de) |
| 2021-03-18 19:47:19 | <dolio> | I would probably lean toward the emacs-like behavior for that. |
| 2021-03-18 19:48:18 | <monochrom> | Clearly, both command lines and the browser tabs need a version control system >:) |
| 2021-03-18 19:48:19 | <dolio> | Perhaps not the full emacs behavior, which would be complicated to implement. |
| 2021-03-18 19:48:51 | <dolio> | But having consecutive ^Ws add to the ^Y paste is nice. |
| 2021-03-18 19:49:26 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:de28:da9b:e021:bab6) |
| 2021-03-18 19:49:38 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-18 19:51:03 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-18 19:54:00 | <bbhoss> | do I have to do something special to export data constructors? I'm exporting a couple of types I'm creating with `newtype` but when I import Lib in Spec.hs it can't find them |
| 2021-03-18 19:54:13 | <koz_> | bbhoss: How are you exporting them now? |
| 2021-03-18 19:54:29 | <monochrom> | module TheExporter(MyType(..)) where |
| 2021-03-18 19:54:43 | <bbhoss> | https://www.irccloud.com/pastebin/UhZQRUjf/ |
| 2021-03-18 19:55:09 | <monochrom> | Yeah you need Ballot(..), Candidate(..) |
| 2021-03-18 19:55:33 | <koz_> | If you export 'Foo', you export the type but not the constructors. |
| 2021-03-18 19:55:36 | <bbhoss> | literally `..`? also, is there a better way to do this? |
| 2021-03-18 19:55:49 | <koz_> | If you export 'Foo(Bar, Baz)', you export the type, and the 'Bar' and 'Baz' constructors. |
| 2021-03-18 19:55:54 | <geekosaur> | literally .. |
| 2021-03-18 19:55:55 | <monochrom> | No better way. Unless you mean longer way. |
| 2021-03-18 19:56:05 | <koz_> | If you export 'Foo(..)', you export the type 'Foo', and all of its constructors. |
All times are in UTC.