Новый язык Армада?

Очередное переизобретение Си. Есть же Go!

Есть же Go!

На помоечку.

А что, ниасилил?)

Новость об очередном академическом языке от M$ скорее лишняя. Их же 100500.

Что там осиливать? Язык для одноклеточных сделан, о чем сам Роб Пайк гордо и заявляет. Googlers, not researchers.

malloc/calloc/create_thread/ на уровень грамматики закодить – это сильно, язык далеко пойдет.

с C-подобным синтаксисом

Ненужно.

От С-подобного синтаксиса там особо ничего и не осталось. К той же гошке куда ближе.

За работу негры, солнце еще высоко!

                             %#=           &#          
                            %#%           &#?          
                           0#%           &#?           
                          0#%           %#0            
                         ?#%           %#0             
                        =@%           ?#0              
                        ??           =0?               
                       ??            0?       0?       
                      ?0            0?       0?%@%=    
                     ?0            ??       =0   %0    
                    ?0            ??        ?&==0?     
                   ?0            ?0         0@@%=      
                  ?0            ?0          00         
                 ?0            ?0          0?          
                =0            ?0          ??           
               =0=           ?0          ??            
              =0=           ?0          ?0             
             =0=           =0          ?0              
            =0=           =0          ?0               
           =0=           =0=         =0                
           0?           =0=         =0                 
          0?           =0=         =0                  
         ??           =0=         %&=                  
   =   =@0       =   0%?       ?&&#0                   
  =@@%0@&       =@%00@%       ?0###&=                  
  &@&@##&?     =@&&@##?      ?00&&%?                   
 &@&%@@&&%%   =@&%&@#@&%?   ?%%%???                    
0@&%&%==00   =@@&&&&&%%0   =%%%00?                     
%&%&%==00   ?@&&&&&&%%%    %%&%%0                      
0%&%?=?0   =@&&&&&&&%%    %&&%%0                       
 %&0===     =?%&&&&%&    =&&&%0                        
  =            =0&&&=     =000                         
                  ==                                   

с C-подобным синтаксисом

var i:int32 := 0

Из C-подобности только фигурные скобки.

Our implementation consists of a state-machine translatorto translate Armada programs to state-machine descriptions;a framework for proof generation and a set of tools fitting inthat framework; and a library of lemmas useful for invocationby proofs of refinement. It is open-source and available at https://github.com/microsoft/armada.

https://github.com/microsoft/armada

microsoft

Не, не нужно.

Он сделан для удобного написания типового кода, язык отличный и не переусложнен и не васик подзаборный.

URL msi Армады?

Мне интересен был бы Си подобный язык не «прибитый гвоздями» к своим библиотекам.
Пригодный лишь для написания алгоритма.
Что касается библиотек, то их валом.
Нынешние реализации C/C++ «прибиты гвоздями» к своим run-time библиотекам.

А чем не устравивает вариант с "-nostdinc -nostdlib" в GCC и аналогами в других компиляторах?

А чем не устравивает вариант с «-nostdinc -nostdlib» в GCC и аналогами в других компиляторах?

Взять к примеру C++.
Он «гвоздями прибит» к стандартам, class, …, …
Мне был интересен язык программирования, который позволяет лишь произвести кодирование алгоритма и не более.

предлагают язык программирования, оптимизированный для параллельных вычислений

Для этого же Ada есть.

Бред.

Это ваше понимание выше сказанного.

убери вонни, верни босса на место.

Зачем Го, когда есть давно питон со схожим по малословности синтаксисом и схожим по тормознутости рантаймом?

Ну что, он то он то победит Си, Си++, Раст и другие? Чай не функциональный а процедурно-декларативный - т.е. имеет больше шансов стать удобным инструментов, чем функциональщина

любое ваше пожелание, но в один прекрасный день вонни еще вернется

URL бинарников?