Mastouille

0 message0 participant0 message aujourd’hui

☮ ♥ ♬ 🧑‍💻“Hedge funds will go to great lengths in pursuit of <a href="https://ioc.exchange/tags/profits" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#compiler</a>—a piece of <a href="https://ioc.exchange/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#Citigroup</a> and <a href="https://ioc.exchange/tags/MorganStanley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MorganStanley</a>. And the goose that lays the golden egg is its <a href="https://ioc.exchange/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#OCaml</a>. Ask a <a href="https://ioc.exchange/tags/trader" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#StaticTyping</a> and <a href="https://ioc.exchange/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#productivity</a> of each person we hire”.”<a href="https://ioc.exchange/tags/HedgeFunds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HedgeFunds</a> / <a href="https://ioc.exchange/tags/finance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#finance</a> <<a href="https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic</a>> (paywall) / <<a href="https://archive.md/DQ0ku" rel="nofollow noopener noreferrer" translate="no" target="_blank">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>

jbz🐘 The case against static typing in PHP | Tony Marston<a href="https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html</a><a href="https://indieweb.social/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#php</a> <a href="https://indieweb.social/tags/statictyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#statictyping</a>

F.FelixPython con mypy ya me convence más, mucho más!! <a href="https://www.mypy-lang.org/" rel="nofollow noopener noreferrer" target="_blank">https://www.mypy-lang.org/</a> <a href="https://mastodon.social/tags/statictyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#statictyping</a>

Ben CliffordMy back burner side project to get mypy and other type checking into <a href="https://mast.hpc.social/@ParslProject" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@ParslProject</a> is now explicitly enumerated in one of the grants that funds me, so I'm ramping up on slightly more aggressive rearrangement of code, now the almighty dollar has blessed me.<a href="https://mastodon.hawaga.org.uk/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MyPy</a> <a href="https://mastodon.hawaga.org.uk/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a> <a href="https://mastodon.hawaga.org.uk/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticTyping</a>

Alex Nedelcu :scala: :java:Hi all 👋I'm moving from <a href="https://mastodon.social/@alexelcu" rel="nofollow noopener noreferrer" target="_blank">https://mastodon.social/@alexelcu</a>, again; still experimenting, and with a self-control problem 😅I'm a <a href="https://fosstodon.org/tags/programmer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programmer</a>. I love <a href="https://fosstodon.org/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticTyping</a> and <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> on top of <a href="https://fosstodon.org/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a>, <a href="https://fosstodon.org/tags/Kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Kotlin</a>, and <a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a>. I'm from <a href="https://fosstodon.org/tags/Bucharest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bucharest</a>, <a href="https://fosstodon.org/tags/Romania" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Romania</a>, and I like to contribute to programming libraries.I write at <a href="https://alexn.org" rel="nofollow noopener noreferrer" target="_blank">https://alexn.org</a>, and I contributed to <a href="https://monix.io" rel="nofollow noopener noreferrer" target="_blank">https://monix.io</a> and to <a href="https://typelevel.org" rel="nofollow noopener noreferrer" target="_blank">https://typelevel.org</a>.My bois said hi 👋

Recherches récentes

Options de recherche

Administré par :

Statistiques du serveur :

#statictyping