Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 258 259 260 261 262 263 264 265 266 267 268 .. 5022
— 502,152 events total
2020-09-27 21:52:00 ← kelvin parts (uid466767@gateway/web/irccloud.com/x-ymoihyiqzvmzmxqc) ()
2020-09-27 21:52:05 <Guest_94> /Library/Frameworks/Python.framework/Versions/3.5/bin:/Library/Frameworks/Python.framework/Versions/3.4/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin
2020-09-27 21:52:47 <Guest_94> when I try to do '~/.bash_profile' it says "Permission Denied" - I am an admin on my MacBook though?
2020-09-27 21:53:26 <fluturel> it thinks you are trying to execute it
2020-09-27 21:53:41 <maerwald> Guest_94: no, I said you need to add a line to that file
2020-09-27 21:53:55 <normie> did you try to open it in a text editor?
2020-09-27 21:53:57 <maerwald> scroll up and read it
2020-09-27 21:54:21 <normie> just typing in the name of a file will make your shell try and execute it
2020-09-27 21:54:31 → mounty joins (~mounty@mail.nextgenerationvoice.com.au)
2020-09-27 21:55:28 <Guest_94> so what should be in my file called '.bashrc'
2020-09-27 21:55:42 <Guest_94> at the moment it contains '[ -f "/Users/School/.ghcup/env" ] && source "/Users/School/.ghcup/env" # ghcup-env'
2020-09-27 21:55:42 → flukiluke1 joins (~flukiluke@84.39.116.180)
2020-09-27 21:55:48 <ski> `.bash_profile' is a different file from `.bashrc'
2020-09-27 21:55:54 <ski> i think your `.bashrc' is fine
2020-09-27 21:56:00 <maerwald> Guest_94: you didn't read what I said
2020-09-27 21:56:20 <Guest_94> I'm sorry I did its just pretty confusing for me
2020-09-27 21:56:23 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 21:56:38 <ski> <maerwald> Guest_94: what does your ~/.bash_profile say?
2020-09-27 21:56:38 <fluturel> no, write '[[ -f ~/.bashrc ]] && source ~/.bashrc' in your .bash_profile
2020-09-27 21:56:39 <ski> <maerwald> make sure it contains this line: [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-27 21:56:53 <ski> open `.bash_profile' in your text editor
2020-09-27 21:57:20 <ski> if there isn't already a line like `[[ -f ~/.bashrc ]] && source ~/.bashrc' in it, add such a line
2020-09-27 21:57:46 <yushyin> all the work just for they to switch to zsh in the near future and zsh sources ~/.zshrc as a login shell and as a non-login shell anyways
2020-09-27 21:57:53 <ski> (make sure you open `.bash_profile', in your home directory, which presumably is `/Users/School')
2020-09-27 21:58:16 <Guest_94> what's the best way to open that sorry?
2020-09-27 21:58:29 <Guest_94> ok here we go
2020-09-27 21:58:29 <fluturel> Guest_94: any text editor, doesn't matter
2020-09-27 21:58:42 <Guest_94> it contains this "# Setting PATH for Python 3.4# The orginal version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.4/bin:${PATH}"export PATH# Setting PATH for Python 3.5# The original version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.5/bin:${PATH}"export PATH"
2020-09-27 21:58:55 <fluturel> ok, add that line then
2020-09-27 21:58:57 <fluturel> [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-27 21:59:09 <Guest_94> Should I delete that stuff above or leave it?
2020-09-27 21:59:12 <ski> leave it
2020-09-27 21:59:13 <fluturel> leave it
2020-09-27 21:59:27 <Guest_94> ok I've added '[[ -f ~/.bashrc ]] && source ~/.bashrc'
2020-09-27 21:59:37 <ski> then save the file
2020-09-27 21:59:38 <fluturel> save the file, restart shell
2020-09-27 21:59:50 <Guest_94> Oh nice that's worked
2020-09-27 21:59:54 <Guest_94> Haskell seems to be working now
2020-09-27 21:59:59 <normie> yaaaaaay
2020-09-27 22:00:02 <ski> `ghci --version' works, now ?
2020-09-27 22:00:25 <koz_> :t asum
2020-09-27 22:00:27 <lambdabot> (Foldable t, Alternative f) => t (f a) -> f a
2020-09-27 22:00:31 <Guest_94> oh shit ahah
2020-09-27 22:00:38 → cosimone_ joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 22:00:42 <Guest_94> 'ghci --version' returns '<interactive>:1:1: error: Variable not in scope: ghci'
2020-09-27 22:00:48 <ski> hah
2020-09-27 22:00:55 <ski> yea, you're in GHCi, now
2020-09-27 22:00:56 <fluturel> you are already in the ghci :)
2020-09-27 22:01:11 <fluturel> press CMD + D to get out
2020-09-27 22:01:14 <ski> or `:q'
2020-09-27 22:01:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 22:01:25 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 22:01:32 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 244 seconds)
2020-09-27 22:01:42 ski hopes that doesn't get turned into some horrible emoji, in Guest_94's IRC client
2020-09-27 22:01:52 <Guest_94> ok ':q: worked
2020-09-27 22:02:07 <Guest_94> perfect it all seems to work now
2020-09-27 22:02:07 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-27 22:02:07 <Guest_94> The Glorious Glasgow Haskell Compilation System, version 8.8.4
2020-09-27 22:02:15 <Guest_94> I am going to have fun working out what all of this means ahaha
2020-09-27 22:02:26 <Guest_94> Thank you so much though I really appreciate it thanks for your time
2020-09-27 22:02:38 × sigmaTau quits (~eat@66.115.146.13) (Ping timeout: 260 seconds)
2020-09-27 22:02:54 <fluturel> you are welcome, go have fun with haskell!
2020-09-27 22:02:55 → kelvin joins (uid466767@gateway/web/irccloud.com/x-ymoihyiqzvmzmxqc)
2020-09-27 22:02:58 <ski> Guest_94 : if you have a file with some Haskell code, like e.g. `test.hs', you can start the interactor like `ghci test.hs' to get it to (try to) load the file directly
2020-09-27 22:03:13 <ski> or you can use `:l test.hs', if you're already inside the interactor
2020-09-27 22:03:53 <ski> if you've loaded the file, but then you've made some changes to it (in your editor), and saved the file, you can then reload the file in the interactor, just by doing `:r'
2020-09-27 22:04:14 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-09-27 22:04:18 <ski> (btw, `:q' is short for `:quit', `:l' for `:load', and `:r' for `:reload')
2020-09-27 22:04:35 → jedws joins (~jedws@121.209.139.222)
2020-09-27 22:04:45 <Guest_94> Perfect mate thank you
2020-09-27 22:04:59 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds)
2020-09-27 22:05:05 <Guest_94> The guy teaching me Haskell was actually part of the team that invented it
2020-09-27 22:05:26 <ski> Hughes ?
2020-09-27 22:06:09 <normie> Jones?
2020-09-27 22:06:30 <normie> Hudak?
2020-09-27 22:06:31 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-27 22:06:33 <Guest_94> He's called Phillip Wadler
2020-09-27 22:06:46 <normie> mr monad himself
2020-09-27 22:06:58 <ski> ah :)
2020-09-27 22:07:13 <fluturel> very nice
2020-09-27 22:07:15 <Guest_94> What does that mean ahah
2020-09-27 22:07:19 <fluturel> wish i had your luck
2020-09-27 22:07:31 <ski> Wadler often has funny research paper titles :)
2020-09-27 22:07:54 <normie> we have him to thank for the IO monad
2020-09-27 22:08:00 <normie> absolute chad
2020-09-27 22:08:05 × mounty quits (~mounty@mail.nextgenerationvoice.com.au) (Remote host closed the connection)
2020-09-27 22:09:00 <ski> e.g. "How to add laziness to a strict language, without even being odd" by Philip Wadler,Walid Taha,David MacQueen in 1998-09 at <https://homepages.inf.ed.ac.uk/wadler/topics/language-design.html#lazyinstrict>
2020-09-27 22:09:40 <normie> I love "Theorems for Free!"
2020-09-27 22:09:54 <koz_> I think we also have him (at least partially) to thank for type classes?
2020-09-27 22:10:14 <ski> ("Linear types can change the world!" and "Once upon a type", at <https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html>, are two others)
2020-09-27 22:10:33 <ski> hm, i think Jones was involved in that ? possibly also Wadler ?
2020-09-27 22:10:56 → urdh joins (~urdh@unaffiliated/urdh)
2020-09-27 22:11:00 ski . o O ( <https://homepages.inf.ed.ac.uk/wadler/topics/type-classes.html> )
2020-09-27 22:11:36 × chaosmasttter quits (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-27 22:12:10 <normie> is Lennart Augustsson on this server by any chance
2020-09-27 22:12:50 <dolio> Haven't seen him in a while.
2020-09-27 22:12:52 <ski> he has been, in the past
2020-09-27 22:13:23 <ski> (also Marlow)
2020-09-27 22:13:37 <Guest_94> Anyway thanks for your help guys
2020-09-27 22:13:44 <ski> np, Guest_94
←Prev  Next→
Page 1 .. 258 259 260 261 262 263 264 265 266 267 268 .. 5022

All times are in UTC.