mamcx

43 ms·

631.
by mamcx 5y ago
> It’s interesting how much SQL, a declarative language , I think this is the main mistake. SQL is not declarative language , is a high-level DSL: 1 + 1 = 2 //most PLs SELECT 1 + 1 = 2 //SQL SET 1 + 1
632.
by mamcx 5y ago
Consider it lucky Magpie is using Rust. Imagine if instead rewrite it in JS with they new shinny frameworks...
633.
by mamcx 5y ago
Ok, this is for a Maybe/Option, but can't see how can work for any algebraic type. I have this for mine: struct Ag { tag :String, //like "Option.None" data:Vec<Value> //The
634.
by mamcx 5y ago
The big problem with addresses and all that is the same whatever you use JSON or not (in the DB or in the app logic). I concede that using JSON in the DB and move the logic to the App is ok and in part because SQL is an incomplete language.
635.
by mamcx 5y ago
No. I was directly pointed to the quote. Because is a common narrative "if you have problems in a RDBMs, get out of a RDBMS and use nosql". The previous post kinda say the same, but is weird because call the quote great?
636.
by mamcx 5y ago
Yeah, that is right. But is tangential to be relational. You can have relational data in a causal way. Now, i see that some think "relations" are PK/FKs and that only GLOBAL coherence is the only way to make relations to work
637.
by mamcx 5y ago
> [...] in some instances you might work with vast quantities of data, or deal with transactional systems that just don’t easily fit the operational limitations of relational databases. And in those cases, you should consider moving some
638.
by mamcx 5y ago
Can be show how is done, with data instead of algorithms? (aka "...show me your tables and I won't usually need your flowcharts; they'll be obvious." ~ Fred Brooks") Haskell is hard to decipher for me...
639.
by mamcx 5y ago
> So the database model and query language gets significantly more complex for dubious benefit. Sum types are definitively not a "dubious benefit". Neither nesting relations (that are not that different to join them and will p
640.
by mamcx 5y ago
I think you analysis is correct. I also add that is related too to the languages, you point with Cobol, and I also add C, Pascal, Java, etc. When they have nulls and limited to zero queries, relationships and data modeling capabilities is n
641.
by mamcx 5y ago
Great!, I have the project at https://tablam.org
642.
by mamcx 5y ago
Even considering that normal forms are tools... Sum types, how them are stored and how they are used is not the same ie: How are sum types represented in languages like Rust/oCalm? that is tangential as how we experience them. So, supp
643.
by mamcx 5y ago
I'm making a relational lang ( https://tablam.org ) and this was one of the question marks for me. The #1 reason sum types was not presented is because "nobody" thought (seriously) about that for long time. See how
644.
by mamcx 5y ago
I found it make far easier to see what object are candidates for sync, and to know the original row in the server. I think makes a diference if exist a master database or if is peer-to-peer..
645.
by mamcx 5y ago
Why? I have done this before and found negative much easier to use and understand. UUID have the nasty property that deny easy debugging, logging or any kind of HUMAN understanding...
646.
by mamcx 5y ago
I'm interesting to se how can this apply for "regular" database apps (like invoicing). I need to add sync/offline to my main app and want something solid to build upon (have done things homemade before) and has wonder if
647.
by mamcx 5y ago
I work in ecommerce/erp space and I need something like this, but not JS (I using Rust now). I tried in the past build my own but is truly hard!. I make a "event log" database but it sometimes could become so big that fill th
648.
by mamcx 5y ago
This is tangential but also a validation. FoxPro (& dBase) is a realization of the concept: To deal with databases, you need a database language. Exist a lot of minor things that our apparent "general-purpose" languages lack
649.
by mamcx 5y ago
> 128-bit RISC-V has nothing to do with SIMD, Maybe. The point is that you can encode more per unit, so you can batch more things in one go. Is not exactly SIMD as is today, but is also the same idea.
650.
by mamcx 5y ago
How far in the deep make a difference, but is easy to not even see a way out when afloat. That is why I say is a "trap" instead of being wrong. I lived in one of the worst places on the city of Medellin in the worse times of that.
651.
by mamcx 5y ago
> no you cannot invest in stocks/coins/anything if you consistently fall behind with your utilities payments or spend all your salary on booze on first weekend after payday. Well, this is another trap! You CAN. ---- One thing t
652.
by mamcx 5y ago
> 2. What type of applications would benefit consumers and general computing at scale? I'm not a expert, but this will make "SIMD" nearly everything. In special, will allow data to be encoded as vectors and processed in ba
653.
by mamcx 5y ago
TailwindCSS is the biggest jump in productivity for me in years. I think where it shine most is when you are making your own UI and need to deploy different components/customizations, ie: If you are doing a single page site is not that
654.
by mamcx 5y ago
This make me wonder how could this be applied in an interpreter. I have one with array/relational semantics and have wonderer how to pack N-values per row/column that is efficient to encode/Decode, but always fear that all th
655.
by mamcx 5y ago
> It lacks a do-notation system, currying by default and guaranteed tail-call optimisation. And instead gives plain structs with separate impls, traits like Into/From that cut tons of custom-made transformation code, more uniform it
656.
by mamcx 5y ago
Yeah, that is cool, and also show the problem :). Internal iterators and/or lambdas are at odds with imperative code. Some guy also yesterday ponder about this stuff: https://www.reddit.com/r/ProgrammingLanguages&#
657.
by mamcx 5y ago
I do similary, moving out Vue (that I like much and in some context could be great) and use tailwind + htmx. Incredible upgrade!
658.
by mamcx 5y ago
Yeah, I'm aware of the other options, just pointing that the use of lambdas break the flow.
659.
by mamcx 5y ago
I like functional code, except that because the use of lambdas is awkward to "escape" them: nums.iter().map(|x| if x > 10 break(?)) This little thing is the major problem of functional chains (this is only a toy versio
660.
by mamcx 5y ago
I use F# a lot and like it, but imperative code was problematic to do. Now using Rust, I think I'm even more functional than ever. One key thing is that I can put a simple loop here and there (inside functions) and still the interfaces

More ›