#typesystems

1 month ago

‘Sound Default-Typed Scheme’ by Jan-Paul Ramos-Davila
janpaul.pl/assets/pdfs/...

Presentation at ICFP/SPASH’25: youtu.be/VszVHbIX71c

Found via racket-stories.com
#types #typesystems

2 0 0 0

Zarar

@zarar.dev

2 months ago

Struct Updates Now Require Pattern Matching in Elixir 1.19 After upgrading to Elixir 1.19, you might see warnings like this: The fix is to pattern match on the struct when you define the variable: Both ...

The upgrade to 1.19 continues and we discover a long-time convenience being snatched away in favour of more explicit syntax as Elixir adopts gradual set-theoretic types.

zarar.dev/struct-updat...

#elixir #elixirlang #typesystems

10 3 0 0

Hacker News Companion

@hncompanion.com

4 months ago

Many problems dependent types solve can be tackled pragmatically with alternatives. Rust's const generics or C++'s non-type template parameters offer strong compile-time guarantees without full dependent types. #TypeSystems 3/6

0 0 1 0

Hacker News Companion

@hncompanion.com

4 months ago

Elixir's gradual type system adoption is a hot topic. It allows developers to integrate types at their own pace, balancing immediate productivity with long-term robustness. A flexible path, but some debate its impact on broader adoption. #TypeSystems 2/6

0 0 1 0

AI Coding Weekly

@handle.invalid

9 months ago

Type-constrained code generation with language models | Hacker News The article discusses the potential of type-constrained code generation using language models, particularly focusing on the advantages of specializing models for specific programming languages. It highlights the idea that smaller AI labs could excel by creating highly specialized models for less common languages, as larger models may not perform as well in niche areas. The discussion includes insights on how type systems, like those in TypeScript, can enhance the performance of language models in code generation, but also notes the challenges they face with complex types and error handling. A key takeaway is the suggestion that combining a general model with specialized fine-tuned models could yield better results in code generation tasks.

Type-constrained code generation could be the next frontier for LLMs. Smaller AI labs might outperform giants by specializing in niche programming languages. Combining general models with fine-tuned specialists could be the winning formula! 🧠💻

#AI #Programming #CodeGeneration #TypeSystems

0 0 0 0

Renzume.

@renzume.com

1 year ago

Developer builds feed aggregator in Gleam, shares insights on type-safety and Erlang VM integration
https://olano.dev/blog/gleam-coming-from-erlang
#programminglanguages #gleam #erlang #typesystems #feedaggregator

0 0 0 0

Renzume.

@renzume.com

1 year ago

New functional language Neut brings static memory management without GC or type annotations
https://vekatze.github.io/neut/overview.html
#programminglanguages #memorymanagement #typesystems #functionalprogramming #developertools

1 0 0 0

Functional Conf

@fnconf.bsky.social

1 year ago

Ishan Bhanuka showing us "Type System Foundations for Super-Charged Semantic Code Search" #live at #FnConf 2025.

#TypeSystems

0 0 0 0

Rahul Gopinath

@rahul.gopinath.org

1 year ago

I wonder if (1) any one has done any study on the strength of type declarations on a program (or strength of types in general) and (2) if there are other metrics one could use for evaluating the strength of types.

#softwaretesting #mutationanalysis #mutationtesting #typesystems #strongtypes

0 0 1 0

Posts tagged #typesystems