Login
Username:

Password:

Remember me



Lost Password?

Register now!

Sections

Who's Online
63 user(s) are online (44 user(s) are browsing Forums)

Members: 1
Guests: 62

Marcian, more...

Headlines

 
  Register To Post  

Nice developing software
Quite a regular
Quite a regular


See User information

Retired
Go to top
Re: Nice developing software
Home away from home
Home away from home


See User information
@AmigaBlitter
I remain unconvinced that formally-verified software (compilers or anything else) are worth the massive difficulties & complexities.

I think that there are much easier ways to improve modern software, such as the approach taken by the Rust programming language. (Either Rust will become a hugely popular programming language, or another language will popularise it's ground-breaking ideas. But it may just take a decade for that to happen.)

Oh, and I think GCC is a dead-end. It'll get replaced eventually.

Author of the PortablE programming language.
Go to top
Re: Nice developing software
Home away from home
Home away from home


See User information
@ChrisH

What are Rust's "ground-breaking ideas?" I've heard of Rust in passing, but have no idea what it's like.

Hans

http://hdrlab.org.nz/ - Amiga OS 4 projects, programming articles and more.
https://keasigmadelta.com/ - more of my work
Go to top
Re: Nice developing software
Home away from home
Home away from home


See User information
@Hans Quote:
What are Rust's "ground-breaking ideas?" I've heard of Rust in passing, but have no idea what it's like.

While I don't have any first-hand experience (yet), it allows you to do "fearless parallelism". If your multi-threaded program compiles, it's impossible to have the subtle bugs commonly associated with multi-threaded programs.

So multi-threaded programming goes from being something only highly-paid bearded experts can do, to something that most half-decent programmers can do.

It mainly achieves that through a concept of fine-grained memory 'ownership', which is checked at compile time. This involves some extra syntax, which on it's own would probably be fine... But Rust also chooses to make the rest of it's syntax quite different (I suspect for no good reason), which might prevent it's wide-spread adoption. (C-style syntax seems like a common requirement for a language becoming popular - with a few exceptions.) (edit: Glancing at Rust again, it's changes to C syntax don't seem too bad, and mostly exist for good reason.)

Rust also has (at least) several different multi-tasking/communication models. Provided as modules, which are all built out of the same basic syntax, so Rust is rather flexible. I get the impression that Rust's "module ecosystem" is still evolving because of this, but they have at least gotten far enough to nail-down the core language/syntax by now. The best is probably yet to come...


Edited by ChrisH on 2018/2/7 7:36:43
Edited by ChrisH on 2018/2/7 7:38:08
Edited by ChrisH on 2018/2/18 17:23:30
Edited by ChrisH on 2018/2/18 17:24:01
Edited by ChrisH on 2018/2/18 17:24:34
Author of the PortablE programming language.
Go to top
Re: Nice developing software
Home away from home
Home away from home


See User information
@Hans
Humble Bundle which includes a book on "Progamming Rust", although sadly only included in the top tier (about £11) :
https://www.humblebundle.com/books/functional-programming-books

There's a preview with the barest outline of some of Rust's ideas:
https://dl.humble.com/ops/pdfs/program ... 141dcfef59731ff5eaa21556d

And no, Rust is NOT a Functional programming language, so I don't know why they included it in the bundle!

Or you could just read this guide for free:
https://doc.rust-lang.org/book/
https://doc.rust-lang.org/book/second- ... erstanding-ownership.html


Edited by ChrisH on 2018/2/12 21:08:00
Author of the PortablE programming language.
Go to top

  Register To Post

 




Currently Active Users Viewing This Thread: 1 ( 0 members and 1 Anonymous Users )




Powered by XOOPS 2.0 © 2001-2023 The XOOPS Project