~lobsters | Bookmarks (80)

clear filters

Welcome to Claro! - The Claro Programming Language (DRAFT)

clarolang.com

plt
2
jank development update - Dynamic bindings and more!

jank-lang.org

c++clojure plt
1
Unification-free ("keyword") type checking

haskellforall.com

From my perspective, one of the biggest open problems in implementing programming languages is how to...
From my perspective, one of the biggest open problems in implementing programming languages is how to add a type system to the language without significantly complicating the implementation. For example, in my tutorial Fall-from-Grace implementation the type checker logic accounts for over half of the code. In the f...

plt
1
GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.

github.com

math plt
1
Unexplanations: query optimization works because sql is declarative

scattered-thoughts.net

plt
1
Planner programming blows my mind

hillelwayne.com

Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I...
Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I originally learned it to help with vacation scheduling but soon discovered its planner module, which is one of the most fascinating programming models I’ve ever seen. First, a brief explanation of lo...

constraint solving niche language demos picat plt raku
2
Why is Prettier rock solid?

mrmr.io

I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do...
I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do (note that gofmt doesn't indent, which is the hard part). Yes, it was announced in a real life conference, which helped get the initial momentum behind it. All that is fine, but what was a bit inexplicable to me is its quality. You mi...

haskell plt
1
Bergamot: Exploring Programming Language Inference Rules

danilafe.com

plt
1
Go (LEFT) CUE: Shifting Go left with CUE - Roger Peppe

youtube.com

devops go plt science & technology video
1
Chris's Wiki :: blog/programming/GoReflectTypeForOptimization

utoronto.ca

Go's reflect.TypeFor() is a generic function that returns the reflect.Type for its type argument. It was...
Go's reflect.TypeFor() is a generic function that returns the reflect.Type for its type argument. It was added in Go 1.22, and its initial implementation was quite simple but still valuable, because it encapsulated a complicated bit of reflect usage. Here is that implementation: func TypeFor[T any]() Type { return T...

go plt
1
From Go to Rust: The Two Types of Readable Code

earthly.dev

plt programming
2
Visualizing Packrat Parsing

dubroy.com

plt visualization
2
Maybe Everything Is a Coroutine - Adam Nelson

nels.onl

plt
1
I wish Go had a retry block - Xe Iaso

xeiaso.net

go plt
2
Parse, don’t validate

lexi-lambda.github.io

haskell plt programming
1
Validation of Modern JSON Schema: Formalization and Complexity

arxiv.org

Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON...
Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language added two novel features, dynamic references and annotation-dependent validation, that change the evaluation mode...

compsci plt web
1
Zest: notation and representation

scattered-thoughts.net

plt
1
GitHub - kneasle/sapling: A highly experimental vi-inspired editor where you edit code, not text.

github.com

plt
2
Let futures be futures

without.boats

plt rust
2
Introducing Pkl, a programming language for configuration :: Pkl Docs

pkl-lang.org

plt release
2
Making Async Rust Reliable

tmandry.gitlab.io

plt rust
1
Simple Functional Effects with Tag Unions • Richard Feldman • YOW! 2022

youtube.com

plt science & technology video
1
Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

youtu.be

haskell people & blogs plt programming video
1
The Theory of Concatenative Combinators

tunes.org

This article attempts to outline, in informal terms, a new theory of combinators, related to the...
This article attempts to outline, in informal terms, a new theory of combinators, related to the theory of Combinatory Logic pioneered by Moses Schonfinkel, Haskell Curry, and others in the 1930s. Although not essential, an understanding of the classical theory of combinators may be helpful (see the links at the bot...

compsci plt
2