Functor

>Monad++

this

>change type of one variable
>have to change entire function
>have to change functions that use that function
>have to rewrite entire program
yay strong typing

>haskell thread
The language more people spend talking about than doing anything with.

>algo trading
>python
I always thought that stuff was C++ and Java.

Quants are usually exposed to python api or some DSL.
Platform is in C++ or Java.

How do I get into it? Do you enjoy doing what you do?

Haskell is art. You create it and you sit and marvel at what you've done. Plus from my own experience it made me a better programmer

The APIs are public. Sign up to a broker and do whatever the fuck you want.

Aren't there concerns about speed with Python?

Why would there be? It's all running on ultra-optimized C++ systems.

I only know what a monoid is.
And an arrow, but not in this context I guess.
Does traversable mean Eulerian as in Eulerian graph?

>why would there be
APIs and DSLs aren't always perfect.

I guess if there are millions of dollars at stake and the best C++ guys around, they would be as good as they get.

I remember Jane Street was using OCaml for a while. Have they given up on that and went to Python?

Which broker do you recommend?

>Functor
Morphism between two categories of their underlaying quivers that preserves edge composition.
>Applicative
A lax monoidal functor with tensorial strength.
>Monoid
hom-set of a category, one object, preserving structure of its unit and composition.
>Monad
Horizontal categorification of monoid.
>MonadPlus
CS meme.
>MonadFix
CS meme.
>Comonad
Comonoid in the monoidal category of endofunctors.
>Arrow
Morphism.
>Alternative, Foldable, Traversable
CS memes.
Performance of APIs and DSLs certainly isn't a bottleneck.
Jane Street afaik does pretty much everything in OCaml, so i'd say their quants develop strategies in some DSL built on camlp4.

F# is more popular than ever in Finance, probably because they think the F stands for Finance, when it really stands for Fletch

It seems like every vertical has its niche language at this point.

For Bioinformatics, it's R.
For Finance, it's F#, OCaml, C#, etc.
For Telecoms, it's Erlang.
And so on.

Add Haskell for VoIP and i've also seen ISPs using it for more complex SDN.

muh esoteric language

/g is for tech not for programming

strictly functional programming is a meme

If you cannot either prove or disprove P=NP, you don't belong on Jow Forums.

P=NP
proof by omission: left as an excercise
Q.E.D.

Retarded js baby

you're pretty retarded if you think js is the only dynamically typed language in widespread use

>assigning 0 to hope

so what about these weird names lol nerd ;)

t. Just saw a video on functional programming and thinks xe's hot shit

Better mathematical proof,proof by induction, graph theory,algortihm design, brute force,greedy,divide and conquest,dynamic programming as design tech.

i hope you got beat up as a kid

the haskell GC is so bad it literally deprecates the language
>one GC for all threads

dude nobody understands monads probably not even satoshi himself lol

No i was the one beating other kids up because i was a bear thanks to my doctor pumping me with hormones to treat my asthma. All that while reading Dirac.
Kind of disappointed in myself that i ended up as a meme CS faggot because
>muh money

What did you do for school? What kind of PhD programs do I look for to research this kind of stuff

BSc in physics and MSc in pure math (mathematical structures and geometry) on average yuropoor university at pretty respectable faculty, then started PhD in mathematical physics - homotopy algebras in higher gauge theories, but burned out after a year.
Now i'm working for the military on CS stuff (SigInt mainly). I have very good salary, job security for life with a very clear growth path and it's kind of interesting too.
If you want to study "this kind of stuff", you want to look at any pure math MSc program as category theory is mandatory tool.

They're really nothing special