#LinearTypes

Latest posts tagged with #LinearTypes on Bluesky

Trending

#Sinners #Misunderstood Songs #Wildflower Hour #Firefly #Canada's Politics #Spurs #Oscars #Liverpool FC #Ukraine Conflict #U.S. Foreign Policy #Sinners #Misunderstood Songs #Wildflower Hour #Firefly #Canada's Politics #Spurs #Oscars #Liverpool FC #Ukraine Conflict #U.S. Foreign Policy

Posts tagged #LinearTypes

Grégoire Locqueville

@glocq.mathstodon.xyz.ap.brid.gy

8 months ago

Original post on mathstodon.xyz

Just found out about the ATS programming language, a functional language with #DependentTypes, and with C-like control over memory allocation thanks to #LinearTypes. I've been longing for a #Haskell -like language that could be used for low-level real time #AudioProgramming , so this looks very […]

1 0 1 0

Ranjit Mathew

@rmathew4bs.bsky.social

2 years ago

Interview with Fernando Borretti about Austral - a systems programming language with linear types Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with...

Nice:

“Interview With Fernando Borretti About Austral - A Systems Programming Language With Linear Types”, LambdaClass (blog.lambdaclass.com/austral/).

On HN: news.ycombinator.com/item?id=3875...

#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability

0 0 0 0