Sebastian Graf
@sgraf1337
Followers
280
Following
4K
Media
29
Statuses
712
Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]
Karlsruhe, Baden-Württemberg
Joined July 2014
I finally overhauled my blog (it just took a PhD worth of time) and published a new blog post, using Haskell to make denotational semantics executable:
0
0
0
Shower thought: LaTeX is a weird syntax for Haskell +dynamic scoping -memoisation -IO to sequence side-effects
1
0
5
I'm currently evaluating what is the best hygiene system to implement in Template Haskell, because the current one is not even hygienic: https://t.co/9Hpr0gHFDl Good thing there is https://t.co/niQwHnGO6v tracing decisions that led to different systems with a few examples.
dl.acm.org
The fully parenthesized Cambridge Polish syntax of Lisp, originally regarded as a temporary expedient to be replaced by more conventional syntax, possesses a peculiar virtue: A read procedure can...
2
4
20
In nur wenigen Bereichen hat die politikwissenschaftliche Forschung mehr „hartes“ Wissen sammeln können, wie es für den Bereich des Außenverhaltens von Demokratien gilt. Aber leider scheint dieses Wissen verloren zu gehen. Ein Thread: (1/13)
14
74
217
Quite excited about this! It seems I finally found the right S to do what I want :)) Plus, once you have the setup right, typesetting in lhs2TeX is absolutely glorious
0
0
3
Right, it's more often called "live *variable* analysis". The point still stands
0
0
1
Why do we live in a world where "liveness analysis" in a compiler infers "potential liveness", which is not a liveness property (in model checking terms) but a safety property?! Googling either subject is next to impossible...
1
0
2
*own Scott domain, as I'm quite certain it's algebraic but lack the tools to prove it
0
0
0
What is your favorite introductory text to Domain Theory for someone who simply wants to define their own domain and get on with it? Couldn't grok Abramsky, was intrigued by Scott's information systems and really love Cartwright so far https://t.co/KBBMzXZl27 Anything else?
2
0
1
compiler: Implement higher order patterns in the rule matcher
github.com
This implements proposal 555 and closes ticket #22465. See the proposal and ticket for motivation. The core changes of this patch are in the GHC.Core.Rules.match function and they are explained in...
0
1
3
@IdeHaskell (I'm afraid I have to dial back on the successful part, though... Apparently it tries to rename constructors beyond module boundaries when it refuses to do so for functions?)
0
0
0
Wow, I just did my first successful LSP-driven renaming refactoring on GHC's code base 😍 Thanks so much @IdeHaskell!!
2
0
4