AT
They know a lot of Type Theory, Category Theory and related math naturally.
Size: a a a
2020 July 29
AG
I'm a hobbyist programmer (maybe). I suck...
AG
They know a lot of Type Theory, Category Theory and related math naturally.
Yes, I've seen how people use category theory in programming and computer science. Category theory appeared to solve problems in topology. So basically what I know isn't enough...
AT
Yes, I've seen how people use category theory in programming and computer science. Category theory appeared to solve problems in topology. So basically what I know isn't enough...
It's never enough... 😂
AG
I would like to test smth here. Can someone write a program in any language that sums integers from 1 to N?
AG
If you're thinking about writing in haskell sum[1..N] that's not good enough
AG
So if N=10^9 it must run fast
EL
you mean (n*(n+1))/2?😄
AG
you mean (n*(n+1))/2?😄
Молодец
AG
That's my question... Programmers know these basic maths things?
AG
Lol
Does that mean 'of course'?
L
Does that mean 'of course'?
Да :) на самом деле это базовая математика, которую в России дают в школе
AG
Я могу найти свою программу университета а качестве примера. Программисты в России изучают функциональный анализ или мат. физику
Да ладно? Вот поэтому я люблю Россию)
L
Да ладно? Вот поэтому я люблю Россию)
Но потом это всё никто не помнит конечно)
AG
Но потом это всё никто не помнит конечно)
Все равно. Я не понимаю как человек сможет писать программу если он никогда не написал доказательство
EM
Из функана помню только банохово пространство :)
AG
Evgenii Moiseenko
Из функана помню только банохово пространство :)
Очень хорошо. Просто, в мире обычно не так...
AG
В моём университете студенты которые учили computer science плакали из базового анализа и интегралих....