Elektrine lite

← Feed

Kenta Usami

zonuexe@phpc.social

<p>Emacs Lisper. A maintainer of Emacs PHP Mode. I&#39;m work at pixiv Inc.</p>

Posts

  • Post #4194865

    Freesoftware Program

  • Post #4187332

    This document summarizes the behavior regarding types and PHPDoc across various PHP static analysis tools (including type checkers, type-aware linters, and language servers). While the comparison of type notations is not yet exhaustive, I am currently working on expanding it. https://zonuexe.github.io/php-typing-conformance/

  • Post #4135221

    RE: https://phpc.social/@OndrejMirtes/116991095416961297 It is truly ideal that a speed boost has been achieved with virtually no trade-offs for the user.

  • Post #4122269

    The Invisible Architecture: Why Japanese Speakers Drop Articles and the &quot;-s&quot; https://gist.github.com/zonuexe/9f59177f09d33644b61abdbdcb211fce

  • Post #4089560

    Is this the choice of Steins;Gate... https://github.com/rigortype/steins-attributes

  • Post #3890845

    I’ve given the Emacs `phpstan.el` package a major update after quite some time. I believe I’ve managed to resolve all the accumulated legacy technical debt in one go. https://github.com/emacs-php/phpstan.el

  • Post #3810968

    I submitted a pull request for the PHP manual article that I personally considered the most incorrect or misleading. https://github.com/php/doc-en/pull/5681

  • Post #3732848

    I’m here this weekend for a two-day event in Japan called &quot;Functional Programming Festival.&quot; I’m scheduled to speak tomorrow, and I plan to discuss the connection between untyped lambda calculus and modern programming languages. While higher-order functions like `map` and `reduce` are commonplace in modern languages, their expressive power regarding functions naturally varies. Who do you think is the true champion among the descendants carrying the DNA of the lambda?

  • Post #3654159

    I feel a huge weight has been lifted now that a PR I’ve been working on for years has finally been merged, but my journey certainly doesn&#39;t end here. After all, even after exploring various other languages, type systems, and static analyzers, I still love PHPStan.

  • Post #3553059

    Over the past 24 hours, my PHPStan muscles have really recovered.

  • Post #3551932

    I heard a story once about a company that developed using Java and didn&#39;t allow the installation of interpreters like Ruby; apparently, Groovy was convenient for scripting there because it only required bringing in a JAR file.

  • Post #1123175

    RE: https://phpc.social/@sebastian/116395881520475054 At #phpcon_odawara , there’s a dedicated &quot;1-minute feedback&quot; slot right after each session for attendees to share their thoughts instantly. Since it&#39;s only a minute, speakers receive plenty of raw, genuine reactions while the talk is still fresh in everyone&#39;s minds.