Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. @kmicu@mastodon.social (kmicu@mastodon.social)'s status on Friday, 06-Jul-2018 11:20:28 EDT @kmicu@mastodon.social @kmicu@mastodon.social

    @otini Nix (Expression Language) errors are *terrible* (which is expected because of lack of an advance type system) but *also* Nix is a DSL so lacks tools to debug issues. In conclusion the situation is even more terrible than only terrible.

    Community is trying to improve the state of the things¹² but it is nothing serious.

    ¹ www.haskellforall.com/2017/01/typed-nix-programming-using-dhall.html
    ² https://www.gofundme.com/typing-nix

    In conversation Friday, 06-Jul-2018 11:20:28 EDT from mastodon.social permalink

    Attachments

    1. Click here to support Typing the nix language organized by Théophane Hufschmitt
      from gofundme.com
      Motivation Nix is a functional untyped and lazyly evaluated language used by the package manager of the same name. The principal codebase using nix is the nixpkgs repository, which contains the packages descriptions for the NixOS linux distribution. This repo is verified by several CI tools, ma...
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.