JuanDaugherty 2017-02-23 19:45:31
PAKCS igess
JuanDaugherty 2017-02-23 19:47:31
('undoubtedly' by virtue of his connection with prolog)
athan 2017-02-23 19:49:18
oh hm, I was hoping the haskell implementation was up to date, but it still seems very cool
athan 2017-02-23 19:49:58
hopefully I'll have more constructive questions soon :) and it appears the freenode #curry channel is a bit unused :\
athan 2017-02-23 19:50:50
thank you for all of your advice JuanDaugherty
JuanDaugherty 2017-02-23 19:50:54
np
halogenandtoast 2017-02-23 19:54:50
athan: By Oz do you mean the programming language?
athan 2017-02-23 19:54:54
Do you use Curry often JuanDaugherty? Sorry if this is annoying :) I'm just interested in how it manages its method to computation
athan 2017-02-23 19:55:03
halogenandtoast: Yep, and the mozart implementation
halogenandtoast 2017-02-23 19:55:09
Oh man I used that in college.
athan 2017-02-23 19:55:21
:O shoot, I need to catch up
halogenandtoast 2017-02-23 19:55:27
I was actually just talking about it today with someone.
athan 2017-02-23 19:55:32
it seems interesting, but I'm too spoiled with Haskell :\
athan 2017-02-23 19:55:44
halogenandtoast: what were you talking about? :)
halogenandtoast 2017-02-23 19:56:03
athan: Emacs
halogenandtoast 2017-02-23 19:56:13
How I was first introduced to emacs through Mozart
athan 2017-02-23 19:56:21
o_o wow!
JuanDaugherty 2017-02-23 19:56:22
athan, no and no I'm not annoyed. It's not a practical general purpose lang in the sense hs is, but it is interesting to me for work in the prolog/hs intersection
halogenandtoast 2017-02-23 19:56:23
Although I'm a vim user now.
athan 2017-02-23 19:56:55
JuanDaugherty: That's how I feel too - the simple idea that `foo (bar x) = x` simply "works" in amazing to me
athan 2017-02-23 19:57:25
in the same light that idris' dependent types are cool
athan 2017-02-23 19:57:32
halogenandtoast: heh, have you tried spacemacs? It's been... a bit bloated, but convenient for me
halogenandtoast 2017-02-23 19:57:53
athan: I did, decided I didn't like it, and took the time to configure my emacs by hand.
halogenandtoast 2017-02-23 19:58:08
Got rid of the bloat
halogenandtoast 2017-02-23 19:59:07
athan: my config if you care: https://gist.github.com/halogenandtoast/e512470e0f77e925b60ad3b4ae92ca36
athan 2017-02-23 20:00:29
halogenandtoast: I still can't appreciate elisp, but thank you :) I'll keep it in my stash
halogenandtoast 2017-02-23 20:01:06
athan: Oh I love lisp, in the same way Haskell's functional purity is a thing of beauty, so is lisps's syntax to me.
halogenandtoast 2017-02-23 20:01:18
All you get is the s-exp
halogenandtoast 2017-02-23 20:01:35
well that and macros, but macros are godly
athan 2017-02-23 20:01:48
halogenandtoast: would you be willing to discuss this with me in #lisp? I am a noob ._.
halogenandtoast 2017-02-23 20:02:48
I have migrated there
halogenandtoast 2017-02-23 20:32:16
I've decided I'd rather be in the haskell channel than the lisp channel :(
halogenandtoast 2017-02-23 20:34:19
At least here I know what I don't know (which is everything).
