Christian Findlay

Dev tools so good you can’t ignore them. Basilisk 🐍 Python type checker scores 100% on PEP tests | Director of @nimblesite

[Christian Findlay @CFDevelop]

And here it is!!! My new programming language Osprey! This has been a 20 year long dream, finally made possible with AI assistance. So stoked this is finally possible! 🎉

Stars and shares appreciated! ✨

https://t.co/j7Ptksje4v

[Christian Findlay @CFDevelop]

A good read about Free-Threaded Python and type checking

[Basilisk @BasiliskPython]

Type checking is more important than ever with the advent of Free-Threaded Python. Read about it here

https://t.co/k4DKxv7dJS

[Christian Findlay @CFDevelop]

@Mike_Preston17 “There's no magic language that solves null completely or has enough knowledge about itself to prevent it.”

That’s just bullshit. You pointed out that the Option<T> pattern is a good option. When implemented properly with exhaustiveness checking. NREs are gone

[Christian Findlay @CFDevelop]

@Mike_Preston17 You’re talking like I haven’t spent years combing over this exact problem, and in many languages. I have. I understand everything you’re saying. I’ve written about it quite a lot. Here is an old article that mentions the billion dollar problem

https://t.co/zec2nZdWqT

[Christian Findlay @CFDevelop]

@satechdev This is truly amazing. It’s just so straightforward and immediate.

[Christian Findlay @CFDevelop]

The Python memory profiler in Basilisk is amazing. Just open a python file and tap "Run and Track Memory" and you get an analysis like this

[Christian Findlay @CFDevelop]

@Mike_Preston17 Grok is roughly right on most things but still just mixing up a bunch of different issues into one thing. There is not billion dollar null problem. That was a description of what null pointers were when they originally landed. Most languages have dealt with this stuff

[Christian Findlay @CFDevelop]

@satechdev

[Christian Findlay @CFDevelop]

Leak detection is just mindblowing

[Christian Findlay @CFDevelop]

@Mike_Preston17 The problems that it is talking about are a different set of problems. It's not the null issue that C# still has

[Christian Findlay @CFDevelop]

@Mike_Preston17 I really have no idea what you're talking about

[Christian Findlay @CFDevelop]

@jamonholmgren I’m finding that most of the people I work with don’t know what’s happening because they’re not using powerful agents.

[Christian Findlay @CFDevelop]

@codemullins Haven't dug into it thoroughly but it 's definitely way better at UI than 5.5

[Christian Findlay @CFDevelop]

@EchoOfPixels Shameless plug

https://t.co/XVimngFquR

[Christian Findlay @CFDevelop]

.NET dev: I prefer C# over Python because it’s strongly typed

Me: Python has a better type system than C#. It has unions

.NET dev: I have no idea what you’re talking about but at least .net has runtime safety

Me: no it doesn’t. Nullability is not enforced

Try Basilisk 🐍

[Christian Findlay @CFDevelop]

@EchoOfPixels .NET still has its place. F# is an amazing language. Python is not more strongly typed, but the type system is better because it doesn’t have all the baggage of the C# ecosystem

[Christian Findlay @CFDevelop]

@EchoOfPixels Yep. Actually Mojo aims to fix this in Python. The plan is to eventually introduce rules for this in Basilisk

[Christian Findlay @CFDevelop]

@MrPeterLMorris @sebify Unions are first class feature in F#

[Christian Findlay @CFDevelop]

@cherepets @NeutraleNull Because result monads completely erase classes of mistakes that are possible with other kinds of error handling like exceptions. C# is just one of the last major languages left standing that doesn’t support it properly

[Christian Findlay @CFDevelop]

@EchoOfPixels The term “strongly typed” is very imprecise and conveys very little information. Most languages are way more similar than people think. C# only has null safety at the analyzer level and you have to opt-in to use it. No safety at runtime so it’s similar to Python like this

[Christian Findlay @CFDevelop]

@MrPeterLMorris Fair but the language and the runtime are not necessarily coupled. One may come out before or after the other from my understanding