Recent

Author Topic: converting C++ over laz, issues with template operators conversion  (Read 13321 times)

ASBzone

  • Hero Member
  • *****
  • Posts: 678
  • Automation leads to relaxation...
    • Free Console Utilities for Windows (and a few for Linux) from BrainWaveCC
Re: converting C++ over laz, issues with template operators conversion
« Reply #30 on: March 14, 2021, 01:11:58 am »
I'm not sure why you believe this to be a reasonable expectation.  Can you point to any language compiler in use today which comes close to behaving like this?

It is one of the biggest reasons people are making new languages nowadays

Spark (Ada), Wuffs, Idris, Agda, ATS are some

They have an integrated theorem prover to prove everything in the code is correct

Interesting.   That (the dispute in this thread) doesn't seem to be what integrated theorem provers are intending to address, according to the following link, but the entire thing is new to me, so...

https://en.wikipedia.org/wiki/ATS_(programming_language)
-ASB: https://www.BrainWaveCC.com/

Lazarus v2.2.7-ada7a90186 / FPC v3.2.3-706-gaadb53e72c
(Windows 64-bit install w/Win32 and Linux/Arm cross-compiles via FpcUpDeluxe on both instances)

My Systems: Windows 10/11 Pro x64 (Current)

jamie

  • Hero Member
  • *****
  • Posts: 6091
Re: converting C++ over laz, issues with template operators conversion
« Reply #31 on: March 14, 2021, 03:15:41 pm »
all of this mess just because I needed a Reference return?

One that is documented so that it does not become a victim of a Oops and then blanket statement out.

Other languages support this.


Have a good day
The only true wisdom is knowing you know nothing

 

TinyPortal © 2005-2018