Zack Eisbach
@zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Logic, types, compilers, categories
Reposted by Zack Eisbach
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
October 4, 2025 at 6:49 PM
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
Reposted by Zack Eisbach
12 days to RacketCon
Join us to learn about miniDusa: An Extensible Finite-Choice Logic Programming Language
Presentation details at con.racket-lang.org
RacketCon is 4-5 October at UMass Boston and online. Register now.
Join us to learn about miniDusa: An Extensible Finite-Choice Logic Programming Language
Presentation details at con.racket-lang.org
RacketCon is 4-5 October at UMass Boston and online. Register now.
(fifteenth RacketCon)
con.racket-lang.org
September 22, 2025 at 7:41 AM
12 days to RacketCon
Join us to learn about miniDusa: An Extensible Finite-Choice Logic Programming Language
Presentation details at con.racket-lang.org
RacketCon is 4-5 October at UMass Boston and online. Register now.
Join us to learn about miniDusa: An Extensible Finite-Choice Logic Programming Language
Presentation details at con.racket-lang.org
RacketCon is 4-5 October at UMass Boston and online. Register now.
Reposted by Zack Eisbach
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
June 13, 2025 at 2:14 PM
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.