West Asia - Communist - international politics - anti-imperialism - software development - Math, science, chemistry, history, sociology, and a lot more.

  • 21 Posts
  • 215 Comments
Joined 3 years ago
cake
Cake day: December 27th, 2021

help-circle











  • Cyclohexane@lemmy.mlMtoMemes@lemmy.mlAlways has been
    link
    fedilink
    arrow-up
    4
    ·
    edit-2
    5 months ago

    You’re correct that inflation is the devaluation of money. The value of a unit of money is represented by what that unit can buy, so the person you replied to is also correct. This is why the most used indicators of inflation are measures of buying power.

    If my money is devalued, it means that when I was able to buy 1 gallon of milk, I can now only buy 3/4ths a gallon with the same amount.

    So while you’re correct in your over simplified example that inflation can be caused by the growth in “pool of money”, as you alluded, it is not that simple and its not the only cause. Moreover, inflation still manifests itself in the form of prices increasing. If pool of money grows, but prices remain the same, there’s no inflation.

    This does not necessitate a “canal of businessmen” conspiring.





  • I won’t remember everything, but one very important things comes to mind:

    in Typescript, it is very difficult to assert on a type (let me know if you’re not familiar with what I mean by this and I can explain further). In OCaml, this is trivial using pattern matching.

    Why would you need that? The idea of a type system is it doesn’t let you apply a function on a structure without the structure being of the right type. But the lack of type assertion in TS makes people follow hacky workarounds, which defeat the purpose of type system.

    There are a couple of other things, like immutable types by default, automatic tail call optimization, functors enabling higher kinded types, etc.

    Also in ocaml, you don’t have to annotate any types on any variable or parameter, and you’ll still get full type protection.