Type Systems and Politics : prejudice

#### Types, Kinds, Classes, hinting

-   Types may affect different layers of data flow. The economics of
    type systems ( policy design and enforcement ) comes down to the
    trade-off between PREEMPTIVE and AD HOC checks.
    -   Lexing : Lexical layer : specific graphemes may indicate tokens which are
        about the type system. 
    -   Parsing of semantics : Abstract syntax layer(s) : Tokens may indicate 
        1.  that specific data is of a specific type,
        2.  that specific types are related in certain ways, or
        3.  that specific types are required, allowed, or prohibited,
            from any operation.
        This is essentially a "compile time" opportunity to find data
        that is not where it is wanted. The complexity of analysis at
        this phase may vary, throughout various stages before the final
        machine code is produced.
    -   Runtime type checking : this may be implemented in both
        interpreted or compiled runtimes. The most performant code is of
        course, compiled code with no runtime checks, WHEN CODE IS
        PREDICTABLE. Whereas, CODE THAT BRANCHES HEAVILY may be more
        performant with just-in-time type checking, depending on the
        specific nature of the code.

Poverty and Disempowerment in Malaysian Culture

I have made interesting friends in Malaysia. Some are rich, and some are poor. Some are rich or poor, by accident; others work hard, to stay rich or poor. I am happy for all of them, as long as they are each individually happy.

But all live in a poor society. A poor society means that, power is unequally skewed towards the few. A rich society means that, power is distributed rather equally among everyone.

It is a very specific strategy, to aim to be among the few powerful people in a poor society. Choosing this strategy means that you must work hard to maintain and increase inequality. An obvious tactic, is persuading the powerless many, either (a) to be ignorant of their disempowerment, or (b) to believe that their disempowerment is good for them. 

• A variety of (a, b) is spreading the belief that disempowered people should gamble on their improbable chance of joining the powerful few.
• A variety of (b) is spreading slave morality, a more complicated subject.

Where do you see yourself in Malaysian society? Do you think it's better if most of us are poor, and a few are powerful? Or if power is available to everyone?

After all, however, it doesn't matter, as long as you are happy.

Doctors are Engineers : Healthcare mismanagement in Malaysia

Malaysia is one of those places where STEM goes to die.

Don't believe me? You just look at KKM.

• 1. Medicine is an engineering discipline. Hah?
• 2. Yes lah. Engineering is the application of science under operational urgency.
• 3. Just follow the money. When KKM fails, you will understand.
• 4. Look at how we treat out people. Look at how we treat the people, who treat our people.
• 5. Our doctors are mistreated.

You all don't know how to manage engineering talent.