home - all - feeds - topics | pcgaming - privacy - asklemmy - lemmyshitpost - ClassicFilms - privacy - australia - mop - cooking - comicstrips - programmer_humor - memes - CoMaps - wetshaving - politics - smorgasbordbizarre - nottheonion - world - memes - politics - more »
log in or sign up | preferences |
quokk.au site icon
ocaml@discuss.tchncs.de posts comments
  • new
  • hot
  • top
  • old
  • OCaml

    ocaml@discuss.tchncs.de
    375 readers
    9 active
    0 users here now

    An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org

    founded 3 years ago
    moderation log
    moderators
    apoisel@discuss.tchncs.de

    comments

    comment on Formal methods and the future of programming in c/ocaml@discuss.tchncs.de
    [–] apoisel@discuss.tchncs.de [S] 0 points 4 months ago

    This community and the linked story are about programming. The moral classification of the author's employer, in my opinion, does not belong here.

  • permalink
  • fedilink
  • source
  • parent
  • context
  • comment on Formal methods and the future of programming in c/ocaml@discuss.tchncs.de
    [–] colourlessidea@sopuli.xyz 3 points 4 months ago

    Wow had no idea about this. Thanks for sharing!

  • permalink
  • fedilink
  • source
  • parent
  • context
  • comment on Formal methods and the future of programming in c/ocaml@discuss.tchncs.de
    [+] oranadoz@framapiaf.org 2 points 4 months ago (1 child)
    [deleted]
  • permalink
  • fedilink
  • source
  • parent
  • context
  • comment on Formal methods and the future of programming in c/ocaml@discuss.tchncs.de
    [+] ultimate_worrier@lemmy.dbzer0.com 3 points 4 months ago (2 children)
    [deleted]
  • permalink
  • fedilink
  • source
  • comment on Why I love OCaml in c/ocaml@discuss.tchncs.de
    [–] undu@discuss.tchncs.de 1 point 1 year ago

    Preaching to the choir here :)

  • permalink
  • fedilink
  • source
  • piefed
    0.5.3
    mlmym
    dotzip.1.9
    quokk.au
    modlog