GitHub - microsoft/verona: Research programming language for concurrent ownership

GitHub - microsoft/verona: Research programming language for concurrent ownership

Research programming language for concurrent ownership - microsoft/verona

43 mentions: @nwtgck@Linda_pp@ParkyMatthew@luckystar___@jedisct1@RustLibHunt@abionic@vain0x
Date: 2020/01/18 09:50

Referring Tweets

@luckystar___ Microsoftが公開した研究段階の新言語verona t.co/y1DdVBzecL見てみました。rustにインスパイアされてるみたいですが、メモリの安全性に対してcownと呼ぶオブジェクトのラッパーがあり、cownでラップされたオブジェクトへのアクセスは非同期化&スケジュール化されるようです。楽しい(続く🙂
@nwtgck Microsoftが作ってるRustみたいな言語ついに公開されたのか! t.co/IMIPhCKR5g
@Linda_pp Microsoft が研究で試作(t.co/GvWqZSFPwe)してる言語 Verona のコードを公開.C, C++ の代替を模索してるっぽくて,Concurrent Ownership という新しい並列モデルを採用してる | 'microsoft/verona: Research programming language for concurrent ownership' t.co/X68XMadOVt
@ParkyMatthew We just moved Project Verona into the open on Github to facilitate academic collaborations in language research. t.co/rUY6JDSfqg
@jedisct1 Microsoft Verona is a research project around language and runtime design for safe scalable memory management and compartmentalisation, improving over Rust, Cyclone and Pony. t.co/iYMiFTZUFS
@vain0x verona 言語、Rust だと unsafe にならざるをえない複数スレッドでの状態共有を並行所有権で静的に解決する、っていう実験言語っぽい / t.co/53V4EPBuoK
@miguelinlas3 Project Verona is a research programming language to explore the concept of concurrent ownership t.co/vncnhTwAI6
@abionic Project Verona by @Microsoft t.co/0eTIRo9rWh A research project exploring a programming language with concurrent ownership. #Verona #academic #softwaredevelopment #programming

Related Entries

Read more How we built the good first issues feature - The GitHub Blog
0 users, 26 mentions 2020/01/22 17:00
Read more [1903.03129] SLIDE : In Defense of Smart Algorithms over Hardware Acceleration for Large-Scale Deep ...
0 users, 43 mentions 2020/03/06 17:21
Read more Building an AI to Predict Human Age From Just a Blood Samplegithubyoutubelinkedin
0 users, 10 mentions 2020/03/09 17:20
Read more AI for 3D Generative Design - Insight Fellows Program
2 users, 31 mentions 2020/03/20 16:31