dr g
@mccaskill.bsky.social
serious about software, dabbles with drumming
Sounds like a good idea! Try the email you have for me, I've had it a long time now.....
July 26, 2025 at 5:30 PM
Sounds like a good idea! Try the email you have for me, I've had it a long time now.....
Cheers Keith! Much as I love #fsharp, I also enjoy this new wave of using C well; File Pilot is wonderful example of how badly the tech giants' enshitified software is bloated in comparison. In these agentic MCP/LLM times, I hope sanity hasn't arrived too late. Is AI any good for legacy systems?
July 26, 2025 at 3:45 PM
Cheers Keith! Much as I love #fsharp, I also enjoy this new wave of using C well; File Pilot is wonderful example of how badly the tech giants' enshitified software is bloated in comparison. In these agentic MCP/LLM times, I hope sanity hasn't arrived too late. Is AI any good for legacy systems?
Imp-77", Edinburgh ML", Prolog", Pascal", Occam", Ada", C*, Miranda/Haskell", C++", C#", F#"
my production code was written in the 80s/90s in C, in what I would, with hindsight, describe as an abstract data type imperative style. #fsharp makes that much easier than C, while offering so much more.
my production code was written in the 80s/90s in C, in what I would, with hindsight, describe as an abstract data type imperative style. #fsharp makes that much easier than C, while offering so much more.
April 16, 2025 at 7:51 PM
Imp-77", Edinburgh ML", Prolog", Pascal", Occam", Ada", C*, Miranda/Haskell", C++", C#", F#"
my production code was written in the 80s/90s in C, in what I would, with hindsight, describe as an abstract data type imperative style. #fsharp makes that much easier than C, while offering so much more.
my production code was written in the 80s/90s in C, in what I would, with hindsight, describe as an abstract data type imperative style. #fsharp makes that much easier than C, while offering so much more.
Wonderful! Does tldraw currently have 1 to many arrows? I couldn't find that, doh!
March 13, 2025 at 6:33 PM
Wonderful! Does tldraw currently have 1 to many arrows? I couldn't find that, doh!
There is so much to like about gleam!
Two things put me off gleam:
I love using camelCase. They won't let me.
A major feature of F#, which has been shown to encourage better code bases, is the lack of forward references.
Not having forward references can be a pain until you reap its benefits.
Two things put me off gleam:
I love using camelCase. They won't let me.
A major feature of F#, which has been shown to encourage better code bases, is the lack of forward references.
Not having forward references can be a pain until you reap its benefits.
March 13, 2025 at 12:37 PM
There is so much to like about gleam!
Two things put me off gleam:
I love using camelCase. They won't let me.
A major feature of F#, which has been shown to encourage better code bases, is the lack of forward references.
Not having forward references can be a pain until you reap its benefits.
Two things put me off gleam:
I love using camelCase. They won't let me.
A major feature of F#, which has been shown to encourage better code bases, is the lack of forward references.
Not having forward references can be a pain until you reap its benefits.
not a bad bookshelf to find yourself on. Just a few books away from Benjamin C. Pierce's "Types and Programming Languages" (System F implemented in OCaml anyone?), and Umberto Eco's "The Island of the Day Before". Cool!
March 12, 2025 at 9:38 AM
not a bad bookshelf to find yourself on. Just a few books away from Benjamin C. Pierce's "Types and Programming Languages" (System F implemented in OCaml anyone?), and Umberto Eco's "The Island of the Day Before". Cool!
The #fsharp world mostly uses the term workflow rather than monad, so I was tickled by Scott's choice; only FP students know what a monad is. I asked GPT about the monad vs workflow wars in F#, and it explained it all: seq {} is closer to an applicative functor than a monad because it lacks bind
March 11, 2025 at 7:51 PM
The #fsharp world mostly uses the term workflow rather than monad, so I was tickled by Scott's choice; only FP students know what a monad is. I asked GPT about the monad vs workflow wars in F#, and it explained it all: seq {} is closer to an applicative functor than a monad because it lacks bind
ps. I hate that Microsoft never properly supported 3D APIs for dotnet. Some #fsharp early demos did great stuff with 3D because there were working and easy to use dotnet DLLs for that technology.
Microsoft's 3D technology needed dotnet DLL bindings. For C# folks too.
Microsoft's 3D technology needed dotnet DLL bindings. For C# folks too.
March 2, 2025 at 5:34 PM
ps. I hate that Microsoft never properly supported 3D APIs for dotnet. Some #fsharp early demos did great stuff with 3D because there were working and easy to use dotnet DLLs for that technology.
Microsoft's 3D technology needed dotnet DLL bindings. For C# folks too.
Microsoft's 3D technology needed dotnet DLL bindings. For C# folks too.
by humans I mean everyone except those specific developers implementing an automatic file import or export for a computer program.
March 2, 2025 at 5:24 PM
by humans I mean everyone except those specific developers implementing an automatic file import or export for a computer program.
I worry about you missing stuff from use of the word "us". First paper I thought of checking is by Dijkstra, not that he, sadly, will be posting on Bluesky
February 16, 2025 at 7:59 PM
I worry about you missing stuff from use of the word "us". First paper I thought of checking is by Dijkstra, not that he, sadly, will be posting on Bluesky
To paraphrase from Jerry Maguire, Tarau had me at "Kolmogorov-Chaitin algorithmic complexity". More seriously, as I have no idea what that means, your code in iso.fsx is a pleasure to read, and such a great advert for #fsharp expressiveness.
February 15, 2025 at 4:42 PM
To paraphrase from Jerry Maguire, Tarau had me at "Kolmogorov-Chaitin algorithmic complexity". More seriously, as I have no idea what that means, your code in iso.fsx is a pleasure to read, and such a great advert for #fsharp expressiveness.