patricksli

16 ms·

1.
by patricksli 7y ago
Hello! Are you a programming language nerd? Are you interested in compilers and interpreters? Have you always liked them, but felt apprehensive about actually implementing one yourself? A few years ago, I had the privilege of teaching a gra
2.
Implement a Just-in-Time Compiler from Scratch(patricksli.com)
1 points by patricksli 7y ago|1 comments
3.
by patricksli 8y ago
Yeah, we know that A.I. is an overused term nowadays. But a lot of our techniques are taken straight out of AAAI proceedings. The problem is too hard to not take advantage of the latest techniques.
4.
by patricksli 8y ago
Stanza is our implementation language. If you're interested, you can check out the website www.lbstanza.org. It looks pretty similar to Python, plus it also has types!
5.
by patricksli 8y ago
For advanced designs with lots of compliance requirements, our tool isn't yet able to fully-automatically compute the final design. For these designs, the tool does the parts it can and leaves the rest to be handled by an engineer. We
6.
by patricksli 8y ago
Our tool can be configured to source parts from specific vendors, such as Digi-Key and Mouser, etc. We plan to replace most of the needs for prototyping. But there is still about a 3-4 day turn to get your boards back from the fab. If you h
7.
by patricksli 8y ago
Yup this is L.B. Stanza! The tool is still internal for now. We're operating as a design service today, and our own engineers use the tool to produce designs quicker than other human-powered competitors.
8.
by patricksli 8y ago
Good question. Jonathan and I both from a lisp background and are used to crafting DSLs out of s-expressions (which is what we normally do). For JITX, we're using a language called Stanza, which provides decorated s-expressions out o
9.
by patricksli 8y ago
Thanks! When we were teaching an electronics design course at Berkeley, we were lucky to have a couple of desktop mills handy. When we coupled JitPCB with the mills, we could completely sidestep the need for breadboards completely, even dur
10.
by patricksli 8y ago
Thanks very much for letting us know! For now https://www.jitx.com works fine. We'll have to take a look at our web configuration.
11.
by patricksli 9y ago
Ah I have skimmed through the webpage for Pyret before. It's nice to meet you. I have some questions for you about that that I'll ask you later. What you're describing is, I believe, one particular strategy among many with th
12.
by patricksli 9y ago
Optional typing is the general term for such type systems. "Gradual typing" was coined originally in a paper by Jeremy Siek and refers to a specific set of axioms that must be satisfied. Thank you for the link though. I will see h
13.
The Design of Stanza's Optional Type System(lbstanza.org)
32 points by patricksli 9y ago|19 comments
14.
by patricksli 9y ago
Hello everyone. Since there's been interest in the D-expressions paper, I wanted to add that Jonathan Bachrach (the first author on the paper) is actually my Ph.D. advisor, and we just released a new programming language a few months a
15.
The Design of Stanza's Optional Type System(lbstanza.org)
2 points by patricksli 10y ago|0 comments
16.
“Stop Designing Languages. Write Libraries Instead.”(lbstanza.org)
41 points by patricksli 10y ago|5 comments
17.
by patricksli 10y ago
The L.B.Stanza Programming Language now has support for 64-bit Windows systems. Stanza is a new optionally-typed general purpose programming language from U.C. Berkeley. If you're interested, see our original posting at https:/&#
18.
Stanza Programming Language Now Supports Windows(lbstanza.org)
1 points by patricksli 10y ago|1 comments
19.
by patricksli 10y ago
Now it's official. I'll add an announcement to #lbstanza on the website.
20.
by patricksli 10y ago
The immediate difference is that Stanza is optionally-typed while those three are all purely statically-typed. A dynamically-typed language behaves very differently than a statically-typed language with type inference. For example, Scheme i
21.
by patricksli 10y ago
Sure. The paper is called "Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance" by Allen, Hilburn, et al.
22.
by patricksli 10y ago
James Martin wrote a VIM Stanza syntax highlighter. It's not on the webpage yet, but a quick google search will give you it. Writing modes in Emacs lisp is a little more daunting and we have yet to do it.
23.
by patricksli 10y ago
Thank you Keno! Congratulations on Julia Computing LLC as well. In a past life, I studied machine learning, and often wished there was a better alternative to Matlab.
24.
by patricksli 10y ago
Dylan was way ahead of its time. Now is the time to bring many of its contributions into the light again.
25.
by patricksli 10y ago
We have a very powerful concurrency mechanism but no support for physical parallelism yet. What this means is that it is easy to write programs containing many things that seem like they're happening simultaneously (eg. video games and
26.
by patricksli 10y ago
We are planning to add a static method ambiguity check in Stanza. There are just some theoretical hurdles to solve in order to detect them properly in the presence of parametric types. That's been recently solved (though not by us) so
27.
by patricksli 10y ago
Yes. We just realized that as well. We're currently using a font called Menlo that isn't on every platform. We'll be replacing it with more widely available font.
28.
by patricksli 10y ago
First and foremost, Stanza was designed for myself, to solve the problems that I repeatedly face in my own programming. I mostly write software that is end-user-facing and interactive, with requirements that aren't known at the beginni
29.
by patricksli 10y ago
We're still working on a paper on comprehensive performance measurements, but we don't expect to see the same slowdown. Very intentionally, we called Stanza an "optionally-typed" language instead of a "gradually-typ
30.
by patricksli 10y ago
A comprehensive benchmark suite is in the works.

More ›