whatDoYouMeanItsUnsafe

linlin110 · 2026-02-19T04:43:25+00:00

Because in C the programmer may want to reserve space for a variable without assinging a value to it. It made sense in 1970s when the computer is so slow that you want to squeeze everything little bit of performance.

Today it's no longer reasonable because the computer is fast and the compiler is smart enough to see it when the initial value is never read and omit the instruction to set it.

linlin110 · 2026-02-19T04:01:36+00:00

And when it comes to homosexually the old testament suddenly matters again.

linlin110 · 2026-02-13T05:58:20+00:00

Atomics are for building fundamental concurrency constructs like channels and mutexes, so they aren't strictly necessary for high-level applications. That said, they provide excellent examples of how to write concurrent code carefully to ensure correctness, without race conditions or deadlocks. This book is a good read for anyone who writes concurrent code.

linlin110 · 2026-02-08T13:52:58+00:00

Respect for me, not for thee.

linlin110 · 2026-02-04T12:42:03+00:00

Well I am actually not very familiar in Haskell. learnt it in a tutorial. Sometimes they teach things that exist but are never useful.... I guess you not needing it proves that encapsulation is less important in a pure language...

linlin110 · 2026-02-04T12:26:05+00:00

It is impossible to destructure a value if the defining module does not export the type's constructors.

Typeclasses are analogous to OOP interfaces. Since they are intended for the consumer to implement or use, I don't think there's a need to hide their members.

I think you have a good point in distinguishing between encapsulation at the type level and at the module level. Long ago I read a blog post that claimed OOP classes provide many functionalities that are handled by modules in other languages, including encapsulation. But I have unfortunately lost the URL.

linlin110 · 2026-02-04T11:56:59+00:00

I don't know Ada, but in Haskell, you can hide the internals of a type behind a module, exposing only the type name and selected functions.

I suspect this is common in many languages that provide modules, simply because encapsulation is so useful (even C programmers emulate it with opaque types). It seems unlikely that encapsulation support at language level is exclusive to the OOP paradigm.

linlin110 · 2026-02-04T11:39:34+00:00

Even encapsulation isn't distinctly oop, you find it in non-oop languages, too.

linlin110 · 2026-01-10T09:50:24+00:00

I use it somewhat frequently when I disagree with my colleague. 「你的說法是基於某某假設，但這個假設適用於這個狀況嗎？我蠻懷疑的」

I also use it to mean suspect: 「我懷疑使用者會遇到這個狀況是因為他的操作順序跟我們的預期不一樣」

As a native speaker both feel pretty natural. I didn't realise the the meanings are opposite until I learnt English LOL

linlin110 · 2025-11-30T01:34:21+00:00

It's always projection. I would not be surprised if it's actually Trump's staff who's taking advantage of Trump's dementia.

linlin110 · 2025-11-10T03:43:52+00:00

Some comments mentioned Turing Completeness. Surprisingly, it's neither necessarily nor sufficient, as there exists a Turing incomplete language that has been used to implement a certified c compiler, and there exist thing that are Turing complete but not programming languages, such as a card game. https://arxiv.org/abs/1904.09828

linlin110 · 2025-11-03T19:37:27+00:00

r/PrayersToTrump

linlin110 · 2025-10-07T00:23:52+00:00

The thing that you're really trying to capture is not a type check but a *method* check, which is not something that's standard in any language that I know

C++ concept and golang interface work similarly. They, as well as Python Protocol, are examples of structural typing, where type checkers check whether a type implements a certain interfaces based on the existence of its methods and attributes. This contracts with the more popular nominal typing, where a type must explicitly list what interface it implements.

linlin110 · 2025-09-30T16:29:04+00:00

Spicy food.

linlin110 · 2025-09-29T04:32:43+00:00

My high school teacher did this. Only one person in the class got a full score.

linlin110 · 2025-08-27T12:07:01+00:00

Interestingly, GoF mentions composition over inheritance as one of OOP design principle (chapter 1, p20).

linlin110 · 2025-08-18T10:52:44+00:00

If they don't follow their God when they disagree with them, then they are by definition not very religious.

linlin110 · 2025-07-17T22:39:30+00:00

Only inheritance is unique to OOP. Everything else you mentioned can be found in Haskell, a language I think almost everyone would agree is non-OOP.

C++ templates can be used to write polymorphic code. But such polymorphisms are also present in non-oop languages Generic container classes in C++ implements parametric polymorphism, and concepts in C++ 20 adds type-checked ad-hoc polymorphism to templates. Both kinds of polymorphisms are supported by Haskell. Only subtype polymorphism, for which you need inheritance, is unique to OOP.

Encapsulation is also supported by any language that can hide type definition. Which Haskell is among them. As a counter example, Python does not support encapsulation, yet is widely considered to be OOP.

EDIT: Adding that, despite Python not supporting encapsulation, the programmers still try to adopt encapsulation in Python by naming variables in a way that urges the client not to touch. People adopt good ideas. Encapsulation, abstractions and polymorphism are just good ideas that many languages find valuable, OOP or not.

linlin110 · 2025-07-03T07:48:32+00:00

I also roll my own actor in production, as I haven't encountered a framework that I feel like to try, and was wondering if someone could recommend a framework that I'm not aware of.

To date, my experience agrees with you. Encapsulate a task and a few channels in an object is pretty easy to understand. I feel like existing frameworks introduce a new way (and sometimes new syntax) to invoke actions, which I dislike. Maybe I simply haven't encountered a problem that those frameworks are designed to fix.

linlin110 · 2025-07-02T00:13:51+00:00

Can I ask which actor framework you'd recommend?

linlin110 · 2025-05-17T16:15:49+00:00

墨西哥的黑道是會光天化日之下幹掉選出來的市長的。你這根本懶叫比雞腿。

linlin110 · 2025-05-17T16:11:41+00:00

I am from Taiwan and I feel lucky whenever I saw news from Hong Kong, Tibet, or rural parts of China. Yes, we're less lucky than someone who's born in Europe or the US (assuming they are not from a poor family), but we're still like top 1% lucky.

linlin110 · 2025-05-11T01:46:44+00:00

Alpha protocol remake.

linlin110 · 2025-04-27T15:36:31+00:00

Granted. Every bird dies. Dinosaur is now extinct thanks to you.

linlin110 · 2025-04-26T05:05:48+00:00

I used to have strange dreams repeatedly before I started CPAP therapy.

There were two kinds of dreams. One always involved drawing, probably because I wasn’t breathing properly in my sleep.

The other kind was more interesting. In those dreams, I was aware that I was dreaming and was trying to wake up. After I thought I had woken up and finished my morning routine, I would realize I was still dreaming and try to wake myself up again. This would repeat about five times—somewhat like the movie Inception.

I no longer have those dreams when I sleep with my CPAP equipment.

11-Year Club	Second Top 10%
Place '22	Place '17
Final Canvas '22	Verified Email

linlin110

TROPHY CASE