IOC.exchange

0 posts0 participants0 posts today

☮ ♥ ♬ 🧑‍💻“Hedge funds will go to great lengths in pursuit of <a href="https://ioc.exchange/tags/profits" class="mention hashtag" rel="tag">#profits</a>, whether it is by counting cars in satellite photos of parking lots or shipping gold across the Atlantic. Building a <a href="https://ioc.exchange/tags/compiler" class="mention hashtag" rel="tag">#compiler</a>—a piece of <a href="https://ioc.exchange/tags/software" class="mention hashtag" rel="tag">#software</a> that turns human-written code into programs a computer can execute—for your homegrown language? That still raises eyebrows.<a href="https://ioc.exchange/tags/JaneStreet" class="mention hashtag" rel="tag">#JaneStreet</a> is the quant shops’ quant shop, and it does just that, with great success. Last year its trading revenue almost doubled, to $21bn, putting it on a par with giants such as <a href="https://ioc.exchange/tags/Citigroup" class="mention hashtag" rel="tag">#Citigroup</a> and <a href="https://ioc.exchange/tags/MorganStanley" class="mention hashtag" rel="tag">#MorganStanley</a>. And the goose that lays the golden egg is its <a href="https://ioc.exchange/tags/tech" class="mention hashtag" rel="tag">#tech</a> system.But it is what this system is built from that is really unusual. Other firms employ a hotchpotch of <a href="https://ioc.exchange/tags/ProgrammingLanguages" class="mention hashtag" rel="tag">#ProgrammingLanguages</a>, allowing staff to choose the right one for the job. At Jane Street almost everyone works in an obscure tongue developed by French academics: <a href="https://ioc.exchange/tags/OCaml" class="mention hashtag" rel="tag">#OCaml</a>. Ask a <a href="https://ioc.exchange/tags/trader" class="mention hashtag" rel="tag">#trader</a> at the firm for its benefits and they will reel off a string of features, such as its support for <a href="https://ioc.exchange/tags/StaticTyping" class="mention hashtag" rel="tag">#StaticTyping</a> and <a href="https://ioc.exchange/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a>, that make it hard to learn but powerful when applied to a problem. The company says the language helps “maximise the <a href="https://ioc.exchange/tags/productivity" class="mention hashtag" rel="tag">#productivity</a> of each person we hire”.”<a href="https://ioc.exchange/tags/HedgeFunds" class="mention hashtag" rel="tag">#HedgeFunds</a> / <a href="https://ioc.exchange/tags/finance" class="mention hashtag" rel="tag">#finance</a> <<a href="https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic</a>> (paywall) / <<a href="https://archive.md/DQ0ku" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://archive.md/DQ0ku</a>>

screwlispPlay Static Games, Win Static Prizes <a href="https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/</a> <a href="https://gamerplus.org/tags/staticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#staticTyping</a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#typechecking</a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#staticProgramAnalysis</a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonLisp</a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sbcl</a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#series</a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> In which I look at modern and to some extent historical static program analysis popularly used with common lisp <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>.I accidentally make the really good point that even if <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sbcl</a> is not your deployment target, you can still use its static type checking, for which I work an example.<a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lazyEvaluation</a> and formal theorems are also included.

Vassil Nikolov<a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@mdhughes</a> <a href="https://mastodon.sdf.org/@screwtape" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@screwtape</a> <a href="https://c.im/@smlckz" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@smlckz</a> <a href="https://social.hunterjozwiak.com/users/sektor" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@sektor</a> <a href="https://ecoevo.social/@clew" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@clew</a> <a href="https://emacs.social/@eduardoochs" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@eduardoochs</a> <a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@dougmerritt</a>The point is not that static type checking is omnipotent: it isn't, of course. The point is that it catches _very many_ mistakes that programmers are _prone_ to make. I say again: mistakes that are _often_ made, not all that can be made _in principle_.> function addints(int x, int y) : int { return 3; }This is too trivial. Warning: variable declared but never used.<a href="https://ieji.de/tags/StaticChecks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticChecks</a> <a href="https://ieji.de/tags/StaticTypeChecks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticTypeChecks</a> <a href="https://ieji.de/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticTyping</a>

Recent searches

Search options

Administered by:

Server stats:

#statictyping