mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

591
comptes actifs

#statictyping

0 message0 participant0 message aujourd’hui
☮ ♥ ♬ 🧑‍💻<p>“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">#<span>profits</span></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">#<span>compiler</span></a>—a piece of <a href="https://ioc.exchange/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>software</span></a> that turns human-written code into programs a computer can execute—for your homegrown language? That still raises eyebrows.</p><p><a href="https://ioc.exchange/tags/JaneStreet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JaneStreet</span></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">#<span>Citigroup</span></a> and <a href="https://ioc.exchange/tags/MorganStanley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MorganStanley</span></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">#<span>tech</span></a> system.</p><p>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">#<span>ProgrammingLanguages</span></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">#<span>OCaml</span></a>. </p><p>Ask a <a href="https://ioc.exchange/tags/trader" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trader</span></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">#<span>StaticTyping</span></a> and <a href="https://ioc.exchange/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></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">#<span>productivity</span></a> of each person we hire”.”</p><p><a href="https://ioc.exchange/tags/HedgeFunds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HedgeFunds</span></a> / <a href="https://ioc.exchange/tags/finance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>finance</span></a> &lt;<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"><span class="invisible">https://www.</span><span class="ellipsis">economist.com/finance-and-econ</span><span class="invisible">omics/2025/06/26/jane-streets-sneaky-retention-tactic</span></a>&gt; (paywall) / &lt;<a href="https://archive.md/DQ0ku" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">archive.md/DQ0ku</span><span class="invisible"></span></a>&gt;</p>
screwlisp<p>Play 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"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/play-static-games-win-static-prizes/</span></a><br><a href="https://gamerplus.org/tags/staticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>staticTyping</span></a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typechecking</span></a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>staticProgramAnalysis</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sbcl</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>acl2</span></a> </p><p>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">#<span>programming</span></a>.</p><p>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">#<span>sbcl</span></a> is not your deployment target, you can still use its static type checking, for which I work an example.</p><p><a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lazyEvaluation</span></a> and formal theorems are also included.</p>
Vassil Nikolov<p><span class="h-card" translate="no"><a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mdhughes</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.sdf.org/@screwtape" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>screwtape</span></a></span> <span class="h-card" translate="no"><a href="https://c.im/@smlckz" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>smlckz</span></a></span> <span class="h-card" translate="no"><a href="https://social.hunterjozwiak.com/users/sektor" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sektor</span></a></span> <span class="h-card" translate="no"><a href="https://ecoevo.social/@clew" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>clew</span></a></span> <span class="h-card" translate="no"><a href="https://emacs.social/@eduardoochs" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>eduardoochs</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dougmerritt</span></a></span></p><p>The point is not that static type checking is omnipotent: it isn't, of course.<br>The point is that it catches _very many_ mistakes that programmers are _prone_ to make.<br>I say again: mistakes that are _often_ made, not all that can be made _in principle_.</p><p>&gt; function addints(int x, int y) : int { return 3; }</p><p>This is too trivial.<br>Warning: variable declared but never used.</p><p><a href="https://ieji.de/tags/StaticChecks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticChecks</span></a><br><a href="https://ieji.de/tags/StaticTypeChecks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticTypeChecks</span></a><br><a href="https://ieji.de/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticTyping</span></a></p>
jbz<p>🐘 The case against static typing in PHP | Tony Marston</p><p><a href="https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">tonymarston.net/php-mysql/agai</span><span class="invisible">nst-static-typing-in-php.html</span></a></p><p><a href="https://indieweb.social/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://indieweb.social/tags/statictyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statictyping</span></a></p>
F.Felix<p>Python con mypy ya me convence más, mucho más!! <a href="https://www.mypy-lang.org/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="">mypy-lang.org/</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/statictyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statictyping</span></a></p>
Ben Clifford<p>My back burner side project to get mypy and other type checking into <span class="h-card"><a href="https://mast.hpc.social/@ParslProject" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ParslProject</span></a></span> 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.</p><p><a href="https://mastodon.hawaga.org.uk/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> <a href="https://mastodon.hawaga.org.uk/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mastodon.hawaga.org.uk/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticTyping</span></a></p>
Alex Nedelcu :scala: :java:<p>Hi all 👋</p><p>I'm moving from <a href="https://mastodon.social/@alexelcu" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">mastodon.social/@alexelcu</span><span class="invisible"></span></a>, again; still experimenting, and with a self-control problem 😅</p><p>I'm a <a href="https://fosstodon.org/tags/programmer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programmer</span></a>. I love <a href="https://fosstodon.org/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StaticTyping</span></a> and <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> on top of <a href="https://fosstodon.org/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a>, <a href="https://fosstodon.org/tags/Kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kotlin</span></a>, and <a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a>. I'm from <a href="https://fosstodon.org/tags/Bucharest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bucharest</span></a>, <a href="https://fosstodon.org/tags/Romania" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Romania</span></a>, and I like to contribute to programming libraries.</p><p>I write at <a href="https://alexn.org" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">alexn.org</span><span class="invisible"></span></a>, and I contributed to <a href="https://monix.io" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">monix.io</span><span class="invisible"></span></a> and to <a href="https://typelevel.org" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">typelevel.org</span><span class="invisible"></span></a>.</p><p>My bois said hi 👋</p>