#verdigris — Public Fediverse posts

#FotoVorschlag 'Farbe: Grün (keine Pflanzen)' / Colour: green (no plants)'

Grünspan und Markise stehen im Wettbewerb um das Grün.

Verdigris and the awning are competing for the green.

#photography #fotografie #streetphotography #kupfer #gruenspan #verdigris #FensterFreitag #WindowFriday

#aColorAdayPril #verdigris and #vermilion on a #lavender wall

#FesterFreitag #WindowFriday #architecture #photography #photo #foto #fotographia #fotografie #travel #Paris #balcony #copper #verdigris #rooftop

This is one of my boldest abstracts, I think. Titled "Cri de Coeur," it features a distressed industrial patina of verdigris and blood and vermillion shades of red. Find it here: https://jon-woodhams.pixels.com/featured/cri-de-coeur-jon-woodhams.html

#verdigris #BuyIntoArt #Abstract #AbstractArt #ContemporaryArt #ArtPrints #BuyIntoArt #CreativeToots #FediGiftShop #AYearForArt #FallForArt #Art #ArtForInteriorDesign #TheGiftOfArt

@thisismyglasgow Down the rabbit hole from West George St! Your photo and text on #verdigris led me off into fascinating articles on "Verdigris and the Entrepreneuse" about the women-organised industry and international trade based in 18th century Montpellier. ( Access thanks to #wikipedialibrary )

now there's only one big thing left for the typechecker, which is to resolve traits that must be defined for a given type. I'm going to put that on the backburner for now while moving to the next step of the compiler, though.

#Verdigris #VerdigrisLang #PLDev

been tearing my hair out trying to figure out why some expressions were left untyped in my compiler - turns out, I had written a very nice function to make sure that each type is replaced; and then completely forgot to use it!

#Verdigris #VerdigrisLang #PLDev

I might actually take a brief break to update the repo, provide resources for people to try out what's written so far, and whatnot before proceeding to new stuff.

#verdigris #verdigrislang

next up will be conversion to a control flow graph, in order to determine lifetimes for variables, and check for correctness in borrows. After that, I think it'll finally be time to think about code generation!

#verdigris #verdigrislang

exciting #verdigris #verdigrislang update!

I think I've finally reached feature completeness for my typechecker! I can generate typings for some simple test programs, and so I can move forward to the next steps of program analysis!

found a pretty big issue in the typechecker for #verdigris #verdigrislang

at the moment, when checking a variable's definition to find type information, there's no connection added between the declaration and the usage, meaning that subsequent uses of a variable do nothing for providing type info

which is... very bad! but it's good that I caught it now, so I can find a solution.

all in all, some very exciting progress, courtesy of my latest sleep aid.

#verdigris #verdigrislang

I've also finally moved past the stumbling block that has been causing many of my current problems, which is that I was ignoring handling polymorphic types as something that could actually be the correct type, so long as it is inside a polymorphic function. Now, the typechecker correctly applies these types, and has a new "unknown" concrete type to represent as-of-yet unknown types for expressions and declarations.

#verdigris #verdigrislang

the biggest bit of progress so far has been solving namespace resolution, which allows you to write code like the following now:

module Test {
fn test(x): 'a -> 'a { x }
}
Test::test("Hello!");

#verdigris #verdigrislang

some exciting #verdigris #verdigrislang updates!

over the past two weeks, I've refactored the project's file structure to better organize each stage of the compiler, and have made some good progress on type checking!

one fun thing about #verdigris is that, since I support the concept of higher-kinded types, the typechecker actually has very few real cases to handle, since most types can be represented as applied higher-kinded types (for instance, functions "a -> b" can be thought of as "(->) a b" in the typechecker)

that's all I'm gonna talk about for now, but i'm gonna probably start posting about this more going into the future! there's a few really important features I haven't talked about at all that give this language a reason to exist ^_^ #verdigris

you know, it's probably about time I started talking about #verdigris, my programming language project I've been working on for the past couple years

After a quick flush to the nib and feed, it writes beautifully. I was expecting a dry writer, and I was ready to nib swap, but it's quite wet and smooth.

I filled it with Rohrer & Klingner Verdigris, it's a beautiful tealish-blue black ink.

My writing still sucks though.

#fountainpen #rorherkligner #verdigris #ink #fountainpenink #fountainpens #nib #feed #blueblack

Bat. Jubilee Fountain, Albert Square, Manchester, UK

#PhotoMonday #Photo #Manchester #Bat #gargoyle #copper #verdigris #fountain.

Titled "Cri de Coeur," this is one of my boldest works, I think: a geometric abstract with a distressed industrial patina. It's now available in my Pixels gallery: https://jon-woodhams.pixels.com/featured/cri-de-coeur-jon-woodhams.html #verdigris #patina #BuyIntoArt #Abstract #AbstractArt #ContemporaryArt #ArtPrints #BuyIntoArt #ArtistsOnMastodon #MastoArt #AYearOfArt #SpringIntoArt #ArtForInteriorDesign #ArtForInteriorDesigners