# Racket is...
* a general purpose programming language — a **modern** dialect of Lisp and a descendant of Scheme
* A project to explore the emerging idea of language-oriented programming
* a family of programming languages — variants of Racket; Rhombus, student languages, Typed Racket, Lazy Racket, and more!
* an implementation of the Racket Language(s) – with native code compiler,
* a set of tools—for using a family of programming languages,
* a diverse community using Racket in diverse ways.
Join us at https://racket.discourse.group/ or https://discord.gg/6Zq8sH5
See **https://racket-lang.org/** for more details.
NixOps4, Nix Steering Committee member, Nix team, hercules-ci.com founder, github: roberth
A #rustlang programmer with interests in functional programming, category theory and advanced type sorcery
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.
Ramblings about the web, software development, and design.
LAMP is so 1999. Use one of these randomly-generated stacks for your next project instead!
Consultant for SW Engineering Processes and SW Architecture, Author of the C++17 STL Cookbook, giving university lectures about SW quality. Haskell, C++, Purescript, GNU/Linux, Nix and NixOS
makes Lean at Lean FRO
Munich, Germany
Trying to be different - just like you.
Some clojure, electronics and retro computing
I write code for a living and for a hobby. Big fan of programming, Scala, and the sound of my own voice.
Reg "raganwald" Braithwaite's account for discussing functional programming and shamelessly plugging "their" creative works.
Flying, careers, society and other stuff on @raganwald@social.bau-ha-us
Please find me @forse
I'm posting more about world events and philosophy than about functional programming, so I think the new home is more appropriate.
Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
Maintainer of VyOS, soupault and other free software projects. Programmer, writer, clarinet and electric bass player, singer of Gregorian chants — not doing any of those things especially well.
cogito ergo coproduct
