Type-safe callables in PHP by interfaces with __invoke()
The type system in PHP has become safer each version since PHP 7.0, by using a strict type declaration on top of the PHP file. As a newly-developed feature, it (…Read More)
Programming
static in depth
After my previous post about static members in various programming language, I decide to write a post about the word static in depth. static is a key word in multiple (…Read More)
static in PHP
static keyword is used to represent class members, i.e. members which are shared among the class, as opposed of instance members which is unique to an object instance, in many (…Read More)
My views on type systems
As my programming experience begins to diverse, from traditional command-line programs to web and app development, I have used many programming languages, some of which I like, and some I (…Read More)
Java DOES have pointers!
Java has pointers. People who say that Java does not have pointers are lying. The most confusing point is that, pointers in Java are not called pointers, but called “references” (…Read More)
Polymorphism within constructors
In C++, polymorphism does not take place within constructors: #include <iostream> using namespace std; struct Base { Base() { foo(); } virtual ~Base() {} virtual void foo() { cout << (…Read More)
Garbage Collection is evil
Programming languages with built-in garbage collection (GC) is often praised as no memory leaks, less error-prone, etc but I don’t disagree with this. This article brings you some facts of (…Read More)
Don’t use C++ exception specifications
Exception specifications should be very familiar to Java programmers. Here is an example: class MyException extends Exception { } class Foo { void abc(int x) throws MyException { if (x (…Read More)
Template pattern v.s. Interface pattern
As a library programmer, the decision between using templates or using inheritance may be a difficult decision. Everyone wants their libraries to be generic. Which pattern is better? Template pattern (…Read More)
Java is NOT my favourite programming language
I dislike Java very much, mainly due to its lack of features: Object model Objects and values In C++, a primitive variable is an object, a class variable is an (…Read More)