Mastodawn

I know with #PHP static analyzers I can annotate that something is a `numeric-string`, but this also allows floats. Is there a way to say “this string is an integer string?”

Here are examples of what I’m trying to do where `numeric-string` doesn’t cut it:

#PHPStan: https://phpstan.org/r/6cd6d2b2-c2ef-4ed6-a769-f68932b1756b

#Psalm: https://psalm.dev/r/b70fdf28f9

#Mago: https://mago.carthage.software/1.29.0/en/playground/#019e6163-dddc-fdf5-b576-97af8adadbff

With PHPStan 2.2, I can use `decimal-int-string`, but the docs specifically reference it in relation to array indexes: https://phpstan.org/r/950eef98-3ae9-4423-a002-2999b13982a9

Playground

Venice church of Christ May 19

The Psalm: #Psalm 104:24-35

The Psalmist praised YHWH for His creative work.

glaubemir May 18

Lass dir wohlgefallen die Rede meines Mundes und das Gespräch meines Herzens vor dir, Herr, mein Hort und mein Erlöser. - Psalm 19,15

#Bibel #Psalm #bibelverse #glaube #christlich
https://glaubemir.de/lass-dir-wohlgefallen-die-rede/?feed_id=6337&_unique_id=6a0a929c25078

glaubemir May 14

Gott fährt auf mit Jauchzen und der HERR mit heller Posaune. - Psalm 47,6

#Bibel #Psalm #bibelverse #glaube #christlich
https://glaubemir.de/gott-faehrt-auf-mit-jauchzen-und-der-herr/?feed_id=6295&_unique_id=6a05f5347782e

aparatorul May 14

Moartea păcătoşilor este cumplită. Despre cum a murit Lenin „Nu râvni la cei ce viclenesc, nici nu urma pe cei ce fac fărădelegea. Căci ca iarba curând se vor usca şi ca verdeaţa ierbii degrab se vor trece”... 👉 https://c.aparatorul.md/s70tx 👈 #Biserică #cangrenă #Chinuri #confuze #creier #cumplită #Dureri #Lenin #mausoleului #Moarte #Moarteapăcătoşilor #Pacientulnu #paralizie #problemă #psalm #Psalmi #putrezea #sânge #sfinţi #soluția #versului33 #vocabularul
https://c.aparatorul.md/s70tx

Venice church of Christ May 12

The Psalm: #Psalm 68:1-10, 32-35

#David rejoiced in YHWH his God.

Duck in the Pulpit May 12

Psalm 23

Psalm 23 The Lord is my shepherd; I shall not lack. God has been my shepherd all my life to this day. O Lord, save your people and bless your heritage; be their shepherd and carry them forever. The Lord led out His people like sheep and guided them in the wilderness like a flock. Give ear, O Shepherd of Israel, you who lead Joseph like a flock! You who are enthroned upon the cherubim, shine forth. He will tend His flock like a shepherd; He will gather the lambs in His arms; He will carry […]

https://duckinthepulpit.com/2026/05/12/psalm-23/

Psalm 23

Duck in the Pulpit

glaubemir May 12

Denn dieser Gott ist unser Gott immer und ewiglich; er führt uns über den Tod hinaus. - Psalm 48,14

#Bibel #Psalm #bibelverse #glaube #christlich
https://glaubemir.de/denn-dieser-gott-ist-unser-gott/?feed_id=6302&_unique_id=6a02a79b52abb

glaubemir May 9

Lass mich frühe hören deine Gnade; denn ich hoffe auf dich. Tue mir kund den Weg, darauf ich gehen soll; denn mich verlangt nach dir. - Psalm 143,8

#Psalm #bibelverse #glaube #christlich
https://glaubemir.de/lass-mich-fruehe-hoeren-deine-gnade-2/?feed_id=6260&_unique_id=69feb89bab0f5

⚯ Michel de Cryptadamus ⚯May 8

"Even though my tanker floats through the valley of the shadow of death I will fear no evil, for Trump is with me; his rod and his staff, they comfort me.""

- Psalms 23:4

https://www.wsj.com/world/middle-east/project-freedom-trump-iran-persian-gulf-ff02c827?st=5XguwY

#IranWar #iran #israel #oil #oiltanker #straitofhormuz #uspol #eupol #asiapol #Hormuz #projectFreedom #petehegseth #Psalms #Psalm