php ... 많이 개선되었다고는 하죠.

 

php 엔진 개발쪽에서는 제네릭 타입관련해서 많은 시간(대략 6년전부터)과 인력이 들어가고있어요.

php 쓰는 사람들도 원하고있고요.

타입을 넣는 이유는 결국 런타임에 프로그램이 고장나지 않고 안정적으로 돌아가게 개발하기 위함이죠.

 

https://thephp.foundation/blog/2025/08/05/compile-generics/

 

오늘의 주제인 제네릭말인데요.

제네릭을 넣기위해 엔진은 점점더 복잡해지는 방향으로가고 성능은떨어지고

무엇보다 지금의 php 동작인 프로그램 동작중에 타입체크하는걸 유지하려면

php 의 많은 동작들을 바꿔야한다고해요.

 

일단 런타임에 타입을 살리는 방향으로 가게되면

부작용으로 php 성능 하락과 모듈시스템이 없는 한계로 인해

$free = new <Board>$board  이런 new 구문에서 타입추론을 할 수 가 없다고해요

본문에서도 계속 연구중이지만 아주아주어렵다고...

 

 

php 에는 유니온 타입이 있는데 이걸 제네릭에 사용하게되면 성능하락이 심하다고하고

 

대안은 실행중에 "타입체크하지말고 타입 지우자" 라는것인데요.

 

여기서 php 재단의 사람들이 갈려요. 다들 일리가 있고 투표에 세력들도 있어요 어느 파벌이 이길지 모르네요.

1. php 는 불일치한 동작이 너무많아서 이것조차 불일치하게 만들면 안된다.

2. 컴파일도 안하고 타입도 지우면 그런걸 왜 만드느냐? 그냥 장식일뿐이다.

3. 반쪽짜리지만 런타임타입체크 일부도입하자 <- 오늘의 주제.

 

정적분석기 프로젝트 관리자들은 타입지우자는 입장이예요

어차피 php 에 제네릭 도입해봐야 한계가있고 정적분석기를 써야하는데 이중일이라고요.

 

-----

여기서 더 나가는 사람들은 "코틀린 언어"처럼 in, out 을 지정하는 반공변, 공변 특성도 넣어야

진짜 제네릭 문법의 완성이라고 이것도 넣어야한다 그래요.

 

--------------------------

반쪽짜리 컴파일타임 제네릭 도입안은 통과 되지 않기를 바래요.

 

만약 통과된다고하면 모듈필요하다고 오토로딩도 깨고

저런 타입들도 하나둘 들어오면 이제는 정말

해마다 php 버전이 깨질거 같아요.

 

어쩌면 투표를 통해서 기능을 선출하는방식이랑 특정 기업이 주도하는 언어의 차이도 있겠죠.

옳다고해도 투표에서 반대표가 많으면 떨어져요. 방향도 계속바뀌죠.

이건 마치 중국과 한국의 정치를 보는거 같아요

 

----------------------

그냥 MS 에서 만든 멀쩡히 동작하고 완성된 타입스크립트를 쓰고싶을 뿐이예요.

php 소식은 약간 정치뉴스처럼 보기만해도 어지럽고 힘드네요.

결국 돌고돌아서 PHP: 잘못된 디자인의 프렉탈  그 글이 맞네 싶기도하고. ㅠ

 

앞으로 어떻게 될까요?