howdie 2017-03-01 22:47:08
Hey everyone! I have a question: how do I declare a variable in brainfuck?
howdie 2017-03-01 22:47:35
I'm too lazy to read the docs, y'know
lassulus 2017-03-01 22:47:57
seems like the wrong channel to ask imho
howdie 2017-03-01 22:47:58
haskell and brainfuck are both essentially low-level languages, so...
howdie 2017-03-01 22:48:04
lassulus: you think?
howdie 2017-03-01 22:48:25
lassulus: would the python channel work?
lassulus 2017-03-01 22:49:48
¯\_(ツ)_/¯
sjakobi 2017-03-01 23:14:05
Does anyone know what's up with hvr? He hasn't been active on GitHub for several weeks now. Is he on vacation or something?
quchen 2017-03-01 23:15:12
hvr: What's up? :-)
kakashiAL 2017-03-01 23:15:24
I am programming with javascript and for some time I spend time with haskell
kakashiAL 2017-03-01 23:15:26
I learned a lot of great concepts that makes my code easy to read and reason about
kakashiAL 2017-03-01 23:15:28
I also learned a lot of concepts like identity functors, I implemented one in javascript, now my primitive manipulation are more readable and fun.
kakashiAL 2017-03-01 23:15:30
long story short: I spend now time with category theory. I learned some fancy vocabulary and new definitions, but what can I do with it now?
kakashiAL 2017-03-01 23:15:32
I see no usecase :(
quchen 2017-03-01 23:16:17
I too found the return on investment for category theory extremely low. :-|
quchen 2017-03-01 23:16:33
And in particular, not helpful for my everyday programming at all.
sjakobi 2017-03-01 23:16:52
kakashiAL: I foun this talk by ekmett pretty mindblowing: https://www.youtube.com/watch?v=cB8DapKQz-I
Rembane 2017-03-01 23:16:57
Maybe it will help you see patterns where there was just a mess before.
sjakobi 2017-03-01 23:17:27
He starts off with category theory and ends up with linear time sorting instead of O(n log n)
michalrus 2017-03-01 23:17:36
> match failures are only checked if you use what is inside
lambdabot 2017-03-01 23:17:39
michalrus 2017-03-01 23:17:45
jle`: ah, that makes a lot of sense! Thank you!
michalrus 2017-03-01 23:17:50
lambdabot: sorry.
kakashiAL 2017-03-01 23:18:21
sjakobi: if it shows a simple category theroy example implemented in the real world with some benefits, I am happy
jle` 2017-03-01 23:18:36
michalrus: no problem!
sjakobi 2017-03-01 23:19:09
It's not simple for me, but the benefits appear to be real.
kakashiAL 2017-03-01 23:20:28
at the moment category theory makes my code easy to reason about :)
kakashiAL 2017-03-01 23:20:56
well, its more lambda-calc :)
