bisimulation.bsky.social
🇮🇹 • alecsferra.github.io
184 posts
33 followers
34 following
Regular Contributor
Active Commenter
comment in response to
post
Wdym it's not common?
comment in response to
post
This but also with non termination
comment in response to
post
Isn't the standard proof just erasure to F_\omega?
comment in response to
post
this actually works way too well omg
comment in response to
post
Ah no it's called just UndecidableInstances
comment in response to
post
I love AllowUndecidableInstances
comment in response to
post
Not gamers but game devs
comment in response to
post
Where?
comment in response to
post
Racket is every PL together so it's also his birthday
comment in response to
post
Crust (github.com/tsoding/Crust) but for OCaml?
comment in response to
post
No but I guess now I have to, thanks
comment in response to
post
Look what they need to do to mimick just a fraction of the power of do notation
comment in response to
post
Why? The only thing I don't like is that they are stupidly slow
comment in response to
post
Parser combinators
comment in response to
post
Oh that's so smart
comment in response to
post
LaTeX should be banned by the Geneva convention
comment in response to
post
What book?
comment in response to
post
Ideal language checklist:
- No HM type system
comment in response to
post
All of those are a special case of abstract categories.
Abstract categories are a: respecting the following laws:
comment in response to
post
(Bool -> Int) -> Int in haskell
comment in response to
post
LMAO
comment in response to
post
(Fin 3 -> Int) -> Int
comment in response to
post
Application form anarchism
comment in response to
post
I actually think we shouldn't care
comment in response to
post
But that is actually f : (Bool -> Int) -> Int
But_2 anyway Bool -> Int and Int x Int are iso so thats the same
comment in response to
post
In Padova is full of those, especially in the ghetto
comment in response to
post
I will try to watch btw
comment in response to
post
Just write UTC+/-
comment in response to
post
I will just nuke the slide btw
comment in response to
post
In this slide
comment in response to
post
I was suggested to use the double lined ; that is even uglier
comment in response to
post
Haskell and all the almost dependent types extensions
comment in response to
post
Compiling playground v0.0.1 (/playground)
error: Rust has no ternary operator
--> src/main.rs:4:17
|
4 | return true ? a : b
| _________________^
5 | | }
| |_^
|
= help: use an `if-else` expression instead
error: could not compile `playground` (bin "playground") ...
comment in response to
post
comment in response to
post
The error messages probably should also show how to write it as an if expression
comment in response to
post
I'm an Italian in Spain I'm literally bureaucracy maxing